Trace number 4543602

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 2025-06-06? (TO) 3600.2 3601.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
MD5SUM97150e5e0eb6db8648ae3545c94ad534
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.005119
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables112
Total number of constraints113
Number of constraints which are clauses112
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 constraint4
Maximum length of a constraint112
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 141
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4543602-1753227714.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.017s.
0.13/0.14	c declared #vars     112
0.13/0.14	c #constraints  113
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 112
0.13/0.14	c 113 constraints processed.
0.52/0.33	c cleaning 2498 clauses out of 5000 with flag 11125/5000
0.70/0.49	c cleaning 4249 clauses out of 8503 with flag 24357/11001
1.09/0.69	c cleaning 5626 clauses out of 11253 with flag 40007/18000
1.47/0.84	c cleaning 6810 clauses out of 13627 with flag 57485/26000
1.67/0.99	c cleaning 7905 clauses out of 15817 with flag 77583/35000
2.07/1.14	c cleaning 8954 clauses out of 17913 with flag 99633/45001
2.42/1.31	c cleaning 9977 clauses out of 19959 with flag 123889/56001
2.52/1.47	c cleaning 10982 clauses out of 21982 with flag 150314/68001
2.72/1.65	c cleaning 11993 clauses out of 23999 with flag 179120/81000
2.93/1.85	c cleaning 12995 clauses out of 26006 with flag 209820/95000
3.13/2.04	c cleaning 13999 clauses out of 28013 with flag 242711/110002
3.32/2.28	c cleaning 14997 clauses out of 30012 with flag 278134/126000
3.65/2.53	c cleaning 16002 clauses out of 32017 with flag 315820/143002
3.87/2.77	c cleaning 16999 clauses out of 34014 with flag 355942/161001
4.18/3.06	c cleaning 18000 clauses out of 36014 with flag 398037/180000
4.47/3.37	c cleaning 18998 clauses out of 38014 with flag 441926/200000
4.87/3.70	c cleaning 19997 clauses out of 40016 with flag 488138/221000
5.18/4.07	c cleaning 21005 clauses out of 42019 with flag 536647/243000
5.57/4.47	c cleaning 22002 clauses out of 44014 with flag 587445/266000
5.97/4.87	c cleaning 23000 clauses out of 46016 with flag 640621/290004
6.37/5.24	c cleaning 23999 clauses out of 48012 with flag 696468/315000
6.77/5.67	c cleaning 24998 clauses out of 50014 with flag 754158/341001
7.27/6.12	c cleaning 26001 clauses out of 52016 with flag 813447/368001
7.76/6.62	c cleaning 26998 clauses out of 54014 with flag 874627/396000
8.27/7.19	c cleaning 28001 clauses out of 56016 with flag 938502/425000
8.86/7.78	c cleaning 29001 clauses out of 58016 with flag 1005051/455001
9.46/8.37	c cleaning 30001 clauses out of 60015 with flag 1074129/486001
10.16/9.08	c cleaning 31003 clauses out of 62014 with flag 1145219/518001
10.85/9.73	c cleaning 31996 clauses out of 64011 with flag 1218936/551001
11.65/10.50	c cleaning 33001 clauses out of 66015 with flag 1294719/585001
12.35/11.22	c cleaning 33997 clauses out of 68013 with flag 1372035/620000
13.15/12.04	c cleaning 35001 clauses out of 70016 with flag 1451314/656000
14.05/12.91	c cleaning 35998 clauses out of 72015 with flag 1533418/693000
14.65/13.52	c cleaning 36999 clauses out of 74017 with flag 1617847/731000
15.37/14.27	c cleaning 38001 clauses out of 76019 with flag 1704441/770001
16.37/15.23	c cleaning 38995 clauses out of 78018 with flag 1793014/810001
17.27/16.15	c cleaning 40003 clauses out of 80022 with flag 1883899/851000
18.06/16.97	c cleaning 40998 clauses out of 82019 with flag 1977259/893000
19.06/17.98	c cleaning 42000 clauses out of 84021 with flag 2072451/936000
20.06/18.92	c cleaning 43001 clauses out of 86022 with flag 2170205/980001
21.09/19.99	c cleaning 43994 clauses out of 88020 with flag 2269807/1025000
22.20/21.06	c cleaning 45000 clauses out of 90028 with flag 2371710/1071002
23.54/22.33	c cleaning 46004 clauses out of 92027 with flag 2476337/1118001
24.73/23.50	c cleaning 47005 clauses out of 94022 with flag 2582903/1166000
26.03/24.87	c cleaning 47996 clauses out of 96017 with flag 2691734/1215000
27.57/26.30	c cleaning 49002 clauses out of 98023 with flag 2802281/1265002
29.07/27.81	c cleaning 50001 clauses out of 100019 with flag 2915241/1316000
30.56/29.39	c cleaning 50996 clauses out of 102018 with flag 3030701/1368000
32.37/31.13	c cleaning 52000 clauses out of 104023 with flag 3148011/1421001
34.06/32.85	c cleaning 53002 clauses out of 106024 with flag 3267423/1475002
35.89/34.68	c cleaning 53999 clauses out of 108020 with flag 3389604/1530000
37.78/36.53	c cleaning 55003 clauses out of 110022 with flag 3513896/1586001
39.88/38.60	c cleaning 56005 clauses out of 112019 with flag 3640387/1643001
41.78/40.58	c cleaning 57001 clauses out of 114013 with flag 3769176/1701000
44.01/42.75	c cleaning 57995 clauses out of 116012 with flag 3898404/1760000
46.21/44.94	c cleaning 58999 clauses out of 118017 with flag 4031205/1820000
48.41/47.13	c cleaning 59996 clauses out of 120018 with flag 4165897/1881000
50.60/49.33	c cleaning 61000 clauses out of 122023 with flag 4302324/1943001
53.12/51.80	c cleaning 62002 clauses out of 124023 with flag 4441819/2006001
55.32/54.09	c cleaning 62999 clauses out of 126020 with flag 4582892/2070000
57.51/56.21	c cleaning 64004 clauses out of 128022 with flag 4726486/2135001
60.41/59.17	c cleaning 64999 clauses out of 130018 with flag 4876756/2201001
63.43/62.12	c cleaning 66001 clauses out of 132018 with flag 5028490/2268000
66.32/65.07	c cleaning 66999 clauses out of 134017 with flag 5184216/2336000
68.61/67.31	c cleaning 67996 clauses out of 136019 with flag 5338233/2405001
71.91/70.63	c cleaning 69002 clauses out of 138022 with flag 5495952/2475000
74.93/73.68	c cleaning 69998 clauses out of 140020 with flag 5655924/2546000
78.43/77.16	c cleaning 71001 clauses out of 142022 with flag 5824639/2618000
81.61/80.33	c cleaning 72003 clauses out of 144022 with flag 5994387/2691001
84.93/83.67	c cleaning 73001 clauses out of 146018 with flag 6158731/2765000
88.02/86.70	c cleaning 74002 clauses out of 148017 with flag 6325782/2840000
90.52/89.20	c cleaning 74998 clauses out of 150015 with flag 6494598/2916000
93.21/91.90	c cleaning 75998 clauses out of 152017 with flag 6665347/2993000
96.23/94.93	c cleaning 77003 clauses out of 154021 with flag 6838938/3071002
99.33/98.08	c cleaning 77995 clauses out of 156016 with flag 7015055/3150000
102.72/101.42	c cleaning 79003 clauses out of 158021 with flag 7192500/3230000
106.21/104.92	c cleaning 80005 clauses out of 160019 with flag 7371926/3311001
109.73/108.46	c cleaning 80996 clauses out of 162014 with flag 7553932/3393001
112.92/111.68	c cleaning 82004 clauses out of 164017 with flag 7738002/3476000
115.82/114.53	c cleaning 82995 clauses out of 166013 with flag 7924307/3560000
119.21/117.94	c cleaning 84000 clauses out of 168020 with flag 8113607/3645002
122.41/121.14	c cleaning 85006 clauses out of 170019 with flag 8305058/3731001
125.50/124.20	c cleaning 85999 clauses out of 172012 with flag 8498537/3818000
129.13/127.88	c cleaning 87002 clauses out of 174013 with flag 8692976/3906000
132.92/131.67	c cleaning 87999 clauses out of 176012 with flag 8889794/3995001
137.31/136.10	c cleaning 89001 clauses out of 178013 with flag 9089483/4085001
141.31/140.01	c cleaning 90001 clauses out of 180015 with flag 9291093/4176004
145.79/144.59	c cleaning 90997 clauses out of 182011 with flag 9495151/4268001
150.39/149.17	c cleaning 91998 clauses out of 184013 with flag 9701574/4361000
154.97/153.76	c cleaning 92997 clauses out of 186016 with flag 9910014/4455001
159.27/158.07	c cleaning 94003 clauses out of 188018 with flag 10121613/4550000
163.72/162.45	c cleaning 94997 clauses out of 190015 with flag 10334972/4646000
168.81/167.58	c cleaning 95998 clauses out of 192018 with flag 10550451/4743000
173.69/172.48	c cleaning 97000 clauses out of 194020 with flag 10767731/4841000
178.58/177.39	c cleaning 98005 clauses out of 196020 with flag 10987311/4940000
184.17/182.95	c cleaning 99004 clauses out of 198016 with flag 11209508/5040001
189.37/188.14	c cleaning 99995 clauses out of 200011 with flag 11434063/5141000
194.62/193.36	c cleaning 101003 clauses out of 202017 with flag 11660145/5243001
200.20/198.91	c cleaning 101997 clauses out of 204013 with flag 11889234/5346000
204.90/203.67	c cleaning 102995 clauses out of 206016 with flag 12120100/5450000
211.29/210.03	c cleaning 104001 clauses out of 208021 with flag 12352897/5555000
216.57/215.36	c cleaning 105000 clauses out of 210021 with flag 12587879/5661001
221.89/220.68	c cleaning 106004 clauses out of 212021 with flag 12825280/5768001
227.39/226.15	c cleaning 106996 clauses out of 214017 with flag 13064891/5876001
232.87/231.63	c cleaning 108002 clauses out of 216020 with flag 13306635/5985000
239.26/238.04	c cleaning 108998 clauses out of 218018 with flag 13550715/6095000
244.54/243.39	c cleaning 110003 clauses out of 220020 with flag 13797201/6206000
250.73/249.52	c cleaning 111000 clauses out of 222017 with flag 14045701/6318000
256.85/255.65	c cleaning 111998 clauses out of 224018 with flag 14296569/6431001
262.14/260.99	c cleaning 113003 clauses out of 226021 with flag 14549410/6545002
267.73/266.52	c cleaning 114002 clauses out of 228016 with flag 14803662/6660000
273.61/272.40	c cleaning 115002 clauses out of 230014 with flag 15060788/6776000
280.00/278.80	c cleaning 116003 clauses out of 232014 with flag 15320895/6893002
286.19/285.00	c cleaning 116993 clauses out of 234010 with flag 15582541/7011001
292.48/291.36	c cleaning 118001 clauses out of 236018 with flag 15847139/7130002
298.56/297.36	c cleaning 119000 clauses out of 238015 with flag 16114067/7250000
305.84/304.68	c cleaning 119995 clauses out of 240015 with flag 16383081/7371000
312.43/311.21	c cleaning 121000 clauses out of 242020 with flag 16654422/7493000
318.52/317.33	c cleaning 122003 clauses out of 244021 with flag 16926396/7616001
324.40/323.27	c cleaning 123002 clauses out of 246018 with flag 17201733/7740001
330.69/329.57	c cleaning 123995 clauses out of 248018 with flag 17479622/7865003
336.19/335.08	c cleaning 125000 clauses out of 250021 with flag 17760324/7991001
345.84/344.61	c cleaning 126003 clauses out of 252021 with flag 18043033/8118001
353.23/352.05	c cleaning 126993 clauses out of 254017 with flag 18327568/8246000
359.71/358.52	c cleaning 128001 clauses out of 256025 with flag 18613895/8375001
368.99/367.84	c cleaning 128997 clauses out of 258023 with flag 18903144/8505000
377.07/375.97	c cleaning 130005 clauses out of 260029 with flag 19195054/8636003
383.06/381.95	c cleaning 130998 clauses out of 262022 with flag 19487621/8768001
389.95/388.85	c cleaning 131999 clauses out of 264024 with flag 19782188/8901001
396.84/395.75	c cleaning 133003 clauses out of 266024 with flag 20080129/9035000
404.99/403.89	c cleaning 133997 clauses out of 268021 with flag 20380221/9170000
412.39/411.21	c cleaning 134999 clauses out of 270024 with flag 20682747/9306000
419.57/418.45	c cleaning 136004 clauses out of 272027 with flag 20987164/9443002
428.26/427.16	c cleaning 137000 clauses out of 274022 with flag 21293803/9581001
436.04/434.99	c cleaning 138002 clauses out of 276021 with flag 21602508/9720000
445.62/444.53	c cleaning 138997 clauses out of 278019 with flag 21912733/9860000
453.80/452.74	c cleaning 139998 clauses out of 280023 with flag 22225939/10001001
461.98/460.98	c cleaning 141005 clauses out of 282025 with flag 22540795/10143001
470.61/469.09	c cleaning 142000 clauses out of 284020 with flag 22858605/10286001
479.49/478.00	c cleaning 143001 clauses out of 286019 with flag 23178405/10430000
488.78/487.25	c cleaning 143999 clauses out of 288019 with flag 23499694/10575001
497.67/496.18	c cleaning 145001 clauses out of 290019 with flag 23822611/10721000
507.94/506.42	c cleaning 145999 clauses out of 292018 with flag 24149449/10868000
516.92/515.46	c cleaning 147003 clauses out of 294019 with flag 24477882/11016000
526.32/524.87	c cleaning 147993 clauses out of 296016 with flag 24809864/11165000
536.30/534.88	c cleaning 149003 clauses out of 298024 with flag 25143787/11315001
546.98/545.55	c cleaning 149996 clauses out of 300020 with flag 25478600/11466000
556.26/554.81	c cleaning 151004 clauses out of 302024 with flag 25816167/11618000
566.83/565.46	c cleaning 152006 clauses out of 304022 with flag 26155838/11771002
575.31/573.95	c cleaning 152996 clauses out of 306015 with flag 26498772/11925001
584.59/583.25	c cleaning 153996 clauses out of 308018 with flag 26844857/12080000
593.56/592.21	c cleaning 155001 clauses out of 310023 with flag 27191538/12236001
603.14/601.81	c cleaning 155998 clauses out of 312021 with flag 27540850/12393000
614.51/613.22	c cleaning 156996 clauses out of 314023 with flag 27891554/12551000
624.30/623.07	c cleaning 158002 clauses out of 316027 with flag 28244280/12710000
638.86/637.68	c cleaning 159002 clauses out of 318025 with flag 28603752/12870000
652.53/651.39	c cleaning 160004 clauses out of 320023 with flag 28965462/13031000
663.71/662.53	c cleaning 161001 clauses out of 322019 with flag 29325397/13193000
674.99/673.84	c cleaning 162003 clauses out of 324020 with flag 29687810/13356002
686.67/685.50	c cleaning 163001 clauses out of 326016 with flag 30051347/13520001
701.14/700.10	c cleaning 163997 clauses out of 328014 with flag 30426038/13685000
717.40/716.28	c cleaning 165001 clauses out of 330017 with flag 30808165/13851000
729.97/728.84	c cleaning 166002 clauses out of 332016 with flag 31186255/14018000
741.75/740.69	c cleaning 166999 clauses out of 334015 with flag 31558891/14186001
752.23/751.18	c cleaning 168000 clauses out of 336015 with flag 31934995/14355000
762.81/761.75	c cleaning 168996 clauses out of 338015 with flag 32317715/14525000
774.28/773.23	c cleaning 169999 clauses out of 340020 with flag 32700465/14696001
783.17/782.18	c cleaning 170995 clauses out of 342020 with flag 33083787/14868000
793.54/792.52	c cleaning 171999 clauses out of 344026 with flag 33468973/15041001
804.03/802.99	c cleaning 172998 clauses out of 346026 with flag 33855335/15215000
815.01/813.98	c cleaning 174008 clauses out of 348028 with flag 34244872/15390000
827.19/826.12	c cleaning 175000 clauses out of 350022 with flag 34636005/15566002
838.26/837.21	c cleaning 176000 clauses out of 352021 with flag 35028328/15743001
850.05/849.09	c cleaning 176994 clauses out of 354020 with flag 35423365/15921000
862.61/861.68	c cleaning 178004 clauses out of 356028 with flag 35819944/16100002
872.49/871.58	c cleaning 179003 clauses out of 358022 with flag 36219765/16280000
883.84/882.82	c cleaning 180002 clauses out of 360019 with flag 36621426/16461000
897.12/896.15	c cleaning 180999 clauses out of 362018 with flag 37026631/16643001
910.18/909.26	c cleaning 181997 clauses out of 364018 with flag 37433214/16826000
924.96/924.06	c cleaning 183005 clauses out of 366021 with flag 37842222/17010000
937.93/937.07	c cleaning 183997 clauses out of 368017 with flag 38253844/17195001
952.69/951.81	c cleaning 185000 clauses out of 370019 with flag 38669877/17381000
967.25/966.42	c cleaning 186003 clauses out of 372019 with flag 39092136/17568000
980.81/980.00	c cleaning 186995 clauses out of 374017 with flag 39512682/17756001
994.29/993.41	c cleaning 187997 clauses out of 376021 with flag 39940650/17945000
1010.06/1009.21	c cleaning 189000 clauses out of 378024 with flag 40370548/18135000
1024.93/1024.19	c cleaning 190007 clauses out of 380024 with flag 40794099/18326000
1039.70/1038.98	c cleaning 190997 clauses out of 382018 with flag 41221497/18518001
1055.88/1055.16	c cleaning 192007 clauses out of 384020 with flag 41650157/18711000
1073.44/1072.78	c cleaning 192993 clauses out of 386013 with flag 42081393/18905000
1090.64/1089.86	c cleaning 193998 clauses out of 388020 with flag 42516298/19100000
1104.92/1104.14	c cleaning 195003 clauses out of 390022 with flag 42950144/19296000
1119.68/1118.98	c cleaning 196001 clauses out of 392019 with flag 43385212/19493000
1132.46/1131.72	c cleaning 197001 clauses out of 394019 with flag 43824264/19691001
1147.63/1146.90	c cleaning 197997 clauses out of 396017 with flag 44264927/19890000
1163.90/1163.26	c cleaning 199004 clauses out of 398022 with flag 44709454/20090002
1178.96/1178.31	c cleaning 199997 clauses out of 400016 with flag 45154430/20291000
1195.44/1194.72	c cleaning 201003 clauses out of 402020 with flag 45603367/20493001
1208.01/1207.37	c cleaning 202001 clauses out of 404017 with flag 46054712/20696001
1225.08/1224.49	c cleaning 202999 clauses out of 406015 with flag 46506682/20900000
1241.85/1241.27	c cleaning 204000 clauses out of 408017 with flag 46962334/21105001
1254.83/1254.26	c cleaning 205000 clauses out of 410018 with flag 47420015/21311002
1269.00/1268.48	c cleaning 205999 clauses out of 412016 with flag 47880265/21518000
1284.53/1283.52	c cleaning 207001 clauses out of 414017 with flag 48342376/21726000
1298.49/1297.58	c cleaning 207996 clauses out of 416016 with flag 48807112/21935000
1315.26/1314.37	c cleaning 209001 clauses out of 418021 with flag 49275375/22145001
1327.74/1326.81	c cleaning 209996 clauses out of 420020 with flag 49744303/22356001
1341.92/1341.03	c cleaning 211002 clauses out of 422023 with flag 50213792/22568000
1356.29/1355.48	c cleaning 211999 clauses out of 424022 with flag 50685692/22781001
1369.06/1368.22	c cleaning 212999 clauses out of 426022 with flag 51160502/22995000
1386.73/1385.92	c cleaning 214005 clauses out of 428024 with flag 51640599/23210001
1406.24/1405.40	c cleaning 215001 clauses out of 430019 with flag 52123615/23426001
1424.82/1424.04	c cleaning 215996 clauses out of 432017 with flag 52606211/23643000
1442.88/1442.19	c cleaning 217001 clauses out of 434022 with flag 53091474/23861001
1458.04/1457.35	c cleaning 217998 clauses out of 436021 with flag 53578748/24080001
1473.11/1472.40	c cleaning 218998 clauses out of 438022 with flag 54069425/24300000
1486.89/1486.27	c cleaning 220005 clauses out of 440025 with flag 54558374/24521001
1504.35/1503.71	c cleaning 221003 clauses out of 442019 with flag 55051222/24743000
1522.52/1521.90	c cleaning 222001 clauses out of 444016 with flag 55548079/24966000
1542.07/1541.53	c cleaning 223005 clauses out of 446015 with flag 56049964/25190000
1559.52/1558.86	c cleaning 223996 clauses out of 448011 with flag 56567217/25415001
1595.47/1594.74	c cleaning 224997 clauses out of 450014 with flag 57116668/25641000
1622.11/1621.42	c cleaning 226001 clauses out of 452018 with flag 57672452/25868001
1650.56/1649.90	c cleaning 227001 clauses out of 454017 with flag 58233568/26096001
1673.62/1673.06	c cleaning 228003 clauses out of 456016 with flag 58814463/26325001
1695.77/1695.26	c cleaning 229002 clauses out of 458013 with flag 59371937/26555001
1717.93/1717.49	c cleaning 229998 clauses out of 460011 with flag 59937146/26786001
1743.86/1743.45	c cleaning 231001 clauses out of 462012 with flag 60507446/27018000
1768.19/1767.89	c cleaning 231999 clauses out of 464011 with flag 61108033/27251000
1792.75/1792.41	c cleaning 232998 clauses out of 466013 with flag 61730194/27485001
1818.58/1818.38	c cleaning 234004 clauses out of 468015 with flag 62338712/27720001
1840.83/1840.61	c cleaning 234995 clauses out of 470010 with flag 62908726/27956000
1863.97/1863.83	c cleaning 236000 clauses out of 472015 with flag 63511845/28193000
1894.85/1894.54	c cleaning 237003 clauses out of 474017 with flag 64129333/28431002
1920.29/1920.04	c cleaning 237999 clauses out of 476013 with flag 64747763/28670001
1945.22/1945.06	c cleaning 239004 clauses out of 478013 with flag 65354169/28910000
1974.54/1974.45	c cleaning 239996 clauses out of 480010 with flag 65974544/29151001
2000.57/2000.58	c cleaning 241000 clauses out of 482015 with flag 66583637/29393002
2026.21/2026.24	c cleaning 242001 clauses out of 484013 with flag 67174180/29636000
2044.56/2044.69	c cleaning 242999 clauses out of 486012 with flag 67739487/29880000
2069.60/2069.71	c cleaning 244004 clauses out of 488013 with flag 68309600/30125000
2096.75/2096.84	c cleaning 244995 clauses out of 490010 with flag 68917727/30371001
2117.31/2117.46	c cleaning 246002 clauses out of 492014 with flag 69496063/30618000
2145.44/2145.62	c cleaning 247001 clauses out of 494012 with flag 70110113/30866000
2167.59/2167.87	c cleaning 248005 clauses out of 496011 with flag 70721826/31115000
2194.22/2194.59	c cleaning 249004 clauses out of 498007 with flag 71363299/31365001
2213.17/2213.56	c cleaning 249995 clauses out of 500002 with flag 71942649/31616000
2235.06/2235.30	c cleaning 250999 clauses out of 502007 with flag 72499770/31868000
2252.73/2253.06	c cleaning 252004 clauses out of 504009 with flag 73061182/32121001
2271.79/2272.13	c cleaning 252999 clauses out of 506006 with flag 73625986/32375002
2294.25/2294.63	c cleaning 253996 clauses out of 508006 with flag 74190659/32630001
2314.81/2315.21	c cleaning 255002 clauses out of 510011 with flag 74758940/32886002
2336.57/2337.07	c cleaning 255997 clauses out of 512009 with flag 75330117/33143002
2356.32/2356.87	c cleaning 256997 clauses out of 514010 with flag 75904199/33401000
2379.63/2379.61	c cleaning 258004 clauses out of 516013 with flag 76482501/33660000
2399.90/2399.92	c cleaning 259001 clauses out of 518010 with flag 77058954/33920001
2426.85/2426.99	c cleaning 259998 clauses out of 520009 with flag 77638079/34181001
2452.89/2453.02	c cleaning 260999 clauses out of 522011 with flag 78245039/34443001
2472.03/2472.27	c cleaning 261999 clauses out of 524011 with flag 78848696/34706000
2492.89/2493.15	c cleaning 263002 clauses out of 526014 with flag 79450389/34970002
2516.61/2516.83	c cleaning 264000 clauses out of 528011 with flag 80065710/35235001
2539.46/2539.70	c cleaning 265004 clauses out of 530010 with flag 80672271/35501000
2561.20/2561.56	c cleaning 265999 clauses out of 532009 with flag 81270593/35768003
2589.33/2589.71	c cleaning 266999 clauses out of 534008 with flag 81905186/36036001
2615.76/2616.28	c cleaning 267997 clauses out of 536008 with flag 82540528/36305000
2634.61/2635.18	c cleaning 268999 clauses out of 538011 with flag 83174930/36575000
2661.04/2661.66	c cleaning 270004 clauses out of 540012 with flag 83813755/36846000
2687.71/2688.29	c cleaning 270997 clauses out of 542008 with flag 84472167/37118000
2709.95/2710.52	c cleaning 271999 clauses out of 544012 with flag 85085408/37391001
2735.50/2736.16	c cleaning 273002 clauses out of 546012 with flag 85710803/37665000
2757.04/2757.76	c cleaning 274002 clauses out of 548011 with flag 86341784/37940001
2782.67/2783.47	c cleaning 274994 clauses out of 550008 with flag 86987371/38216000
2810.10/2810.97	c cleaning 276000 clauses out of 552014 with flag 87627289/38493000
2839.02/2839.93	c cleaning 277002 clauses out of 554015 with flag 88277935/38771001
2869.40/2870.26	c cleaning 278001 clauses out of 556012 with flag 88948123/39050000
2898.25/2899.18	c cleaning 278998 clauses out of 558011 with flag 89589811/39330000
2923.29/2924.28	c cleaning 279996 clauses out of 560013 with flag 90205337/39611000
2949.54/2950.52	c cleaning 280999 clauses out of 562017 with flag 90824340/39893000
2984.08/2985.13	c cleaning 282005 clauses out of 564019 with flag 91449499/40176001
3006.33/3007.49	c cleaning 282998 clauses out of 566013 with flag 92074292/40460000
3034.08/3035.28	c cleaning 284000 clauses out of 568015 with flag 92700572/40745000
3059.04/3060.17	c cleaning 284997 clauses out of 570016 with flag 93333259/41031001
3083.09/3084.21	c cleaning 286002 clauses out of 572018 with flag 93966461/41318000
3107.04/3108.20	c cleaning 286997 clauses out of 574017 with flag 94602544/41606001
3133.19/3134.44	c cleaning 288006 clauses out of 576019 with flag 95237395/41895000
3157.64/3158.91	c cleaning 289001 clauses out of 578014 with flag 95875962/42185001
3183.08/3184.49	c cleaning 290002 clauses out of 580012 with flag 96516036/42476000
3215.81/3217.12	c cleaning 290998 clauses out of 582012 with flag 97154936/42768002
3246.85/3248.21	c cleaning 292001 clauses out of 584013 with flag 97796662/43061001
3280.08/3281.54	c cleaning 293004 clauses out of 586012 with flag 98442190/43355001
3305.33/3306.80	c cleaning 293996 clauses out of 588008 with flag 99111625/43650001
3334.77/3336.37	c cleaning 295002 clauses out of 590011 with flag 99780020/43946000
3367.41/3369.08	c cleaning 296000 clauses out of 592010 with flag 100447647/44243001
3396.15/3397.85	c cleaning 296996 clauses out of 594009 with flag 101107591/44541000
3426.69/3427.96	c cleaning 298006 clauses out of 596013 with flag 101764057/44840000
3454.23/3455.54	c cleaning 298996 clauses out of 598007 with flag 102429318/45140000
3483.68/3485.03	c cleaning 300001 clauses out of 600012 with flag 103094393/45441001
3510.22/3511.60	c cleaning 300999 clauses out of 602010 with flag 103782778/45743000
3543.16/3544.61	c cleaning 302000 clauses out of 604012 with flag 104483713/46046001
3571.81/3573.27	c cleaning 303003 clauses out of 606011 with flag 105149495/46350000
3599.75/3601.29	c cleaning 304001 clauses out of 608009 with flag 105817620/46655001
3600.05/3601.51	c starts		: 55
3600.05/3601.51	c conflicts		: 46669938
3600.05/3601.51	c decisions		: 68660204
3600.05/3601.51	c propagations		: 484153979
3600.05/3601.51	c inspects		: 34434204199
3600.05/3601.51	c shortcuts		: 0
3600.05/3601.51	c learnt literals	: 0
3600.05/3601.51	c learnt binary clauses	: 0
3600.05/3601.51	c learnt ternary clauses	: 0
3600.05/3601.51	c learnt constraints	: 46669938
3600.05/3601.51	c ignored constraints	: 0
3600.05/3601.51	c root simplifications	: 0
3600.05/3601.51	c removed literals (reason simplification)	: 26897881
3600.05/3601.52	c reason swapping (by a shorter reason)	: 0
3600.05/3601.52	c Calls to reduceDB	: 301
3600.05/3601.52	c Number of update (reduction) of LBD	: 3648082
3600.05/3601.52	c Imported unit clauses	: 0
3600.05/3601.52	c timeout
3600.05/3601.52	c No decision after first conflict	: false
3600.05/3601.52	c number of reductions to clauses (during analyze)	: 0
3600.05/3601.52	c number of learned constraints concerned by reduction	: 0
3600.05/3601.52	c number of learning phase by resolution	: 0
3600.05/3601.52	c number of learning phase by cutting planes	: 0
3600.05/3601.52	c number of rounding to 1 operations	: 0
3600.05/3601.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3601.52	c number of reductions of the coefficients by power 2 	: 0
3600.05/3601.52	c number of right shift for reduction by power 2 	: 0
3600.05/3601.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3601.52	c number of ending skipping 	: 0
3600.05/3601.52	c number of internal skipping 	: 0
3600.05/3601.52	c number of derivation steps 	: 0
3600.05/3601.52	c number of skipped derivation steps 	: 0
3600.05/3601.52	c number of remaining unassigned 	: 0
3600.05/3601.52	c number of remaining assigned 	: 0
3600.05/3601.52	c number of falsified literals weakened from reason	: 0
3600.05/3601.52	c number of falsified literals weakened from conflict	: 0
3600.05/3601.52	c time for arithmetic operations	: 0
3600.05/3601.52	c minimum degree of deleted constraints	: null
3600.05/3601.52	c maximum degree of deleted constraints	: null
3600.05/3601.52	c number of deleted constraints	: 0
3600.05/3601.52	c speed (assignments/second)	: 134435.75736842953
3600.05/3601.52	c non guided choices	: 46
3600.05/3601.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 318945
3600.05/3601.59	s UNKNOWN
3600.05/3601.59	c Total wall clock time (in seconds): 3601.462

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: 63708 MiB (62602 MiB free)
  memory of node 1: 64465 MiB (63416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543602-1753227714/watcher-4543602-1753227714 -o /tmp/evaluation-result-4543602-1753227714/solver-4543602-1753227714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216818 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543602-1753227714.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=217448, runsolver pid=217445

[startup+0.100058 s]*
/proc/loadavg: 4.12 4.10 4.05 5/338 217466
/proc/meminfo: memFree=129019748/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18930384 memory=57788 CPUtime=0.13 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 6588 0 0 0 12 1 0 0 20 0 18 0 238450199 19384713216 14447 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4732596 14447 5339 1 0 547622 0
[pid=217448/tid=217450] ppid=217445 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5085 0 0 0 7 1 0 0 20 0 18 0 238450200 19384713216 14479 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238450202 19384713216 14479 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18930384 memory=57385981077077 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238450202 19384713216 14479 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57788 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.12 4.10 4.05 7/339 217467
/proc/meminfo: memFree=129013888/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18996948 memory=64132 CPUtime=0.33 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 7251 0 0 0 31 2 0 0 20 0 19 0 238450199 19452874752 16033 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4749237 16033 5435 1 0 548277 0
[pid=217448/tid=217450] ppid=217445 vsize=18996948 memory=4027056412 CPUtime=0.18 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5305 0 0 0 17 1 0 0 20 0 19 0 238450200 19452874752 16033 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18996948 memory=17913 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 16033 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18996948 memory=56286469424100 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 16033 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238450214 19452874752 16033 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64132 KiB

[startup+0.305719 s]*
/proc/loadavg: 4.12 4.10 4.05 6/339 217467
/proc/meminfo: memFree=129006580/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18996948 memory=71148 CPUtime=0.52 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 9962 0 0 0 50 2 0 0 20 0 19 0 238450199 19452874752 17787 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4749237 17787 5435 1 0 549961 0
[pid=217448/tid=217450] ppid=217445 vsize=18996948 memory=-8816190331366908604 CPUtime=0.27 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5317 0 0 0 26 1 0 0 20 0 19 0 238450200 19452874752 17787 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 17787 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 17787 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238450214 19452874752 17787 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71148 KiB

[startup+0.700229 s]
/proc/loadavg: 4.12 4.10 4.05 6/339 217467
/proc/meminfo: memFree=128972364/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18996948 memory=84464 CPUtime=1.28 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 12210 0 0 0 125 3 0 0 20 0 19 0 238450199 19452874752 21116 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4749237 21116 5467 1 0 551573 0
[pid=217448/tid=217450] ppid=217445 vsize=18996948 memory=22144 CPUtime=0.64 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5364 0 0 0 63 1 0 0 20 0 19 0 238450200 19452874752 21116 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 21116 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 21116 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238450214 19452874752 21116 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84464 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.10 4.05 6/339 217467
/proc/meminfo: memFree=128962164/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18996948 memory=103268 CPUtime=2.62 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 15799 0 0 0 258 4 0 0 20 0 19 0 238450199 19452874752 25817 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4749237 25817 5467 1 0 551576 0
[pid=217448/tid=217450] ppid=217445 vsize=18996948 memory=0 CPUtime=1.44 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5683 0 0 0 142 2 0 0 20 0 19 0 238450200 19452874752 25817 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 25817 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 25817 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238450214 19452874752 25817 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103268 KiB

[startup+3.10562 s]
/proc/loadavg: 4.12 4.10 4.05 5/339 217467
/proc/meminfo: memFree=128893100/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=18996948 memory=140260 CPUtime=4.28 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 16625 0 0 0 423 5 0 0 20 0 19 0 238450199 19452874752 35065 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4749237 35065 5467 1 0 551578 0
[pid=217448/tid=217450] ppid=217445 vsize=18996948 memory=10752 CPUtime=3.03 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 5964 0 0 0 301 2 0 0 20 0 19 0 238450200 19452874752 35065 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=18996948 memory=-8816190331366908604 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 35065 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238450202 19452874752 35065 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238450214 19452874752 35065 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140260 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.10 4.05 5/340 217468
/proc/meminfo: memFree=128770320/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=172004 CPUtime=7.46 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 18355 0 0 0 741 5 0 0 20 0 20 0 238450199 19521036288 43001 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 43001 5467 1 0 551867 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=0 CPUtime=6.21 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 6242 0 0 0 618 3 0 0 20 0 20 0 238450200 19521036288 43001 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 43001 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 43001 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=105316 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 43001 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.05 5/340 217468
/proc/meminfo: memFree=128610324/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=178192 CPUtime=13.85 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 19930 0 0 0 1380 5 0 0 20 0 20 0 238450199 19521036288 44548 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 44548 5467 1 0 551867 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=105316 CPUtime=12.57 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 6895 0 0 0 1254 3 0 0 20 0 20 0 238450200 19521036288 44548 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=178192 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 44548 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 44548 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 44548 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178192 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.04 5/340 217468
/proc/meminfo: memFree=128216352/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=295344 CPUtime=26.78 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 24564 0 0 0 2669 9 0 0 20 0 20 0 238450199 19521036288 73836 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 73836 5467 1 0 551867 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=178192 CPUtime=25.22 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 7523 0 0 0 2519 3 0 0 20 0 20 0 238450200 19521036288 73836 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 73836 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=244060 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 73836 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=22144 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 73836 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 295344 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.10 4.05 5/340 217468
/proc/meminfo: memFree=127446060/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=408176 CPUtime=52.43 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 24712 0 0 0 5231 12 0 0 20 0 20 0 238450199 19521036288 102044 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 102044 5499 1 0 551867 0

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

/proc/meminfo: memFree=121375152/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3280.88 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 89584 0 0 0 327990 98 0 0 20 0 20 0 238450199 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 540865 5531 1 0 554083 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3270.86 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 35818 0 0 0 327069 17 0 0 20 0 20 0 238450200 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 1780 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3280.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163460 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/340 217641
/proc/meminfo: memFree=121362880/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3340.75 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 89972 0 0 0 333977 98 0 0 20 0 20 0 238450199 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 540865 5531 1 0 554083 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3330.72 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 36092 0 0 0 333055 17 0 0 20 0 20 0 238450200 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=22272 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3340.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/340 217643
/proc/meminfo: memFree=121101284/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3401.14 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 94169 0 0 0 340014 100 0 0 20 0 20 0 238450199 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 540865 5531 1 0 554083 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3390.48 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 38313 0 0 0 339031 17 0 0 20 0 20 0 238450200 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=22272 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3401.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/340 217645
/proc/meminfo: memFree=120921180/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3461.02 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 95110 0 0 0 346002 100 0 0 20 0 20 0 238450199 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 540865 5531 1 0 554083 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3450.35 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 39032 0 0 0 345018 17 0 0 20 0 20 0 238450200 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 2007 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3461.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/340 217647
/proc/meminfo: memFree=120920800/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3520.89 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 95759 0 0 0 351988 101 0 0 20 0 20 0 238450199 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 540865 5531 1 0 554083 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=2163460 CPUtime=3510.21 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 39594 0 0 0 351004 17 0 0 20 0 20 0 238450200 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=2163460 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 2007 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=-8816190331366908604 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 540865 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3520.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2164740 CPUtime=3580.89 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 97362 0 0 0 357987 102 0 0 20 0 20 0 238450199 19521036288 541185 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 541185 5531 1 0 554414 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=14692 CPUtime=3569.96 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 39780 0 0 0 356979 17 0 0 20 0 20 0 238450200 19521036288 541185 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=2164740 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541185 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=2164740 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541185 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 541185 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.5 s]
/proc/loadavg: 4.24 4.14 4.10 5/340 217915
/proc/meminfo: memFree=122970528/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2164868 CPUtime=3600.05 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 97382 0 0 0 359902 103 0 0 20 0 20 0 238450199 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 541217 5531 1 0 554418 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=-8816190331366908604 CPUtime=3589.11 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 39790 0 0 0 358894 17 0 0 20 0 20 0 238450200 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=2164868 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=1.04598 s

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

[startup+3601.5 s]
/proc/loadavg: 4.24 4.14 4.10 5/340 217915
/proc/meminfo: memFree=122970528/131249992 swapFree=33003724/33010684
[pid=217448] ppid=217445 vsize=19063512 memory=2164868 CPUtime=3600.05 cores=5,7
/proc/217448/stat : 217448 (java) S 217445 217448 216805 0 -1 4194304 97382 0 0 0 359902 103 0 0 20 0 20 0 238450199 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
/proc/217448/statm: 4765878 541217 5531 1 0 554418 0
[pid=217448/tid=217450] ppid=217445 vsize=19063512 memory=-8816190331366908604 CPUtime=3589.11 cores=5,7
/proc/217448/task/217450/stat : 217450 (java) R 217445 217448 216805 0 -1 4194368 39790 0 0 0 358894 17 0 0 20 0 20 0 238450200 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217459] ppid=217445 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/217448/task/217459/stat : 217459 (Finalizer) S 217445 217448 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217466] ppid=217445 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/217448/task/217466/stat : 217466 (Common-Cleaner) S 217445 217448 216805 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 238450202 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
[pid=217448/tid=217467] ppid=217445 vsize=19063512 memory=2164868 CPUtime=0 cores=5,7
/proc/217448/task/217467/stat : 217467 (Timer-0) S 217445 217448 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238450214 19521036288 541217 18446744073709551615 94595914964992 94595914968688 140735100104912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94595914976504 94595914977296 94595940081664 140735100107135 140735100107236 140735100107236 140735100112840 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164868 KiB

Child status: 143

Real time (s): 3601.6
CPU time (s): 3600.2
CPU user time (s): 3599.15
CPU system time (s): 1.04598
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2164868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 1.04598
maximum resident set size= 2165636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104699
involuntary context switches= 2804


# summary of solver processes directly reported to runsolver:
#   pid: 217448
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 1.04598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03071 second user time and 17.87 second system time

The end

Launcher Data

Begin job on nodeC025 at 2025-07-23 01:41:54
IDJOB=4543602
IDBENCH=174328
IDSOLVER=3363
FILE ID=nodeC025/4543602-1753227714
RUNJOBID= nodeC025-1753224118-216818
SLURM_JOB_ID= 9687832
Free space on /tmp= 431860 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543602-1753227714/watcher-4543602-1753227714 -o /tmp/evaluation-result-4543602-1753227714/solver-4543602-1753227714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216818 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543602-1753227714.opb

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

MD5SUM BENCH= 97150e5e0eb6db8648ae3545c94ad534
RANDOM SEED=1674897472

nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.822
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.838
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.064
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.974
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.930
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3566.482
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.843
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129043960 kB
MemAvailable:   129251408 kB
Buffers:            2128 kB
Cached:           951168 kB
SwapCached:         2132 kB
Active:          1204416 kB
Inactive:         296500 kB
Active(anon):     541616 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   268888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3820 kB
Writeback:             0 kB
AnonPages:        548600 kB
Mapped:           123084 kB
Shmem:             21600 kB
KReclaimable:     229996 kB
Slab:             327728 kB
SReclaimable:     229996 kB
SUnreclaim:        97732 kB
KernelStack:        5200 kB
PageTables:         4808 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7050208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431852 MiB
End job on nodeC025 at 2025-07-23 02:41:56