Trace number 4452934

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.32 3558.06

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_97.shuf-1.opb
MD5SUM597a160dbd31bdb7379cae7050aa08c1
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.074197
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables388
Total number of constraints777
Number of constraints which are clauses776
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint388
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 405
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.14	c See www.sat4j.org for details.
0.14/0.16	c version CUSTOM.v20240707
0.14/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.18	c java.vm.version	22.0.1+8-16
0.14/0.18	c java.vm.vendor	Oracle Corporation
0.14/0.18	c sun.arch.data.model	64
0.14/0.18	c java.version		22.0.1
0.14/0.18	c os.name		Linux
0.14/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.18	c os.arch		amd64
0.14/0.19	c Free memory 		2115194816
0.14/0.19	c Max memory 		16282288128
0.14/0.19	c Total memory 		2122317824
0.14/0.20	c Number of processors 	2
0.31/0.29	--- Begin Solver configuration ---
0.31/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	Learn all clauses as in MiniSAT
0.31/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	No reason simplification
0.31/0.29	Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	timeout=2147483s
0.31/0.29	DB Simplification allowed=false
0.31/0.29	Listener: none
0.31/0.29	--- End Solver configuration ---
0.31/0.30	c Pseudo Boolean Optimization by upper bound
0.31/0.30	c --- Begin Solver configuration ---
0.31/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.30	c Learn all clauses as in MiniSAT
0.31/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	c No reason simplification
0.31/0.30	c Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	c timeout=2147483s
0.31/0.30	c DB Simplification allowed=false
0.31/0.30	c Listener: none
0.31/0.30	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4452934-1721451037.opb
0.31/0.30	c reading problem ... 
0.31/0.30	c  no objective function found
0.46/0.42	c ... done. Wall clock time 0.108s.
0.46/0.42	c declared #vars     388
0.46/0.42	c #constraints  777
0.46/0.42	c constraints type 
0.46/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 776
0.46/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.46/0.42	c 777 constraints processed.
1.96/1.15	c cleaning 2500 clauses out of 5000 with flag 10173/5000
2.54/1.48	c cleaning 4251 clauses out of 8502 with flag 22410/11002
2.98/1.71	c cleaning 5625 clauses out of 11250 with flag 36732/18001
3.25/1.93	c cleaning 6810 clauses out of 13625 with flag 53076/26001
3.68/2.32	c cleaning 7908 clauses out of 15815 with flag 71479/35001
3.97/2.64	c cleaning 8953 clauses out of 17906 with flag 91956/45000
4.51/3.03	c cleaning 9977 clauses out of 19955 with flag 114607/56002
5.13/3.64	c cleaning 10989 clauses out of 21977 with flag 139242/68001
5.93/4.40	c cleaning 11993 clauses out of 23988 with flag 165900/81001
6.82/5.32	c cleaning 12993 clauses out of 25994 with flag 194622/95000
7.72/6.13	c cleaning 13996 clauses out of 28001 with flag 225327/110000
8.41/6.84	c cleaning 15000 clauses out of 30006 with flag 258058/126001
9.40/7.75	c cleaning 16004 clauses out of 32008 with flag 292924/143003
10.41/8.65	c cleaning 17000 clauses out of 34002 with flag 329693/161001
11.21/9.41	c cleaning 17999 clauses out of 36001 with flag 368505/180000
11.82/10.04	c cleaning 19002 clauses out of 38003 with flag 409404/200001
12.61/10.82	c cleaning 19997 clauses out of 40001 with flag 452373/221001
13.56/11.75	c cleaning 21000 clauses out of 42003 with flag 497444/243000
14.46/12.65	c cleaning 22002 clauses out of 44004 with flag 544445/266001
15.54/13.65	c cleaning 23001 clauses out of 46001 with flag 593649/290000
16.64/14.71	c cleaning 23995 clauses out of 48000 with flag 644766/315000
17.75/15.80	c cleaning 25001 clauses out of 50005 with flag 698002/341000
19.17/17.13	c cleaning 26004 clauses out of 52007 with flag 753199/368003
20.55/18.52	c cleaning 26996 clauses out of 54001 with flag 810430/396001
21.86/19.73	c cleaning 27995 clauses out of 56004 with flag 869953/425000
23.17/21.03	c cleaning 28999 clauses out of 58009 with flag 931314/455000
24.36/22.29	c cleaning 30004 clauses out of 60011 with flag 994869/486001
26.04/23.80	c cleaning 31004 clauses out of 62007 with flag 1060474/518001
27.54/25.32	c cleaning 31997 clauses out of 64002 with flag 1128140/551000
29.72/27.37	c cleaning 33001 clauses out of 66005 with flag 1197752/585000
31.53/29.18	c cleaning 34001 clauses out of 68005 with flag 1269611/620001
33.70/31.14	c cleaning 35000 clauses out of 70003 with flag 1343547/656000
35.48/32.93	c cleaning 35998 clauses out of 72003 with flag 1419425/693000
38.22/35.51	c cleaning 36998 clauses out of 74005 with flag 1496959/731000
40.22/37.53	c cleaning 38002 clauses out of 76007 with flag 1576813/770000
42.56/39.72	c cleaning 39003 clauses out of 78006 with flag 1658777/810001
44.87/42.04	c cleaning 39997 clauses out of 80003 with flag 1742323/851001
47.46/44.57	c cleaning 41001 clauses out of 82005 with flag 1828078/893000
50.45/47.58	c cleaning 41997 clauses out of 84004 with flag 1916234/936000
53.62/50.52	c cleaning 43001 clauses out of 86009 with flag 2006360/980002
56.81/53.79	c cleaning 44000 clauses out of 88007 with flag 2098115/1025001
59.71/56.57	c cleaning 45002 clauses out of 90008 with flag 2192298/1071002
62.80/59.66	c cleaning 45998 clauses out of 92004 with flag 2288638/1118000
67.49/64.30	c cleaning 47003 clauses out of 94009 with flag 2386880/1166003
70.96/67.61	c cleaning 48001 clauses out of 96003 with flag 2487097/1215000
74.96/71.64	c cleaning 49000 clauses out of 98002 with flag 2589654/1265000
79.29/75.89	c cleaning 49998 clauses out of 100003 with flag 2694229/1316001
83.08/79.63	c cleaning 51001 clauses out of 102006 with flag 2801203/1368002
87.28/83.75	c cleaning 52000 clauses out of 104004 with flag 2910057/1421001
91.90/88.26	c cleaning 52997 clauses out of 106004 with flag 3020496/1475001
96.60/92.74	c cleaning 54004 clauses out of 108008 with flag 3133056/1530002
101.39/97.55	c cleaning 54996 clauses out of 110002 with flag 3247440/1586000
107.33/102.64	c cleaning 56001 clauses out of 112006 with flag 3363706/1643000
112.33/107.53	c cleaning 57003 clauses out of 114005 with flag 3482482/1701000
116.71/111.99	c cleaning 58001 clauses out of 116002 with flag 3603084/1760000
122.49/117.65	c cleaning 58999 clauses out of 118001 with flag 3725481/1820000
127.43/122.41	c cleaning 59997 clauses out of 120002 with flag 3850138/1881000
132.87/127.72	c cleaning 61000 clauses out of 122005 with flag 3976634/1943000
138.67/133.52	c cleaning 62001 clauses out of 124006 with flag 4105094/2006001
144.64/139.48	c cleaning 62995 clauses out of 126004 with flag 4235694/2070000
150.80/145.51	c cleaning 64005 clauses out of 128011 with flag 4368295/2135002
156.19/150.94	c cleaning 64998 clauses out of 130005 with flag 4503187/2201001
162.58/157.20	c cleaning 66002 clauses out of 132007 with flag 4639912/2268001
168.07/162.71	c cleaning 67001 clauses out of 134005 with flag 4778711/2336001
173.95/168.66	c cleaning 67996 clauses out of 136004 with flag 4919852/2405001
181.04/175.70	c cleaning 69001 clauses out of 138010 with flag 5062891/2475003
188.63/183.24	c cleaning 70001 clauses out of 140007 with flag 5207925/2546001
194.93/189.56	c cleaning 70999 clauses out of 142006 with flag 5355228/2618001
202.53/196.98	c cleaning 72003 clauses out of 144009 with flag 5504450/2691003
210.10/204.34	c cleaning 73000 clauses out of 146003 with flag 5655448/2765000
218.48/212.77	c cleaning 74002 clauses out of 148003 with flag 5808729/2840000
226.17/220.38	c cleaning 74993 clauses out of 150002 with flag 5963698/2916001
234.29/228.32	c cleaning 76003 clauses out of 152008 with flag 6120928/2993000
242.09/236.14	c cleaning 76999 clauses out of 154006 with flag 6280606/3071001
251.07/245.10	c cleaning 77999 clauses out of 156006 with flag 6442090/3150000
259.81/253.67	c cleaning 79001 clauses out of 158008 with flag 6605690/3230001
267.31/261.17	c cleaning 79999 clauses out of 160007 with flag 6771341/3311001
275.77/269.47	c cleaning 81002 clauses out of 162007 with flag 6939001/3393000
284.37/277.97	c cleaning 81999 clauses out of 164005 with flag 7108693/3476000
294.36/287.91	c cleaning 82996 clauses out of 166008 with flag 7280495/3560002
304.60/297.23	c cleaning 83999 clauses out of 168010 with flag 7454315/3645000
315.78/308.47	c cleaning 85004 clauses out of 170011 with flag 7629694/3731000
325.90/318.45	c cleaning 86000 clauses out of 172008 with flag 7807265/3818001
335.97/328.45	c cleaning 86996 clauses out of 174007 with flag 7986814/3906000
343.93/336.35	c cleaning 88002 clauses out of 176012 with flag 8168499/3995001
352.23/344.45	c cleaning 89002 clauses out of 178010 with flag 8352445/4085001
361.27/353.34	c cleaning 90003 clauses out of 180008 with flag 8538292/4176001
370.84/362.74	c cleaning 90997 clauses out of 182004 with flag 8726082/4268000
381.04/372.86	c cleaning 91998 clauses out of 184007 with flag 8915989/4361000
391.55/383.21	c cleaning 93000 clauses out of 186010 with flag 9107767/4455001
401.76/393.27	c cleaning 94000 clauses out of 188009 with flag 9302086/4550000
414.52/405.80	c cleaning 95000 clauses out of 190010 with flag 9498026/4646001
424.72/415.96	c cleaning 96002 clauses out of 192010 with flag 9696229/4743001
437.05/428.22	c cleaning 97002 clauses out of 194007 with flag 9896542/4841000
449.70/440.80	c cleaning 97997 clauses out of 196006 with flag 10098922/4940001
460.79/451.17	c cleaning 99002 clauses out of 198008 with flag 10303786/5040000
473.45/463.59	c cleaning 99996 clauses out of 200006 with flag 10510431/5141000
485.54/475.52	c cleaning 101002 clauses out of 202011 with flag 10718951/5243001
497.02/486.90	c cleaning 102002 clauses out of 204009 with flag 10929528/5346001
508.87/498.74	c cleaning 103000 clauses out of 206006 with flag 11142386/5450000
521.45/511.27	c cleaning 103999 clauses out of 208006 with flag 11357145/5555000
534.59/524.21	c cleaning 105004 clauses out of 210009 with flag 11573829/5661002
547.44/536.88	c cleaning 105994 clauses out of 212004 with flag 11791978/5768001
560.31/549.62	c cleaning 107001 clauses out of 214009 with flag 12012811/5876000
573.90/562.97	c cleaning 108003 clauses out of 216008 with flag 12235695/5985000
587.03/575.93	c cleaning 109000 clauses out of 218006 with flag 12460424/6095001
601.40/590.25	c cleaning 110001 clauses out of 220006 with flag 12687383/6206001
614.18/602.84	c cleaning 110998 clauses out of 222005 with flag 12916432/6318001
629.13/617.79	c cleaning 112001 clauses out of 224009 with flag 13147644/6431003
643.37/631.73	c cleaning 112996 clauses out of 226006 with flag 13380749/6545001
660.71/649.00	c cleaning 114003 clauses out of 228010 with flag 13615864/6660001
676.04/664.32	c cleaning 114996 clauses out of 230006 with flag 13853252/6776000
693.49/681.70	c cleaning 115995 clauses out of 232010 with flag 14092748/6893000
708.10/696.13	c cleaning 117002 clauses out of 234015 with flag 14333904/7011000
725.34/713.19	c cleaning 118006 clauses out of 236014 with flag 14577174/7130001
741.85/729.53	c cleaning 119004 clauses out of 238009 with flag 14822677/7250002
759.06/745.10	c cleaning 119998 clauses out of 240003 with flag 15070094/7371000
773.92/759.76	c cleaning 120998 clauses out of 242007 with flag 15319489/7493002
791.56/777.25	c cleaning 122002 clauses out of 244008 with flag 15570496/7616001
808.60/794.26	c cleaning 122999 clauses out of 246005 with flag 15824207/7740000
830.79/816.02	c cleaning 124002 clauses out of 248007 with flag 16079441/7865001
850.49/835.75	c cleaning 124999 clauses out of 250005 with flag 16336782/7991001
870.09/855.15	c cleaning 126002 clauses out of 252006 with flag 16596343/8118001
887.53/872.48	c cleaning 126999 clauses out of 254003 with flag 16858115/8246000
904.63/889.49	c cleaning 127998 clauses out of 256004 with flag 17121401/8375000
924.77/909.39	c cleaning 128999 clauses out of 258006 with flag 17387077/8505000
944.02/928.40	c cleaning 130000 clauses out of 260008 with flag 17654884/8636001
963.00/947.36	c cleaning 130999 clauses out of 262007 with flag 17924714/8768000
986.38/970.76	c cleaning 132000 clauses out of 264008 with flag 18196710/8901000
1008.45/992.89	c cleaning 132999 clauses out of 266009 with flag 18470962/9035001
1033.12/1017.20	c cleaning 134003 clauses out of 268011 with flag 18747625/9170002
1059.92/1043.66	c cleaning 135000 clauses out of 270006 with flag 19025639/9306000
1086.37/1070.15	c cleaning 135996 clauses out of 272006 with flag 19305536/9443000
1110.95/1094.61	c cleaning 137005 clauses out of 274011 with flag 19587583/9581001
1137.27/1121.07	c cleaning 138001 clauses out of 276005 with flag 19871377/9720000
1161.11/1144.68	c cleaning 139001 clauses out of 278006 with flag 20157737/9860002
1186.48/1169.80	c cleaning 139998 clauses out of 280005 with flag 20446099/10001002
1209.83/1191.04	c cleaning 140999 clauses out of 282005 with flag 20736562/10143000
1228.83/1209.82	c cleaning 141997 clauses out of 284006 with flag 21029435/10286000
1251.40/1232.23	c cleaning 143001 clauses out of 286009 with flag 21323657/10430000
1276.77/1257.45	c cleaning 144004 clauses out of 288009 with flag 21620268/10575001
1297.97/1278.17	c cleaning 145003 clauses out of 290006 with flag 21918929/10721002
1318.86/1298.85	c cleaning 145994 clauses out of 292001 with flag 22219982/10868000
1332.03/1311.81	c cleaning 147002 clauses out of 294008 with flag 22523603/11016001
1349.17/1328.82	c cleaning 148001 clauses out of 296005 with flag 22829258/11165000
1366.59/1345.91	c cleaning 149000 clauses out of 298005 with flag 23137039/11315001
1385.11/1364.23	c cleaning 149997 clauses out of 300005 with flag 23446850/11466001
1407.14/1386.14	c cleaning 151000 clauses out of 302007 with flag 23758703/11618000
1421.18/1399.87	c cleaning 151998 clauses out of 304007 with flag 24073141/11771000
1441.35/1419.81	c cleaning 153003 clauses out of 306009 with flag 24392070/11925000
1463.39/1441.74	c cleaning 154001 clauses out of 308007 with flag 24713308/12080001
1480.45/1458.43	c cleaning 154999 clauses out of 310005 with flag 25036603/12236000
1502.24/1480.05	c cleaning 156000 clauses out of 312007 with flag 25361359/12393001
1518.94/1496.63	c cleaning 156995 clauses out of 314006 with flag 25688579/12551000
1538.60/1516.05	c cleaning 158002 clauses out of 316012 with flag 26017805/12710001
1556.65/1533.92	c cleaning 159000 clauses out of 318010 with flag 26349106/12870001
1575.33/1552.25	c cleaning 160003 clauses out of 320009 with flag 26682095/13031000
1595.00/1571.69	c cleaning 160999 clauses out of 322006 with flag 27017709/13193000
1615.05/1591.59	c cleaning 162002 clauses out of 324008 with flag 27355350/13356001
1636.84/1611.29	c cleaning 162998 clauses out of 326006 with flag 27694840/13520001
1656.13/1630.27	c cleaning 164004 clauses out of 328009 with flag 28036541/13685002
1675.44/1649.37	c cleaning 164999 clauses out of 330003 with flag 28380341/13851000
1692.29/1666.10	c cleaning 166000 clauses out of 332004 with flag 28725529/14018000
1712.47/1686.16	c cleaning 167001 clauses out of 334005 with flag 29073431/14186001
1731.46/1704.79	c cleaning 167997 clauses out of 336004 with flag 29423500/14355001
1751.85/1724.80	c cleaning 169001 clauses out of 338006 with flag 29775470/14525000
1783.06/1755.87	c cleaning 169999 clauses out of 340007 with flag 30128542/14696002
1816.83/1789.45	c cleaning 171000 clauses out of 342007 with flag 30480336/14868001
1845.72/1817.87	c cleaning 172001 clauses out of 344008 with flag 30834441/15041002
1871.09/1842.93	c cleaning 172998 clauses out of 346005 with flag 31192095/15215000
1905.05/1876.75	c cleaning 173998 clauses out of 348007 with flag 31551507/15390000
1934.98/1906.58	c cleaning 175002 clauses out of 350009 with flag 31912676/15566000
1964.50/1935.67	c cleaning 176002 clauses out of 352008 with flag 32277297/15743001
1993.03/1963.90	c cleaning 176999 clauses out of 354005 with flag 32641546/15921000
2034.89/2005.69	c cleaning 178004 clauses out of 356007 with flag 33009418/16100001
2066.03/2036.33	c cleaning 178995 clauses out of 358004 with flag 33377653/16280002
2104.07/2074.18	c cleaning 180001 clauses out of 360007 with flag 33749068/16461000
2140.94/2110.80	c cleaning 180995 clauses out of 362006 with flag 34121740/16643000
2177.00/2146.85	c cleaning 182000 clauses out of 364012 with flag 34496895/16826001
2217.57/2187.05	c cleaning 183000 clauses out of 366011 with flag 34874666/17010000
2253.43/2222.73	c cleaning 184003 clauses out of 368013 with flag 35254797/17195002
2296.72/2265.58	c cleaning 185000 clauses out of 370009 with flag 35635461/17381001
2335.50/2302.03	c cleaning 186001 clauses out of 372008 with flag 36018201/17568000
2378.48/2344.88	c cleaning 187002 clauses out of 374008 with flag 36403442/17756001
2420.29/2386.45	c cleaning 188001 clauses out of 376006 with flag 36790474/17945001
2463.67/2429.77	c cleaning 189000 clauses out of 378005 with flag 37180348/18135001
2501.95/2467.88	c cleaning 190001 clauses out of 380004 with flag 37571159/18326000
2545.33/2510.72	c cleaning 191002 clauses out of 382005 with flag 37964771/18518002
2573.16/2538.20	c cleaning 192000 clauses out of 384004 with flag 38362000/18711003
2602.01/2566.88	c cleaning 192996 clauses out of 386002 with flag 38762647/18905001
2628.46/2593.07	c cleaning 193999 clauses out of 388006 with flag 39165682/19100001
2669.94/2634.39	c cleaning 195004 clauses out of 390007 with flag 39569608/19296001
2725.09/2688.85	c cleaning 195997 clauses out of 392002 with flag 39975949/19493000
2778.94/2742.43	c cleaning 196998 clauses out of 394006 with flag 40384644/19691001
2821.57/2784.72	c cleaning 198001 clauses out of 396008 with flag 40796500/19890001
2849.04/2811.99	c cleaning 199002 clauses out of 398007 with flag 41211308/20090001
2907.08/2869.95	c cleaning 199999 clauses out of 400005 with flag 41625238/20291001
2955.93/2918.43	c cleaning 201001 clauses out of 402007 with flag 42041307/20493002
2995.17/2957.40	c cleaning 201998 clauses out of 404004 with flag 42461302/20696000
3046.72/3008.88	c cleaning 202999 clauses out of 406006 with flag 42882121/20900000
3088.50/3050.59	c cleaning 204002 clauses out of 408008 with flag 43305060/21105001
3141.65/3103.32	c cleaning 205000 clauses out of 410005 with flag 43730483/21311000
3175.32/3136.74	c cleaning 205998 clauses out of 412006 with flag 44158937/21518001
3236.05/3197.30	c cleaning 206997 clauses out of 414007 with flag 44589052/21726000
3295.69/3256.82	c cleaning 208002 clauses out of 416010 with flag 45019668/21935000
3353.28/3314.02	c cleaning 209001 clauses out of 418010 with flag 45452954/22145002
3393.02/3353.51	c cleaning 210003 clauses out of 420009 with flag 45889607/22356002
3457.01/3415.40	c cleaning 210996 clauses out of 422004 with flag 46326455/22568000
3499.10/3457.23	c cleaning 212000 clauses out of 424008 with flag 46766666/22781000
3544.07/3502.10	c cleaning 213000 clauses out of 426008 with flag 47209046/22995000
3591.68/3549.51	c cleaning 213998 clauses out of 428008 with flag 47652798/23210000
3600.06/3557.92	c starts		: 1
3600.06/3557.92	c conflicts		: 23281900
3600.06/3557.92	c decisions		: 25053399
3600.06/3557.92	c propagations		: 153233894
3600.06/3557.92	c inspects		: 27204689138
3600.06/3557.92	c shortcuts		: 0
3600.06/3557.92	c learnt literals	: 0
3600.06/3557.92	c learnt binary clauses	: 0
3600.06/3557.92	c learnt ternary clauses	: 0
3600.06/3557.92	c learnt constraints	: 23281900
3600.06/3557.92	c ignored constraints	: 0
3600.06/3557.92	c root simplifications	: 0
3600.06/3557.92	c removed literals (reason simplification)	: 0
3600.06/3557.92	c reason swapping (by a shorter reason)	: 0
3600.06/3557.92	c Calls to reduceDB	: 211
3600.06/3557.92	c Number of update (reduction) of LBD	: 150523
3600.06/3557.92	c Imported unit clauses	: 0
3600.06/3557.92	c No decision after first conflict	: false
3600.06/3557.92	c number of reductions to clauses (during analyze)	: 0
3600.06/3557.92	c number of learned constraints concerned by reduction	: 0
3600.06/3557.92	c number of learning phase by resolution	: 0
3600.06/3557.92	c number of learning phase by cutting planes	: 0
3600.06/3557.92	c number of rounding to 1 operations	: 0
3600.06/3557.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3557.92	c number of reductions of the coefficients by power 2 	: 0
3600.06/3557.92	c number of right shift for reduction by power 2 	: 0
3600.06/3557.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3557.92	c number of ending skipping 	: 0
3600.06/3557.92	c number of internal skipping 	: 0
3600.06/3557.92	c number of derivation steps 	: 0
3600.06/3557.92	c number of skipped derivation steps 	: 0
3600.06/3557.92	c number of remaining unassigned 	: 0
3600.06/3557.92	c number of remaining assigned 	: 0
3600.06/3557.92	c number of falsified literals weakened from reason	: 0
3600.06/3557.92	c number of falsified literals weakened from conflict	: 0
3600.06/3557.92	c time for arithmetic operations	: 0
3600.06/3557.93	c minimum degree of deleted constraints	: null
3600.06/3557.93	c maximum degree of deleted constraints	: null
3600.06/3557.93	c number of deleted constraints	: 0
3600.06/3557.93	c speed (assignments/second)	: 43073.51320324375
3600.06/3557.93	c non guided choices	: 90
3600.06/3557.94	c timeout
3600.06/3558.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 285910
3600.06/3558.00	s UNKNOWN
3600.06/3558.00	c Total wall clock time (in seconds): 3557.707

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452934-1721451037/watcher-4452934-1721451037 -o /tmp/evaluation-result-4452934-1721451037/solver-4452934-1721451037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058421 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452934-1721451037.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1059165, runsolver pid=1059162

[startup+0.103681 s]*
/proc/loadavg: 4.20 2.85 3.14 8/317 1059183
/proc/meminfo: memFree=121573752/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=18975048 memory=56760 CPUtime=0.14 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 6542 0 0 0 12 2 0 0 20 0 18 0 197259740 19430449152 14190 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4743762 14190 5744 1 0 550873 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 5436 0 0 0 7 1 0 0 20 0 18 0 197259740 19430449152 14190 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197259744 19430449152 14190 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197259745 19430449152 14190 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56760 KiB

[startup+0.219684 s]*
/proc/loadavg: 4.20 2.85 3.14 5/317 1059183
/proc/meminfo: memFree=121566604/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=18975048 memory=63392 CPUtime=0.31 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 7176 0 0 0 28 3 0 0 20 0 18 0 197259740 19430449152 15848 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4743762 15848 5752 1 0 551385 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 5722 0 0 0 17 2 0 0 20 0 18 0 197259740 19430449152 15848 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=18975048 memory=3711 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197259744 19430449152 15848 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197259745 19430449152 15848 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63392 KiB

[startup+0.3149 s]*
/proc/loadavg: 4.20 2.85 3.14 6/317 1059183
/proc/meminfo: memFree=121565624/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=18975048 memory=64188 CPUtime=0.46 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 7423 0 0 0 43 3 0 0 20 0 18 0 197259740 19430449152 16047 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4743762 16047 5768 1 0 551561 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=18975048 memory=-7163359464845960550 CPUtime=0.26 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 1077936192 5881 0 0 0 24 2 0 0 20 0 18 0 197259740 19430449152 16047 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197259744 19430449152 16047 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197259745 19430449152 16047 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64188 KiB

[startup+0.70417 s]
/proc/loadavg: 4.20 2.85 3.14 7/318 1059184
/proc/meminfo: memFree=121562284/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19041612 memory=79452 CPUtime=1.16 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 10562 0 0 0 112 4 0 0 20 0 19 0 197259740 19498610688 19863 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4760403 19863 5853 1 0 553501 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19041612 memory=5616 CPUtime=0.59 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 5956 0 0 0 57 2 0 0 20 0 19 0 197259740 19498610688 19863 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19041612 memory=11884 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197259744 19498610688 19863 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19041612 memory=279505466090152 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197259745 19498610688 19863 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197259783 19498610688 19863 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79452 KiB

[startup+1.50066 s]
/proc/loadavg: 4.20 2.85 3.14 6/318 1059184
/proc/meminfo: memFree=121543172/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19041612 memory=111080 CPUtime=2.74 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 15955 0 0 0 268 6 0 0 20 0 19 0 197259740 19498610688 27770 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4760403 27770 5853 1 0 554494 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19041612 memory=11884 CPUtime=1.36 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 7018 0 0 0 133 3 0 0 20 0 19 0 197259740 19498610688 27770 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197259744 19498610688 27770 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197259745 19498610688 27770 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19041612 memory=279505465943312 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197259783 19498610688 27770 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111080 KiB

[startup+3.10566 s]
/proc/loadavg: 4.19 2.87 3.14 5/319 1059186
/proc/meminfo: memFree=121421004/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=208644 CPUtime=4.61 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 17706 0 0 0 452 9 0 0 20 0 20 0 197259740 19566772224 52161 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 52161 5853 1 0 554957 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=0 CPUtime=2.83 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 7391 0 0 0 279 4 0 0 20 0 20 0 197259740 19566772224 52161 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 52161 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 52161 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 52161 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 208644 KiB

[startup+6.30045 s]
/proc/loadavg: 4.19 2.87 3.14 5/319 1059186
/proc/meminfo: memFree=121313916/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=315580 CPUtime=7.91 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 18451 0 0 0 779 12 0 0 20 0 20 0 197259740 19566772224 78895 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 78895 5861 1 0 554957 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=11884 CPUtime=5.75 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 7410 0 0 0 571 4 0 0 20 0 20 0 197259740 19566772224 78895 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 78895 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 78895 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=119272 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 78895 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 315580 KiB

[startup+12.7005 s]
/proc/loadavg: 4.33 2.92 3.16 5/319 1059187
/proc/meminfo: memFree=120749644/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=700632 CPUtime=14.56 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 21125 0 0 0 1435 21 0 0 20 0 20 0 197259740 19566772224 175158 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 175158 5861 1 0 970633 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=0 CPUtime=11.63 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 8280 0 0 0 1155 8 0 0 20 0 20 0 197259740 19566772224 175158 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 175158 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=700596 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 175158 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 175158 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 700632 KiB

[startup+25.5005 s]
/proc/loadavg: 4.26 2.98 3.17 5/318 1059255
/proc/meminfo: memFree=120928780/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=1301392 CPUtime=27.73 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 24376 0 0 0 2739 34 0 0 20 0 20 0 197259740 19566772224 325348 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 325348 5861 1 0 1256813 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=700596 CPUtime=23.92 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 9174 0 0 0 2381 11 0 0 20 0 20 0 197259740 19566772224 325348 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=1301392 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 325348 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=1121160 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 325348 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=-7163359464845960550 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 325348 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1301392 KiB

[startup+51.1131 s]
/proc/loadavg: 4.24 3.08 3.20 5/319 1059260
/proc/meminfo: memFree=119923984/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=2112732 CPUtime=54.23 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 27433 0 0 0 5370 53 0 0 20 0 20 0 197259740 19566772224 528183 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 528183 5893 1 0 1256815 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=11884 CPUtime=48.51 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 10142 0 0 0 4840 11 0 0 20 0 20 0 197259740 19566772224 528183 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/319 1061148
/proc/meminfo: memFree=82899732/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=9120828 CPUtime=3261.24 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 239187 0 0 0 325730 394 0 0 20 0 20 0 197259740 19566772224 2280207 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2280207 5908 1 0 2525876 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=8870628 CPUtime=3173.11 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 67044 0 0 0 317248 63 0 0 20 0 20 0 197259740 19566772224 2280207 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=8872700 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2280207 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=8938240 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1103 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2280207 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=8938240 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2280207 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3261.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9120828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.27 4.27 5/319 1061160
/proc/meminfo: memFree=82895288/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=9124924 CPUtime=3321.2 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 239697 0 0 0 331722 398 0 0 20 0 20 0 197259740 19566772224 2281231 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2281231 5908 1 0 2525876 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=9120828 CPUtime=3232.91 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 67497 0 0 0 323228 63 0 0 20 0 20 0 197259740 19566772224 2281231 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2281231 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=32256 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1103 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2281231 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=9124924 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2281231 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3321.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9124924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.28 4.27 5/317 1061171
/proc/meminfo: memFree=82649656/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=9369872 CPUtime=3381.84 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 243389 0 0 0 337778 406 0 0 20 0 20 0 197259740 19566772224 2342468 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2342468 5908 1 0 2525876 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=11596 CPUtime=3291.99 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 68397 0 0 0 329136 63 0 0 20 0 20 0 197259740 19566772224 2342468 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=49904 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2342468 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=9125832 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1197 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2342468 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2342468 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3381.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9369872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.26 4.26 5/317 1061181
/proc/meminfo: memFree=82160220/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=9857744 CPUtime=3444.03 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 261780 0 0 0 343981 422 0 0 20 0 20 0 197259740 19566772224 2464436 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2464436 5908 1 0 3242629 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=49904 CPUtime=3351.6 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 71694 0 0 0 335092 68 0 0 20 0 20 0 197259740 19566772224 2464436 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2464436 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1197 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2464436 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=-7163359464845960550 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2464436 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3444.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9857744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.26 4.26 6/317 1061259
/proc/meminfo: memFree=84214788/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=10222288 CPUtime=3504.19 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 262548 0 0 0 349988 431 0 0 20 0 20 0 197259740 19566772224 2555572 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2555572 5908 1 0 3242629 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=49904 CPUtime=3411.22 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 72318 0 0 0 341048 74 0 0 20 0 20 0 197259740 19566772224 2555572 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2555572 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=10222288 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2555572 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=-7163359464845960550 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2555572 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3504.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10222288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.29 4.27 5/317 1061270
/proc/meminfo: memFree=82527716/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=10304208 CPUtime=3564.53 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 263996 0 0 0 356016 437 0 0 20 0 20 0 197259740 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2576052 5908 1 0 3242629 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=9702096 CPUtime=3470.58 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 72893 0 0 0 346984 74 0 0 20 0 20 0 197259740 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3564.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10304208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3557.9 s]
/proc/loadavg: 4.29 4.27 4.27 5/317 1061275
/proc/meminfo: memFree=81850124/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19108176 memory=10304208 CPUtime=3600.06 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 264283 0 0 0 359568 438 0 0 20 0 20 0 197259740 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4777044 2576052 5908 1 0 3242629 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19108176 memory=11596 CPUtime=3506.09 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) R 1059162 1059165 1058409 0 -1 4194368 73178 0 0 0 350535 74 0 0 20 0 20 0 197259740 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19108176 memory=10304208 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197259744 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19108176 memory=10304208 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 197259745 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059184] ppid=1059162 vsize=19108176 memory=10304208 CPUtime=0 cores=1,3
/proc/1059165/task/1059184/stat : 1059184 (Timer-0) S 1059162 1059165 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197259783 19566772224 2576052 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10304208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.9 s, system=4.42687 s

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

[startup+3558.01 s]*
/proc/loadavg: 4.27 4.27 4.27 7/318 1061279
/proc/meminfo: memFree=81810468/131655788 swapFree=131071996/131071996
[pid=1059165] ppid=1059162 vsize=19307868 memory=10305012 CPUtime=3600.28 cores=1,3
/proc/1059165/stat : 1059165 (java) S 1059162 1059165 1058409 0 -1 1077936128 266296 0 0 0 359589 439 0 0 20 0 15 0 197259740 19771256832 2576253 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
/proc/1059165/statm: 4826967 2576253 5904 1 0 3243606 0
[pid=1059165/tid=1059167] ppid=1059162 vsize=19307868 memory=-7739538742172477541 CPUtime=3506.11 cores=1,3
/proc/1059165/task/1059167/stat : 1059167 (java) S 1059162 1059165 1058409 0 -1 1077936192 73284 0 0 0 350537 74 0 0 20 0 15 0 197259740 19771256832 2576253 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059176] ppid=1059162 vsize=19307868 memory=3565 CPUtime=0 cores=1,3
/proc/1059165/task/1059176/stat : 1059176 (Finalizer) S 1059162 1059165 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 197259744 19771256832 2576253 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
[pid=1059165/tid=1059183] ppid=1059162 vsize=19307868 memory=28841 CPUtime=0 cores=1,3
/proc/1059165/task/1059183/stat : 1059183 (Common-Cleaner) S 1059162 1059165 1058409 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 15 0 197259745 19771256832 2576253 134679101440 94732620509184 94732620512880 140733531695824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94732620520696 94732620521488 94732636962816 140733531698181 140733531698271 140733531698271 140733531705288 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10305012 KiB

Child status: 143

Real time (s): 3558.06
CPU time (s): 3600.32
CPU user time (s): 3595.9
CPU system time (s): 4.42687
CPU usage (%): 101.188
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10305012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.9
system time used= 4.42687
maximum resident set size= 10306124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113972
involuntary context switches= 6805


# summary of solver processes directly reported to runsolver:
#   pid: 1059165
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3595.9
#   total CPU system time (s): 4.42687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9663 second user time and 35.2564 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:50:48
IDJOB=4452934
IDBENCH=165637
IDSOLVER=3058
FILE ID=nodeC003/4452934-1721451037
RUNJOBID= nodeC003-1721450898-1058421
SLURM_JOB_ID= 7545681
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid4_97.shuf-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452934-1721451037/watcher-4452934-1721451037 -o /tmp/evaluation-result-4452934-1721451037/solver-4452934-1721451037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058421 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452934-1721451037.opb

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

MD5SUM BENCH= 597a160dbd31bdb7379cae7050aa08c1
RANDOM SEED=1048599086

nodeC003.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		: 3641.970
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	: 6983.76
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		: 1995.383
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.30
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		: 1197.381
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	: 6983.76
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		: 2593.976
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.30
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		: 3513.175
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	: 6983.76
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		: 3585.732
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.30
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.371
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	: 6983.76
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.352
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121608988 kB
MemAvailable:   127334188 kB
Buffers:          563492 kB
Cached:          5943920 kB
SwapCached:            0 kB
Active:          1058272 kB
Inactive:        8292944 kB
Active(anon):       1452 kB
Inactive(anon):  2888232 kB
Active(file):    1056820 kB
Inactive(file):  5404712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1020 kB
Writeback:             4 kB
AnonPages:       2843796 kB
Mapped:           128120 kB
Shmem:             45896 kB
KReclaimable:     207396 kB
Slab:             323288 kB
SReclaimable:     207396 kB
SUnreclaim:       115892 kB
KernelStack:        4832 kB
PageTables:        15792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8607788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2578432 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 07:50:07