Trace number 4486433

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)66 3600.22 3605.69

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUM01f07e427327757fda434ad4b1d2038d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark3584.69
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.15	c See www.sat4j.org for details.
0.01/0.16	c version PB25.v20250606
0.01/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.01/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.01/0.17	c java.vm.version	22.0.1+8-16
0.01/0.17	c java.vm.vendor	Oracle Corporation
0.01/0.17	c sun.arch.data.model	64
0.01/0.17	c java.version		22.0.1
0.01/0.17	c os.name		Linux
0.01/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.01/0.17	c os.arch		amd64
0.01/0.17	c Free memory 		2104792832
0.01/0.17	c Max memory 		16282288128
0.01/0.17	c Total memory 		2113929216
0.01/0.17	c Number of processors 	2
0.16/0.22	c Pseudo Boolean Optimization by upper bound
0.16/0.22	c --- Begin Solver configuration ---
0.16/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.16/0.22	c Learn all clauses as in MiniSAT
0.16/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.22	c Expensive reason simplification
0.16/0.22	c Glucose 2.1 dynamic restart strategy
0.16/0.22	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.16/0.22	c timeout=2147483s
0.16/0.22	c DB Simplification allowed=false
0.16/0.22	c Listener: none
0.16/0.22	c --- End Solver configuration ---
0.16/0.22	c solving HOME/instance-4486433-1751335254.opb
0.16/0.22	c reading problem ... 
0.16/0.22	c using VERIPB proof format
0.16/0.22	c  objective function found
0.34/0.33	c ... done. Wall clock time 0.109s.
0.34/0.33	c declared #vars     540
0.34/0.33	c #constraints  4626
0.34/0.33	c constraints type 
0.34/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.34/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.34/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.34/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.34/0.33	c 4626 constraints processed.
0.42/0.46	c objective function length is 180 literals
0.52/0.59	c SATISFIABLE
0.52/0.59	c OPTIMIZING...
0.52/0.59	c Got one! Elapsed wall clock time (in seconds):0.37
0.52/0.59	o 78
0.71/0.65	c Got one! Elapsed wall clock time (in seconds):0.438
0.71/0.65	o 76
0.90/0.71	c Got one! Elapsed wall clock time (in seconds):0.496
0.90/0.71	o 74
1.09/0.85	c Got one! Elapsed wall clock time (in seconds):0.635
1.09/0.85	o 68
2.28/1.45	c cleaning 3524 clauses out of 7053 with flag 30822/7053
3.86/2.21	c cleaning 4760 clauses out of 9529 with flag 80249/13053
4.91/3.04	c cleaning 5878 clauses out of 11769 with flag 147681/20053
6.05/4.14	c cleaning 6941 clauses out of 13894 with flag 245093/28056
7.66/5.43	c cleaning 7969 clauses out of 15951 with flag 346858/37054
9.15/6.90	c cleaning 8989 clauses out of 17982 with flag 468552/47054
10.95/8.70	c cleaning 9989 clauses out of 19992 with flag 612695/58053
12.94/10.73	c cleaning 10993 clauses out of 22003 with flag 781196/70053
15.25/13.07	c cleaning 12001 clauses out of 24012 with flag 976530/83055
17.84/15.69	c cleaning 12993 clauses out of 26009 with flag 1190558/97053
20.71/18.56	c cleaning 14000 clauses out of 28017 with flag 1419181/112054
23.80/21.66	c cleaning 15001 clauses out of 30016 with flag 1676061/128053
27.33/25.14	c cleaning 16001 clauses out of 32016 with flag 1955118/145054
31.15/28.92	c cleaning 17002 clauses out of 34016 with flag 2255310/163055
35.80/33.65	c cleaning 18004 clauses out of 36012 with flag 2658712/182053
40.49/38.37	c cleaning 18997 clauses out of 38008 with flag 3022702/202053
40.89/38.77	c Got one! Elapsed wall clock time (in seconds):38.545
40.89/38.77	o 66
41.92/39.72	c cleaning 12415 clauses out of 24848 with flag 81167/207890
42.92/40.76	c cleaning 9201 clauses out of 18433 with flag 191765/213890
44.02/41.89	c cleaning 8103 clauses out of 16231 with flag 307557/220889
45.28/43.07	c cleaning 8051 clauses out of 16128 with flag 431184/228889
46.58/44.39	c cleaning 8535 clauses out of 17078 with flag 563405/237890
48.17/45.91	c cleaning 9267 clauses out of 18543 with flag 717254/247890
49.96/47.70	c cleaning 10129 clauses out of 20276 with flag 894764/258890
51.95/49.76	c cleaning 11062 clauses out of 22146 with flag 1091904/270889
54.26/52.03	c cleaning 12035 clauses out of 24084 with flag 1307849/283889
56.55/54.33	c cleaning 13022 clauses out of 26049 with flag 1528176/297889
56.94/54.74	c cleaning 14010 clauses out of 28028 with flag 1559571/312890
57.35/55.18	c cleaning 15007 clauses out of 30018 with flag 1595615/328890
57.95/55.70	c cleaning 16003 clauses out of 32011 with flag 1637643/345890
58.44/56.25	c cleaning 16997 clauses out of 34007 with flag 1680904/363889
59.05/56.85	c cleaning 18005 clauses out of 36010 with flag 1731353/382889
59.75/57.51	c cleaning 18996 clauses out of 38005 with flag 1786541/402889
60.44/58.28	c cleaning 20005 clauses out of 40009 with flag 1842140/423889
61.36/59.16	c cleaning 20999 clauses out of 42005 with flag 1900571/445890
62.25/60.04	c cleaning 21998 clauses out of 44006 with flag 1960188/468890
63.15/60.95	c cleaning 23000 clauses out of 46008 with flag 2021734/492890
64.14/61.94	c cleaning 24004 clauses out of 48009 with flag 2084965/517891
65.16/63.04	c cleaning 25001 clauses out of 50005 with flag 2156764/543891
66.35/64.21	c cleaning 25996 clauses out of 52002 with flag 2229889/570889
67.66/65.57	c cleaning 27001 clauses out of 54007 with flag 2307481/598890
68.96/66.84	c cleaning 27999 clauses out of 56005 with flag 2382794/627889
70.26/68.19	c cleaning 29002 clauses out of 58007 with flag 2462087/657890
71.55/69.50	c cleaning 29997 clauses out of 60004 with flag 2544915/688889
72.95/70.81	c cleaning 31001 clauses out of 62007 with flag 2630750/720889
74.16/72.07	c cleaning 32004 clauses out of 64007 with flag 2718235/753890
75.56/73.49	c cleaning 32997 clauses out of 66002 with flag 2810003/787889
77.25/75.11	c cleaning 34003 clauses out of 68005 with flag 2903073/822889
78.85/76.74	c cleaning 35001 clauses out of 70003 with flag 3001368/858890
80.45/78.39	c cleaning 35995 clauses out of 72001 with flag 3103764/895889
82.35/80.26	c cleaning 36996 clauses out of 74006 with flag 3204991/933889
83.94/81.87	c cleaning 37996 clauses out of 76010 with flag 3304146/972889
85.94/83.81	c cleaning 39001 clauses out of 78015 with flag 3408806/1012890
88.05/85.91	c cleaning 40003 clauses out of 80013 with flag 3532283/1053889
89.64/87.54	c cleaning 41004 clauses out of 82011 with flag 3642486/1095890
100.44/98.33	c cleaning 42000 clauses out of 84008 with flag 4283447/1138891
104.53/102.47	c cleaning 42998 clauses out of 86008 with flag 4537935/1182891
110.72/108.62	c cleaning 44002 clauses out of 88009 with flag 4847426/1227890
127.75/125.73	c cleaning 44997 clauses out of 90006 with flag 5625911/1273889
149.81/147.81	c cleaning 45994 clauses out of 92009 with flag 6491394/1320889
170.12/168.49	c cleaning 47004 clauses out of 94018 with flag 7381146/1368892
197.04/195.45	c cleaning 48001 clauses out of 96012 with flag 8347931/1417890
222.95/221.46	c cleaning 49001 clauses out of 98012 with flag 9331544/1467891
224.96/223.44	c cleaning 50002 clauses out of 100010 with flag 9456198/1518890
226.95/225.43	c cleaning 50998 clauses out of 102011 with flag 9578796/1570893
229.07/227.54	c cleaning 51995 clauses out of 104010 with flag 9705407/1623890
231.06/229.50	c cleaning 53006 clauses out of 106014 with flag 9839787/1677889
233.36/231.88	c cleaning 53998 clauses out of 108009 with flag 9978053/1732890
236.17/234.68	c cleaning 55001 clauses out of 110012 with flag 10128296/1788891
238.66/237.13	c cleaning 56000 clauses out of 112009 with flag 10280666/1845889
254.55/253.14	c cleaning 57004 clauses out of 114009 with flag 10931481/1903889
291.26/289.94	c cleaning 58002 clauses out of 116005 with flag 12092807/1962889
297.74/296.41	c cleaning 58996 clauses out of 118003 with flag 12393583/2022889
299.95/298.64	c cleaning 60000 clauses out of 120007 with flag 12543487/2083889
302.55/301.22	c cleaning 61000 clauses out of 122007 with flag 12683054/2145889
305.47/304.18	c cleaning 62002 clauses out of 124008 with flag 12831367/2208890
308.05/306.72	c cleaning 63000 clauses out of 126005 with flag 12980560/2272889
310.91/309.36	c cleaning 64000 clauses out of 128005 with flag 13131938/2337889
313.82/312.07	c cleaning 64997 clauses out of 130005 with flag 13289320/2403889
322.92/321.14	c cleaning 66001 clauses out of 132008 with flag 13643330/2470889
372.09/370.51	c cleaning 67000 clauses out of 134007 with flag 14944367/2538889
375.22/373.66	c cleaning 67993 clauses out of 136008 with flag 15094285/2607890
378.32/376.79	c cleaning 69003 clauses out of 138014 with flag 15246552/2677889
382.15/380.53	c cleaning 69997 clauses out of 140011 with flag 15410503/2748889
385.65/384.06	c cleaning 71004 clauses out of 142016 with flag 15565633/2820891
390.08/388.43	c cleaning 72005 clauses out of 144010 with flag 15727169/2893889
394.31/392.69	c cleaning 72998 clauses out of 146005 with flag 15889714/2967889
398.30/396.68	c cleaning 74000 clauses out of 148007 with flag 16057980/3042889
402.62/401.07	c cleaning 74992 clauses out of 150008 with flag 16230765/3118890
406.31/404.77	c cleaning 76007 clauses out of 152017 with flag 16399960/3195891
423.10/421.57	c cleaning 76996 clauses out of 154008 with flag 16929094/3273889
426.43/424.88	c cleaning 77996 clauses out of 156012 with flag 17107734/3352889
430.78/429.16	c cleaning 79008 clauses out of 158016 with flag 17295911/3432889
434.63/432.97	c cleaning 80000 clauses out of 160008 with flag 17486152/3513889
476.45/474.88	c cleaning 80999 clauses out of 162008 with flag 18426520/3595889
486.78/485.18	c cleaning 81996 clauses out of 164010 with flag 18784529/3678890
490.43/488.77	c cleaning 83001 clauses out of 166013 with flag 18993029/3762889
494.37/492.87	c cleaning 83999 clauses out of 168012 with flag 19185538/3847889
498.36/496.83	c cleaning 85003 clauses out of 170016 with flag 19382084/3933892
533.91/532.54	c cleaning 86000 clauses out of 172010 with flag 20188992/4020889
632.69/631.92	c cleaning 87003 clauses out of 174011 with flag 21907820/4108890
660.08/659.38	c cleaning 87999 clauses out of 176008 with flag 22609489/4197890
698.38/697.72	c cleaning 88999 clauses out of 178008 with flag 23411696/4287889
804.21/803.78	c cleaning 90002 clauses out of 180012 with flag 25157017/4378892
922.65/922.99	c cleaning 91002 clauses out of 182007 with flag 26985240/4470889
1047.51/1048.08	c cleaning 91999 clauses out of 184006 with flag 28805897/4563890
1116.89/1117.51	c cleaning 92997 clauses out of 186007 with flag 29982638/4657890
1122.31/1122.90	c cleaning 94003 clauses out of 188009 with flag 30189403/4752889
1127.60/1128.28	c cleaning 94997 clauses out of 190007 with flag 30407832/4848890
1133.31/1133.99	c cleaning 95995 clauses out of 192010 with flag 30630600/4945890
1138.45/1139.22	c cleaning 97007 clauses out of 194015 with flag 30851282/5043890
1143.89/1144.63	c cleaning 97999 clauses out of 196007 with flag 31076682/5142889
1160.20/1160.97	c cleaning 98998 clauses out of 198008 with flag 31467512/5242889
1185.35/1186.16	c cleaning 99997 clauses out of 200012 with flag 32018388/5343891
1190.79/1191.51	c cleaning 101001 clauses out of 202014 with flag 32261645/5445890
1195.33/1196.04	c cleaning 101999 clauses out of 204013 with flag 32509825/5548890
1199.84/1200.85	c cleaning 103005 clauses out of 206015 with flag 32766699/5652891
1205.76/1206.76	c cleaning 103997 clauses out of 208008 with flag 33016693/5757889
1213.38/1214.39	c cleaning 105002 clauses out of 210013 with flag 33289812/5863891
1219.81/1220.74	c cleaning 106000 clauses out of 212009 with flag 33552135/5970889
1227.04/1227.92	c cleaning 106999 clauses out of 214010 with flag 33805439/6078890
1233.09/1234.66	c cleaning 107999 clauses out of 216010 with flag 34065702/6187889
1239.48/1241.00	c cleaning 109000 clauses out of 218012 with flag 34334913/6297890
1244.71/1246.28	c cleaning 110003 clauses out of 220011 with flag 34601721/6408889
1250.83/1252.35	c cleaning 111002 clauses out of 222008 with flag 34875224/6520889
1257.06/1258.57	c cleaning 112000 clauses out of 224009 with flag 35155260/6633892
1263.39/1265.14	c cleaning 113003 clauses out of 226007 with flag 35441538/6747890
1271.21/1272.96	c cleaning 113997 clauses out of 228003 with flag 35726344/6862889
1279.34/1281.02	c cleaning 114994 clauses out of 230007 with flag 36016916/6978890
1286.97/1288.61	c cleaning 116000 clauses out of 232012 with flag 36315913/7095889
1294.31/1296.09	c cleaning 117004 clauses out of 234013 with flag 36628410/7213890
1300.66/1302.31	c cleaning 117999 clauses out of 236008 with flag 36945500/7332889
1307.90/1309.51	c cleaning 119001 clauses out of 238010 with flag 37265708/7452890
1316.01/1317.66	c cleaning 119996 clauses out of 240008 with flag 37581600/7573889
1322.82/1325.05	c cleaning 121001 clauses out of 242013 with flag 37911021/7695890
1331.91/1334.05	c cleaning 121999 clauses out of 244011 with flag 38252668/7818889
1341.02/1343.13	c cleaning 122995 clauses out of 246012 with flag 38595252/7942889
1347.34/1349.49	c cleaning 123998 clauses out of 248017 with flag 38912694/8067889
1357.35/1359.55	c cleaning 125002 clauses out of 250022 with flag 39233875/8193892
1364.67/1366.85	c cleaning 126004 clauses out of 252017 with flag 39524559/8320889
1371.42/1373.52	c cleaning 127003 clauses out of 254013 with flag 39826887/8448889
1383.34/1385.58	c cleaning 128004 clauses out of 256011 with flag 40146713/8577890
1408.49/1410.63	c cleaning 129003 clauses out of 258011 with flag 40660689/8707894
1582.60/1585.03	c cleaning 129993 clauses out of 260003 with flag 42659715/8838889
1591.03/1593.42	c cleaning 131003 clauses out of 262012 with flag 42962590/8970891
1599.95/1602.46	c cleaning 131999 clauses out of 264009 with flag 43290453/9103891
1609.18/1611.62	c cleaning 133000 clauses out of 266008 with flag 43626172/9237889
1617.21/1619.61	c cleaning 133998 clauses out of 268008 with flag 43958482/9372889
1625.04/1627.42	c cleaning 134999 clauses out of 270010 with flag 44283649/9508889
1633.80/1636.83	c cleaning 136001 clauses out of 272012 with flag 44612310/9645890
1643.58/1646.58	c cleaning 137002 clauses out of 274012 with flag 44949846/9783891
1652.33/1655.20	c cleaning 138002 clauses out of 276009 with flag 45276886/9922890
1660.36/1663.31	c cleaning 138994 clauses out of 278006 with flag 45607474/10062889
1669.29/1672.22	c cleaning 140002 clauses out of 280012 with flag 45952444/10203889
1794.34/1797.59	c cleaning 140995 clauses out of 282010 with flag 47571773/10345889
1804.44/1807.31	c cleaning 142004 clauses out of 284015 with flag 47893837/10488889
1813.67/1816.61	c cleaning 143003 clauses out of 286012 with flag 48224343/10632890
1820.92/1823.80	c cleaning 144000 clauses out of 288008 with flag 48551419/10777889
1829.05/1831.92	c cleaning 145000 clauses out of 290010 with flag 48885811/10923891
1837.29/1840.16	c cleaning 146003 clauses out of 292008 with flag 49226887/11070889
1847.87/1850.84	c cleaning 147000 clauses out of 294005 with flag 49582444/11218889
1857.70/1860.63	c cleaning 147995 clauses out of 296008 with flag 49942904/11367892
1867.58/1870.46	c cleaning 149000 clauses out of 298011 with flag 50302946/11517890
1895.21/1898.11	c cleaning 149999 clauses out of 300011 with flag 50940266/11668890
1907.45/1910.48	c cleaning 150996 clauses out of 302012 with flag 51419447/11820890
1917.74/1920.64	c cleaning 152003 clauses out of 304015 with flag 51838851/11973889
1928.55/1931.47	c cleaning 152995 clauses out of 306012 with flag 52247854/12127889
1938.48/1941.48	c cleaning 154004 clauses out of 308017 with flag 52673100/12282889
1949.59/1952.54	c cleaning 155004 clauses out of 310014 with flag 53146709/12438890
1961.88/1964.72	c cleaning 156002 clauses out of 312009 with flag 53618485/12595889
1973.53/1978.24	c cleaning 156999 clauses out of 314009 with flag 54064180/12753891
1985.11/1989.72	c cleaning 157997 clauses out of 316009 with flag 54493038/12912890
1997.35/2002.05	c cleaning 158999 clauses out of 318012 with flag 54912900/13072890
2011.14/2015.80	c cleaning 160001 clauses out of 320012 with flag 55385249/13233889
2027.72/2032.44	c cleaning 161000 clauses out of 322012 with flag 55849954/13395890
2038.74/2043.44	c cleaning 162001 clauses out of 324011 with flag 56339634/13558889
2050.69/2055.34	c cleaning 163000 clauses out of 326010 with flag 56732945/13722889
2064.50/2069.27	c cleaning 164000 clauses out of 328010 with flag 57139699/13887889
2076.98/2081.68	c cleaning 165001 clauses out of 330011 with flag 57555875/14053890
2158.01/2162.85	c cleaning 165994 clauses out of 332009 with flag 58523892/14220889
2238.10/2243.07	c cleaning 166999 clauses out of 334015 with flag 59492015/14388889
2486.93/2492.59	c cleaning 168004 clauses out of 336017 with flag 61462342/14557890
2664.24/2670.36	c cleaning 168998 clauses out of 338014 with flag 63047131/14727891
2674.36/2680.48	c cleaning 170005 clauses out of 340016 with flag 63461547/14898891
2682.99/2689.05	c cleaning 171000 clauses out of 342010 with flag 63887963/15070890
2692.77/2698.75	c cleaning 172003 clauses out of 344009 with flag 64325639/15243889
2703.43/2710.75	c cleaning 172998 clauses out of 346006 with flag 64779928/15417889
2713.29/2720.52	c cleaning 174000 clauses out of 348008 with flag 65242705/15592889
2722.96/2730.16	c cleaning 174999 clauses out of 350009 with flag 65719712/15768890
2732.39/2739.56	c cleaning 176000 clauses out of 352010 with flag 66202001/15945890
2743.14/2750.34	c cleaning 177002 clauses out of 354011 with flag 66688710/16123891
2753.67/2760.85	c cleaning 177997 clauses out of 356007 with flag 67175242/16302889
2764.78/2772.02	c cleaning 179000 clauses out of 358012 with flag 67659348/16482891
2774.35/2781.53	c cleaning 180001 clauses out of 360012 with flag 68136951/16663891
2785.96/2793.17	c cleaning 180999 clauses out of 362009 with flag 68628404/16845889
2795.61/2802.85	c cleaning 182002 clauses out of 364010 with flag 69111317/17028889
2806.22/2813.40	c cleaning 183002 clauses out of 366008 with flag 69599822/17212889
2816.46/2823.68	c cleaning 184001 clauses out of 368006 with flag 70091339/17397889
2827.59/2834.83	c cleaning 184998 clauses out of 370005 with flag 70620341/17583889
2839.93/2847.17	c cleaning 185999 clauses out of 372007 with flag 71142402/17770889
2851.87/2859.07	c cleaning 186997 clauses out of 374008 with flag 71684827/17958889
2863.54/2870.74	c cleaning 188004 clauses out of 376013 with flag 72226458/18147891
2876.16/2883.34	c cleaning 189002 clauses out of 378008 with flag 72774325/18337890
2888.74/2895.96	c cleaning 189997 clauses out of 380006 with flag 73328822/18528890
2899.73/2906.85	c cleaning 190994 clauses out of 382008 with flag 73880358/18720889
2910.75/2917.85	c cleaning 191995 clauses out of 384015 with flag 74448452/18913890
2922.87/2930.00	c cleaning 193004 clauses out of 386019 with flag 75021507/19107889
2936.48/2943.63	c cleaning 194005 clauses out of 388017 with flag 75597117/19302891
2948.66/2955.90	c cleaning 195004 clauses out of 390010 with flag 76183730/19498889
2962.32/2969.57	c cleaning 196000 clauses out of 392007 with flag 76754593/19695890
2974.80/2982.00	c cleaning 197002 clauses out of 394007 with flag 77310982/19893890
2988.20/2995.31	c cleaning 197996 clauses out of 396005 with flag 77874789/20092890
3001.62/3008.68	c cleaning 198998 clauses out of 398008 with flag 78423779/20292889
3296.85/3304.22	c cleaning 199997 clauses out of 400010 with flag 80597811/20493889
3313.49/3320.86	c cleaning 201003 clauses out of 402016 with flag 81122792/20695892
3331.13/3338.15	c cleaning 202000 clauses out of 404010 with flag 81644674/20898889
3350.40/3358.35	c cleaning 203005 clauses out of 406011 with flag 82191287/21102890
3369.75/3377.20	c cleaning 203996 clauses out of 408005 with flag 82748710/21307889
3456.14/3463.44	c cleaning 205001 clauses out of 410009 with flag 83724930/21513889
3473.09/3479.89	c cleaning 205995 clauses out of 412009 with flag 84203012/21720890
3489.45/3495.56	c cleaning 206999 clauses out of 414014 with flag 84662175/21928890
3502.64/3508.86	c cleaning 208001 clauses out of 416014 with flag 85145951/22137889
3517.36/3522.99	c cleaning 209004 clauses out of 418013 with flag 85733063/22347889
3532.51/3537.79	c cleaning 209999 clauses out of 420009 with flag 86299862/22558889
3600.05/3605.61	c starts		: 14631
3600.05/3605.61	c conflicts		: 22765202
3600.05/3605.61	c decisions		: 26211557
3600.05/3605.61	c propagations		: 431323547
3600.05/3605.61	c inspects		: 32395946411
3600.05/3605.61	c shortcuts		: 0
3600.05/3605.61	c learnt literals	: 0
3600.05/3605.61	c learnt binary clauses	: 5
3600.05/3605.61	c learnt ternary clauses	: 126
3600.05/3605.61	c learnt constraints	: 22765202
3600.05/3605.61	c ignored constraints	: 0
3600.05/3605.61	c root simplifications	: 0
3600.05/3605.61	c removed literals (reason simplification)	: 270590309
3600.05/3605.61	c reason swapping (by a shorter reason)	: 0
3600.05/3605.61	c Calls to reduceDB	: 223
3600.05/3605.61	c Number of update (reduction) of LBD	: 1773373
3600.05/3605.61	c Imported unit clauses	: 0
3600.05/3605.61	c No decision after first conflict	: false
3600.05/3605.61	c number of reductions to clauses (during analyze)	: 0
3600.05/3605.61	c number of learned constraints concerned by reduction	: 0
3600.05/3605.61	c number of learning phase by resolution	: 0
3600.05/3605.61	c number of learning phase by cutting planes	: 0
3600.05/3605.61	c number of rounding to 1 operations	: 0
3600.05/3605.61	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3605.61	c number of reductions of the coefficients by power 2 	: 0
3600.05/3605.61	c number of right shift for reduction by power 2 	: 0
3600.05/3605.61	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3605.61	c number of ending skipping 	: 0
3600.05/3605.61	c number of internal skipping 	: 0
3600.05/3605.61	c number of derivation steps 	: 0
3600.05/3605.61	c number of skipped derivation steps 	: 0
3600.05/3605.61	c number of remaining unassigned 	: 0
3600.05/3605.61	c number of remaining assigned 	: 0
3600.05/3605.61	c number of falsified literals weakened from reason	: 0
3600.05/3605.61	c number of falsified literals weakened from conflict	: 0
3600.05/3605.61	c time for arithmetic operations	: 0
3600.05/3605.61	c minimum degree of deleted constraints	: null
3600.05/3605.61	c maximum degree of deleted constraints	: null
3600.05/3605.61	c number of deleted constraints	: 0
3600.05/3605.61	c speed (assignments/second)	: 119641.04293112042
3600.05/3605.61	c non guided choices	: 877
3600.05/3605.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 416318
3600.05/3605.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.05/3605.68	s SATISFIABLE
3600.05/3605.68	c Found 5 solution(s)
3600.05/3605.68	v -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 x433 x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 
3600.05/3605.68	c objective function=66
3600.05/3605.68	c Total wall clock time (in seconds): 3605.462

Verifier Data 

OK	66

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: 63665 MiB (62878 MiB free)
  memory of node 1: 64507 MiB (62411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486433-1751335254/watcher-4486433-1751335254 -o /tmp/evaluation-result-4486433-1751335254/solver-4486433-1751335254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43897 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486433-1751335254 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486433-1751335254.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43943, runsolver pid=43937

[startup+0.100061 s]*
/proc/loadavg: 1.01 2.90 3.68 2/274 43965
/proc/meminfo: memFree=128266544/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=18330292 memory=38936 CPUtime=0.01 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 5011 0 0 0 0 1 0 0 20 0 9 0 49205027 18770219008 9734 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4582573 9734 4154 1 0 544011 0
[pid=43943/tid=43954] ppid=43937 vsize=18330292 memory=4026532124 CPUtime=0 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 4412 0 0 0 0 0 0 0 20 0 9 0 49205034 18770219008 9734 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18330292 KiB
Current children cumulated memory: 38936 KiB

[startup+0.205767 s]*
/proc/loadavg: 1.01 2.90 3.68 7/334 44025
/proc/meminfo: memFree=128186400/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=18930384 memory=58304 CPUtime=0.16 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 6693 0 0 0 14 2 0 0 20 0 18 0 49205027 19384713216 14576 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4732596 14576 5338 1 0 547703 0
[pid=43943/tid=43954] ppid=43937 vsize=18930384 memory=3461362064260530460 CPUtime=0.09 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 5153 0 0 0 8 1 0 0 20 0 18 0 49205034 19384713216 14576 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=18930384 memory=16912 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205038 19384713216 14576 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49205038 19384713216 14576 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58304 KiB

[startup+0.30586 s]*
/proc/loadavg: 1.01 2.90 3.68 11/334 44025
/proc/meminfo: memFree=128155084/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=18930384 memory=73844 CPUtime=0.34 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 7622 0 0 0 31 3 0 0 20 0 18 0 49205027 19384713216 18461 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4732596 18461 5402 1 0 548309 0
[pid=43943/tid=43954] ppid=43937 vsize=18930384 memory=-6000919507082766699 CPUtime=0.18 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 5314 0 0 0 16 2 0 0 20 0 18 0 49205034 19384713216 18461 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205038 19384713216 18461 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49205038 19384713216 18461 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73844 KiB

[startup+0.700232 s]
/proc/loadavg: 1.01 2.90 3.68 12/337 44028
/proc/meminfo: memFree=128064068/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=18996948 memory=106080 CPUtime=0.9 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 10044 0 1 0 86 4 0 0 20 0 19 0 49205027 19452874752 26520 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4749237 26520 5498 1 0 550139 0
[pid=43943/tid=43954] ppid=43937 vsize=18996948 memory=17792 CPUtime=0.38 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 5456 0 1 0 36 2 0 0 20 0 19 0 49205034 19452874752 26520 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49205038 19452874752 26520 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=18996948 memory=5760 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 49205038 19452874752 26520 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=18996948 memory=2372 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49205074 19452874752 26520 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106080 KiB

[startup+1.50023 s]
/proc/loadavg: 1.01 2.90 3.68 7/319 44036
/proc/meminfo: memFree=127922528/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=173964 CPUtime=2.48 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 19999 0 1 0 241 7 0 0 20 0 20 0 49205027 19521036288 43491 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 43491 5530 1 0 553290 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=0 CPUtime=1.13 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 6518 0 1 0 109 4 0 0 20 0 20 0 49205034 19521036288 43491 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 43491 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 43491 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=2372 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 43491 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173964 KiB

[startup+3.10562 s]
/proc/loadavg: 1.01 2.90 3.68 4/319 44042
/proc/meminfo: memFree=127691168/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=178032 CPUtime=5.04 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 23838 0 1 0 496 8 0 0 20 0 20 0 49205027 19521036288 44508 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 44508 5530 1 0 553620 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=0 CPUtime=2.71 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 6899 0 1 0 266 5 0 0 20 0 20 0 49205034 19521036288 44508 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 44508 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=-6000919477034772843 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 44508 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 44508 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178032 KiB

[startup+6.30013 s]
/proc/loadavg: 1.17 2.90 3.68 7/342 44099
/proc/meminfo: memFree=126387348/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=330720 CPUtime=8.55 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 28472 0 1 0 842 13 0 0 20 0 20 0 49205027 19521036288 82680 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 82680 5530 1 0 553623 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=0 CPUtime=5.87 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 7382 0 1 0 579 8 0 0 20 0 20 0 49205034 19521036288 82680 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=4630105611003334006 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 82680 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=200700 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 82680 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 82680 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 330720 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 2.96 3.69 5/342 44110
/proc/meminfo: memFree=123911180/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=797676 CPUtime=14.94 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 30751 0 1 0 1470 24 0 0 20 0 20 0 49205027 19521036288 199419 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 199419 5530 1 0 553623 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=0 CPUtime=12.26 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 9089 0 1 0 1207 19 0 0 20 0 20 0 49205034 19521036288 199419 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=695276 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 199419 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 199419 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 199419 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 14.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 797676 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 3.01 3.70 5/343 44111
/proc/meminfo: memFree=122028400/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=1219608 CPUtime=27.75 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 36270 0 1 0 2740 35 0 0 20 0 20 0 49205027 19521036288 304902 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 304902 5530 1 0 553639 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=695276 CPUtime=24.98 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 10372 0 1 0 2468 30 0 0 20 0 20 0 49205034 19521036288 304902 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 304902 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=1129496 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 304902 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=-4421386517756536675 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 304902 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 27.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1219608 KiB

[startup+51.1058 s]
/proc/loadavg: 2.75 3.09 3.71 5/343 44113
/proc/meminfo: memFree=121316452/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=1311904 CPUtime=53.35 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 39474 0 1 0 5294 41 0 0 20 0 20 0 49205027 19521036288 327976 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 327976 5530 1 0 553639 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=1311904 CPUtime=50.46 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 10768 0 1 0 5010 36 0 0 20 0 20 0 49205034 19521036288 327976 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=1311904 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 327976 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=1311904 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 327976 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=1311904 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 327976 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0

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

/proc/meminfo: memFree=70264020/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=2171584 CPUtime=3215.14 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 116078 0 1 0 320872 642 0 0 20 0 20 0 49205027 19521036288 542896 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 542896 5562 1 0 557658 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=2171456 CPUtime=3190.94 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 42281 0 1 0 318541 553 0 0 20 0 20 0 49205034 19521036288 542896 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=2171584 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 542896 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=3906086737256162226 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1406 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 542896 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=2171584 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 542896 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3215.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171584 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/345 44282
/proc/meminfo: memFree=69636496/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=2171712 CPUtime=3275.01 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 116311 0 1 0 326856 645 0 0 20 0 20 0 49205027 19521036288 542928 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 542928 5562 1 0 557661 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=-6000919477034772843 CPUtime=3250.78 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 42384 0 1 0 324523 555 0 0 20 0 20 0 49205034 19521036288 542928 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=2171584 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 542928 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=2171584 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1504 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 542928 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 542928 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3275.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/345 44284
/proc/meminfo: memFree=69643636/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=1438216 CPUtime=3335.33 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 119089 0 1 0 332876 657 0 0 20 0 20 0 49205027 19521036288 359554 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 359554 5562 1 0 373922 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=5760 CPUtime=3310.23 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 43518 0 1 0 330457 566 0 0 20 0 20 0 49205034 19521036288 359554 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 359554 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=1438216 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1504 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 359554 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 359554 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3335.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1438216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/345 44287
/proc/meminfo: memFree=69495684/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=861296 CPUtime=3395.14 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 122715 0 1 0 338844 670 0 0 20 0 20 0 49205027 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 215324 5562 1 0 227762 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=14464 CPUtime=3368.61 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 45479 0 1 0 336284 577 0 0 20 0 20 0 49205034 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=861296 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=861296 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3395.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 861296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/344 44290
/proc/meminfo: memFree=69013436/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=861296 CPUtime=3455.04 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 124031 0 1 0 344831 673 0 0 20 0 20 0 49205027 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 215324 5562 1 0 227762 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=14464 CPUtime=3428.39 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 46378 0 1 0 342261 578 0 0 20 0 20 0 49205034 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=861296 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=861296 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1613 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 215324 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3455.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 861296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/346 44296
/proc/meminfo: memFree=67759972/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=1023012 CPUtime=3516.76 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 128593 0 1 0 350980 696 0 0 20 0 20 0 49205027 19521036288 255753 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 255753 5562 1 0 268292 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=861296 CPUtime=3487.19 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 49052 0 1 0 348121 598 0 0 20 0 20 0 49205034 19521036288 255753 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=861296 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 255753 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 255753 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 255753 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3516.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1023012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.22 4.13 5/346 44298
/proc/meminfo: memFree=66850812/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=948248 CPUtime=3576.8 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 128660 0 1 0 356973 707 0 0 20 0 20 0 49205027 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 237062 5562 1 0 249502 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=948248 CPUtime=3546.21 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 49061 0 1 0 354014 607 0 0 20 0 20 0 49205034 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=-6000919477034772843 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=948248 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=948248 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3576.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 948248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.6 s]
/proc/loadavg: 4.28 4.22 4.13 5/346 44365
/proc/meminfo: memFree=92272268/131249996 swapFree=33010416/33010684
[pid=43943] ppid=43937 vsize=19063512 memory=948248 CPUtime=3600.05 cores=0,2
/proc/43943/stat : 43943 (java) S 43937 43943 43887 0 -1 4194304 128681 0 1 0 359297 708 0 0 20 0 20 0 49205027 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
/proc/43943/statm: 4765878 237062 5562 1 0 249502 0
[pid=43943/tid=43954] ppid=43937 vsize=19063512 memory=-6000919477034772843 CPUtime=3569.44 cores=0,2
/proc/43943/task/43954/stat : 43954 (java) R 43937 43943 43887 0 -1 4194368 49063 0 1 0 356336 608 0 0 20 0 20 0 49205034 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43967] ppid=43937 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/43943/task/43967/stat : 43967 (Finalizer) S 43937 43943 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=43974] ppid=43937 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/43943/task/43974/stat : 43974 (Common-Cleaner) S 43937 43943 43887 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 49205038 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
[pid=43943/tid=44027] ppid=43937 vsize=19063512 memory=2372 CPUtime=0 cores=0,2
/proc/43943/task/44027/stat : 44027 (Timer-0) S 43937 43943 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 237062 18446744073709551615 94639249612800 94639249616496 140733135920656 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94639249624312 94639249625104 94639270227968 140733135927600 140733135927782 140733135927782 140733135933384 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 948248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.13 s, system=7.09166 s

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

Child status: 143

Real time (s): 3605.69
CPU time (s): 3600.22
CPU user time (s): 3593.13
CPU system time (s): 7.09166
CPU usage (%): 99.8482
Max. virtual memory (cumulated for all children) (KiB): 19066864
Max. memory (cumulated for all children) (KiB): 2171712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.13
system time used= 7.09166
maximum resident set size= 2171712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130117
page faults= 1
swaps= 0
block input operations= 16
block output operations= 12927960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124189
involuntary context switches= 12495


# summary of solver processes directly reported to runsolver:
#   pid: 43943
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3593.13
#   total CPU system time (s): 7.09166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39023 second user time and 17.325 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 04:00:54
IDJOB=4486433
IDBENCH=147020
IDSOLVER=3364
FILE ID=nodeC030/4486433-1751335254
RUNJOBID= nodeC030-1751335254-43897
SLURM_JOB_ID= 9594379
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486433-1751335254/watcher-4486433-1751335254 -o /tmp/evaluation-result-4486433-1751335254/solver-4486433-1751335254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43897 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486433-1751335254 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486433-1751335254.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=1410440870

nodeC030 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		: 3590.227
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	: 7000.62
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		: 1563.641
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128297400 kB
MemAvailable:   129772772 kB
Buffers:            2564 kB
Cached:          2269572 kB
SwapCached:           16 kB
Active:           413420 kB
Inactive:        1918864 kB
Active(anon):      73548 kB
Inactive(anon):     4660 kB
Active(file):     339872 kB
Inactive(file):  1914204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4188 kB
Writeback:             0 kB
AnonPages:         63412 kB
Mapped:           103176 kB
Shmem:             18048 kB
KReclaimable:     120672 kB
Slab:             207748 kB
SReclaimable:     120672 kB
SUnreclaim:        87076 kB
KernelStack:        4112 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC030 at 2025-07-01 05:01:00