Trace number 4486432

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 2025-06-06SAT (TO)66 3600.3 3602.03

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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.12	c os.arch		amd64
0.09/0.12	c Free memory 		2104792832
0.09/0.12	c Max memory 		16282288128
0.09/0.12	c Total memory 		2113929216
0.09/0.12	c Number of processors 	2
0.09/0.16	c Pseudo Boolean Optimization by upper bound
0.09/0.16	c --- Begin Solver configuration ---
0.09/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.16	c Learn all clauses as in MiniSAT
0.09/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.16	c Expensive reason simplification
0.09/0.16	c Glucose 2.1 dynamic restart strategy
0.09/0.16	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.09/0.16	c timeout=2147483s
0.09/0.16	c DB Simplification allowed=false
0.09/0.16	c Listener: none
0.09/0.16	c --- End Solver configuration ---
0.09/0.16	c solving HOME/instance-4486432-1751315455.opb
0.09/0.16	c reading problem ... 
0.09/0.16	c  objective function found
0.26/0.27	c ... done. Wall clock time 0.112s.
0.26/0.27	c declared #vars     540
0.26/0.27	c #constraints  4626
0.26/0.27	c constraints type 
0.26/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.26/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.26/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.26/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.26/0.28	c 4626 constraints processed.
0.26/0.29	c objective function length is 180 literals
0.45/0.36	c SATISFIABLE
0.45/0.36	c OPTIMIZING...
0.45/0.36	c Got one! Elapsed wall clock time (in seconds):0.206
0.45/0.36	o 78
0.65/0.42	c Got one! Elapsed wall clock time (in seconds):0.263
0.65/0.42	o 76
0.65/0.47	c Got one! Elapsed wall clock time (in seconds):0.31
0.65/0.47	o 74
0.84/0.57	c Got one! Elapsed wall clock time (in seconds):0.412
0.84/0.57	o 68
1.61/1.03	c cleaning 3524 clauses out of 7053 with flag 30822/7053
2.54/1.68	c cleaning 4760 clauses out of 9529 with flag 80249/13053
3.35/2.44	c cleaning 5878 clauses out of 11769 with flag 147681/20053
4.35/3.45	c cleaning 6941 clauses out of 13894 with flag 245093/28056
5.55/4.56	c cleaning 7969 clauses out of 15951 with flag 346858/37054
6.85/5.88	c cleaning 8989 clauses out of 17982 with flag 468552/47054
8.45/7.47	c cleaning 9989 clauses out of 19992 with flag 612695/58053
10.25/9.26	c cleaning 10993 clauses out of 22003 with flag 781196/70053
12.34/11.34	c cleaning 12001 clauses out of 24012 with flag 976530/83055
14.64/13.67	c cleaning 12993 clauses out of 26009 with flag 1190558/97053
17.24/16.22	c cleaning 14000 clauses out of 28017 with flag 1419181/112054
19.94/19.00	c cleaning 15001 clauses out of 30016 with flag 1676061/128053
23.16/22.12	c cleaning 16001 clauses out of 32016 with flag 1955118/145054
26.58/25.50	c cleaning 17002 clauses out of 34016 with flag 2255310/163055
30.87/29.83	c cleaning 18004 clauses out of 36012 with flag 2658712/182053
35.26/34.23	c cleaning 18997 clauses out of 38008 with flag 3022702/202053
35.56/34.59	c Got one! Elapsed wall clock time (in seconds):34.428
35.56/34.59	o 66
36.57/35.51	c cleaning 12415 clauses out of 24848 with flag 81167/207890
37.47/36.47	c cleaning 9201 clauses out of 18433 with flag 191765/213890
38.56/37.51	c cleaning 8103 clauses out of 16231 with flag 307557/220889
39.72/38.60	c cleaning 8051 clauses out of 16128 with flag 431184/228889
40.91/39.82	c cleaning 8535 clauses out of 17078 with flag 563405/237890
42.31/41.22	c cleaning 9267 clauses out of 18543 with flag 717254/247890
43.92/42.87	c cleaning 10129 clauses out of 20276 with flag 894764/258890
45.81/44.79	c cleaning 11062 clauses out of 22146 with flag 1091904/270889
47.91/46.90	c cleaning 12035 clauses out of 24084 with flag 1307849/283889
50.11/49.02	c cleaning 13022 clauses out of 26049 with flag 1528176/297889
50.41/49.39	c cleaning 14010 clauses out of 28028 with flag 1559571/312890
50.81/49.74	c cleaning 15007 clauses out of 30018 with flag 1595615/328890
51.22/50.18	c cleaning 16003 clauses out of 32011 with flag 1637643/345890
51.71/50.65	c cleaning 16997 clauses out of 34007 with flag 1680904/363889
52.22/51.14	c cleaning 18005 clauses out of 36010 with flag 1731353/382889
52.71/51.69	c cleaning 18996 clauses out of 38005 with flag 1786541/402889
53.41/52.34	c cleaning 20005 clauses out of 40009 with flag 1842140/423889
54.12/53.06	c cleaning 20999 clauses out of 42005 with flag 1900571/445890
54.91/53.81	c cleaning 21998 clauses out of 44006 with flag 1960188/468890
55.61/54.57	c cleaning 23000 clauses out of 46008 with flag 2021734/492890
56.41/55.38	c cleaning 24004 clauses out of 48009 with flag 2084965/517891
57.32/56.25	c cleaning 25001 clauses out of 50005 with flag 2156764/543891
58.31/57.25	c cleaning 25996 clauses out of 52002 with flag 2229889/570889
59.51/58.41	c cleaning 27001 clauses out of 54007 with flag 2307481/598890
60.51/59.49	c cleaning 27999 clauses out of 56005 with flag 2382794/627889
61.71/60.66	c cleaning 29002 clauses out of 58007 with flag 2462087/657890
62.80/61.75	c cleaning 29997 clauses out of 60004 with flag 2544915/688889
63.90/62.85	c cleaning 31001 clauses out of 62007 with flag 2630750/720889
65.00/63.94	c cleaning 32004 clauses out of 64007 with flag 2718235/753890
66.30/65.20	c cleaning 32997 clauses out of 66002 with flag 2810003/787889
67.70/66.66	c cleaning 34003 clauses out of 68005 with flag 2903073/822889
69.20/68.11	c cleaning 35001 clauses out of 70003 with flag 3001368/858890
70.59/69.54	c cleaning 35995 clauses out of 72001 with flag 3103764/895889
72.29/71.21	c cleaning 36996 clauses out of 74006 with flag 3204991/933889
73.71/72.64	c cleaning 37996 clauses out of 76010 with flag 3304146/972889
75.40/74.38	c cleaning 39001 clauses out of 78015 with flag 3408806/1012890
77.30/76.28	c cleaning 40003 clauses out of 80013 with flag 3532283/1053889
78.79/77.70	c cleaning 41004 clauses out of 82011 with flag 3642486/1095890
88.99/87.84	c cleaning 42000 clauses out of 84008 with flag 4283447/1138891
92.82/91.68	c cleaning 42998 clauses out of 86008 with flag 4537935/1182891
98.61/97.42	c cleaning 44002 clauses out of 88009 with flag 4847426/1227890
115.52/114.39	c cleaning 44997 clauses out of 90006 with flag 5625911/1273889
137.45/136.39	c cleaning 45994 clauses out of 92009 with flag 6491394/1320889
157.85/156.72	c cleaning 47004 clauses out of 94018 with flag 7381146/1368892
184.38/183.32	c cleaning 48001 clauses out of 96012 with flag 8347931/1417890
210.26/209.21	c cleaning 49001 clauses out of 98012 with flag 9331544/1467891
211.85/210.88	c cleaning 50002 clauses out of 100010 with flag 9456198/1518890
213.65/212.61	c cleaning 50998 clauses out of 102011 with flag 9578796/1570893
215.45/214.42	c cleaning 51995 clauses out of 104010 with flag 9705407/1623890
217.18/216.13	c cleaning 53006 clauses out of 106014 with flag 9839787/1677889
219.27/218.20	c cleaning 53998 clauses out of 108009 with flag 9978053/1732890
221.76/220.70	c cleaning 55001 clauses out of 110012 with flag 10128296/1788891
223.86/222.81	c cleaning 56000 clauses out of 112009 with flag 10280666/1845889
239.36/238.35	c cleaning 57004 clauses out of 114009 with flag 10931481/1903889
275.58/274.66	c cleaning 58002 clauses out of 116005 with flag 12092807/1962889
281.70/280.70	c cleaning 58996 clauses out of 118003 with flag 12393583/2022889
283.49/282.55	c cleaning 60000 clauses out of 120007 with flag 12543487/2083889
285.69/284.79	c cleaning 61000 clauses out of 122007 with flag 12683054/2145889
288.28/287.33	c cleaning 62002 clauses out of 124008 with flag 12831367/2208890
290.52/289.54	c cleaning 63000 clauses out of 126005 with flag 12980560/2272889
293.60/291.90	c cleaning 64000 clauses out of 128005 with flag 13131938/2337889
295.90/294.21	c cleaning 64997 clauses out of 130005 with flag 13289320/2403889
304.68/303.07	c cleaning 66001 clauses out of 132008 with flag 13643330/2470889
353.72/352.15	c cleaning 67000 clauses out of 134007 with flag 14944367/2538889
356.41/354.84	c cleaning 67993 clauses out of 136008 with flag 15094285/2607890
359.10/357.57	c cleaning 69003 clauses out of 138014 with flag 15246552/2677889
362.40/360.83	c cleaning 69997 clauses out of 140011 with flag 15410503/2748889
365.55/363.98	c cleaning 71004 clauses out of 142016 with flag 15565633/2820891
369.44/367.84	c cleaning 72005 clauses out of 144010 with flag 15727169/2893889
373.13/371.59	c cleaning 72998 clauses out of 146005 with flag 15889714/2967889
376.63/375.07	c cleaning 74000 clauses out of 148007 with flag 16057980/3042889
380.32/378.76	c cleaning 74992 clauses out of 150008 with flag 16230765/3118890
383.57/381.98	c cleaning 76007 clauses out of 152017 with flag 16399960/3195891
399.22/397.66	c cleaning 76996 clauses out of 154008 with flag 16929094/3273889
401.92/400.38	c cleaning 77996 clauses out of 156012 with flag 17107734/3352889
405.61/404.01	c cleaning 79008 clauses out of 158016 with flag 17295911/3432889
408.70/407.13	c cleaning 80000 clauses out of 160008 with flag 17486152/3513889
447.94/446.41	c cleaning 80999 clauses out of 162008 with flag 18426520/3595889
457.22/455.76	c cleaning 81996 clauses out of 164010 with flag 18784529/3678890
460.11/458.69	c cleaning 83001 clauses out of 166013 with flag 18993029/3762889
463.40/461.91	c cleaning 83999 clauses out of 168012 with flag 19185538/3847889
466.70/465.24	c cleaning 85003 clauses out of 170016 with flag 19382084/3933892
500.07/498.66	c cleaning 86000 clauses out of 172010 with flag 20188992/4020889
596.17/594.90	c cleaning 87003 clauses out of 174011 with flag 21907820/4108890
621.82/620.63	c cleaning 87999 clauses out of 176008 with flag 22609489/4197890
658.35/657.10	c cleaning 88999 clauses out of 178008 with flag 23411696/4287889
760.28/759.32	c cleaning 90002 clauses out of 180012 with flag 25157017/4378892
876.28/875.68	c cleaning 91002 clauses out of 182007 with flag 26985240/4470889
998.28/997.83	c cleaning 91999 clauses out of 184006 with flag 28805897/4563890
1064.11/1063.87	c cleaning 92997 clauses out of 186007 with flag 29982638/4657890
1068.80/1068.54	c cleaning 94003 clauses out of 188009 with flag 30189403/4752889
1073.49/1073.22	c cleaning 94997 clauses out of 190007 with flag 30407832/4848890
1078.47/1078.27	c cleaning 95995 clauses out of 192010 with flag 30630600/4945890
1082.76/1082.55	c cleaning 97007 clauses out of 194015 with flag 30851282/5043890
1087.36/1087.15	c cleaning 97999 clauses out of 196007 with flag 31076682/5142889
1102.71/1102.58	c cleaning 98998 clauses out of 198008 with flag 31467512/5242889
1126.75/1126.60	c cleaning 99997 clauses out of 200012 with flag 32018388/5343891
1131.14/1131.08	c cleaning 101001 clauses out of 202014 with flag 32261645/5445890
1135.03/1134.95	c cleaning 101999 clauses out of 204013 with flag 32509825/5548890
1139.48/1138.97	c cleaning 103005 clauses out of 206015 with flag 32766699/5652891
1144.67/1144.14	c cleaning 103997 clauses out of 208008 with flag 33016693/5757889
1151.26/1150.78	c cleaning 105002 clauses out of 210013 with flag 33289812/5863891
1156.85/1156.35	c cleaning 106000 clauses out of 212009 with flag 33552135/5970889
1163.23/1162.72	c cleaning 106999 clauses out of 214010 with flag 33805439/6078890
1168.42/1167.98	c cleaning 107999 clauses out of 216010 with flag 34065702/6187889
1173.91/1173.47	c cleaning 109000 clauses out of 218012 with flag 34334913/6297890
1178.57/1178.04	c cleaning 110003 clauses out of 220011 with flag 34601721/6408889
1183.75/1183.28	c cleaning 111002 clauses out of 222008 with flag 34875224/6520889
1189.24/1188.72	c cleaning 112000 clauses out of 224009 with flag 35155260/6633892
1194.63/1194.14	c cleaning 113003 clauses out of 226007 with flag 35441538/6747890
1201.52/1201.06	c cleaning 113997 clauses out of 228003 with flag 35726344/6862889
1208.71/1208.27	c cleaning 114994 clauses out of 230007 with flag 36016916/6978890
1215.39/1214.96	c cleaning 116000 clauses out of 232012 with flag 36315913/7095889
1221.77/1221.38	c cleaning 117004 clauses out of 234013 with flag 36628410/7213890
1227.34/1226.81	c cleaning 117999 clauses out of 236008 with flag 36945500/7332889
1233.53/1233.08	c cleaning 119001 clauses out of 238010 with flag 37265708/7452890
1240.91/1240.46	c cleaning 119996 clauses out of 240008 with flag 37581600/7573889
1246.80/1246.30	c cleaning 121001 clauses out of 242013 with flag 37911021/7695890
1254.59/1254.19	c cleaning 121999 clauses out of 244011 with flag 38252668/7818889
1262.87/1262.40	c cleaning 122995 clauses out of 246012 with flag 38595252/7942889
1268.16/1267.74	c cleaning 123998 clauses out of 248017 with flag 38912694/8067889
1276.75/1276.39	c cleaning 125002 clauses out of 250022 with flag 39233875/8193892
1283.20/1282.78	c cleaning 126004 clauses out of 252017 with flag 39524559/8320889
1288.98/1288.51	c cleaning 127003 clauses out of 254013 with flag 39826887/8448889
1299.47/1299.05	c cleaning 128004 clauses out of 256011 with flag 40146713/8577890
1323.11/1322.73	c cleaning 129003 clauses out of 258011 with flag 40660689/8707894
1491.87/1491.88	c cleaning 129993 clauses out of 260003 with flag 42659715/8838889
1499.17/1499.11	c cleaning 131003 clauses out of 262012 with flag 42962590/8970891
1507.36/1507.23	c cleaning 131999 clauses out of 264009 with flag 43290453/9103891
1515.54/1515.43	c cleaning 133000 clauses out of 266008 with flag 43626172/9237889
1522.43/1522.38	c cleaning 133998 clauses out of 268008 with flag 43958482/9372889
1529.12/1529.08	c cleaning 134999 clauses out of 270010 with flag 44283649/9508889
1536.70/1536.67	c cleaning 136001 clauses out of 272012 with flag 44612310/9645890
1545.38/1545.33	c cleaning 137002 clauses out of 274012 with flag 44949846/9783891
1552.57/1552.54	c cleaning 138002 clauses out of 276009 with flag 45276886/9922890
1559.56/1559.49	c cleaning 138994 clauses out of 278006 with flag 45607474/10062889
1567.44/1567.32	c cleaning 140002 clauses out of 280012 with flag 45952444/10203889
1686.90/1687.04	c cleaning 140995 clauses out of 282010 with flag 47571773/10345889
1695.52/1695.53	c cleaning 142004 clauses out of 284015 with flag 47893837/10488889
1703.20/1703.20	c cleaning 143003 clauses out of 286012 with flag 48224343/10632890
1709.19/1709.28	c cleaning 144000 clauses out of 288008 with flag 48551419/10777889
1716.38/1716.42	c cleaning 145000 clauses out of 290010 with flag 48885811/10923891
1723.37/1723.49	c cleaning 146003 clauses out of 292008 with flag 49226887/11070889
1732.96/1732.99	c cleaning 147000 clauses out of 294005 with flag 49582444/11218889
1741.64/1741.61	c cleaning 147995 clauses out of 296008 with flag 49942904/11367892
1750.13/1750.14	c cleaning 149000 clauses out of 298011 with flag 50302946/11517890
1775.98/1776.05	c cleaning 149999 clauses out of 300011 with flag 50940266/11668890
1787.35/1787.41	c cleaning 150996 clauses out of 302012 with flag 51419447/11820890
1796.13/1796.23	c cleaning 152003 clauses out of 304015 with flag 51838851/11973889
1805.71/1805.81	c cleaning 152995 clauses out of 306012 with flag 52247854/12127889
1814.40/1814.50	c cleaning 154004 clauses out of 308017 with flag 52673100/12282889
1824.27/1824.40	c cleaning 155004 clauses out of 310014 with flag 53146709/12438890
1835.46/1835.51	c cleaning 156002 clauses out of 312009 with flag 53618485/12595889
1845.64/1845.77	c cleaning 156999 clauses out of 314009 with flag 54064180/12753891
1855.72/1855.88	c cleaning 157997 clauses out of 316009 with flag 54493038/12912890
1866.40/1866.53	c cleaning 158999 clauses out of 318012 with flag 54912900/13072890
1878.87/1879.04	c cleaning 160001 clauses out of 320012 with flag 55385249/13233889
1893.85/1894.04	c cleaning 161000 clauses out of 322012 with flag 55849954/13395890
1904.25/1903.99	c cleaning 162001 clauses out of 324011 with flag 56339634/13558889
1914.53/1914.22	c cleaning 163000 clauses out of 326010 with flag 56732945/13722889
1927.10/1926.86	c cleaning 164000 clauses out of 328010 with flag 57139699/13887889
1937.98/1937.77	c cleaning 165001 clauses out of 330011 with flag 57555875/14053890
2015.52/2015.43	c cleaning 165994 clauses out of 332009 with flag 58523892/14220889
2092.08/2092.13	c cleaning 166999 clauses out of 334015 with flag 59492015/14388889
2334.88/2335.43	c cleaning 168004 clauses out of 336017 with flag 61462342/14557890
2507.64/2508.63	c cleaning 168998 clauses out of 338014 with flag 63047131/14727891
2516.22/2517.27	c cleaning 170005 clauses out of 340016 with flag 63461547/14898891
2523.51/2524.57	c cleaning 171000 clauses out of 342010 with flag 63887963/15070890
2531.78/2532.84	c cleaning 172003 clauses out of 344009 with flag 64325639/15243889
2540.97/2542.04	c cleaning 172998 clauses out of 346006 with flag 64779928/15417889
2549.24/2550.33	c cleaning 174000 clauses out of 348008 with flag 65242705/15592889
2557.53/2558.66	c cleaning 174999 clauses out of 350009 with flag 65719712/15768890
2565.75/2566.78	c cleaning 176000 clauses out of 352010 with flag 66202001/15945890
2574.93/2576.00	c cleaning 177002 clauses out of 354011 with flag 66688710/16123891
2584.01/2585.06	c cleaning 177997 clauses out of 356007 with flag 67175242/16302889
2593.78/2594.82	c cleaning 179000 clauses out of 358012 with flag 67659348/16482891
2601.77/2602.84	c cleaning 180001 clauses out of 360012 with flag 68136951/16663891
2611.95/2613.05	c cleaning 180999 clauses out of 362009 with flag 68628404/16845889
2620.13/2621.26	c cleaning 182002 clauses out of 364010 with flag 69111317/17028889
2629.42/2630.40	c cleaning 183002 clauses out of 366008 with flag 69599822/17212889
2638.10/2639.17	c cleaning 184001 clauses out of 368006 with flag 70091339/17397889
2647.49/2648.57	c cleaning 184998 clauses out of 370005 with flag 70620341/17583889
2658.46/2659.51	c cleaning 185999 clauses out of 372007 with flag 71142402/17770889
2668.74/2669.85	c cleaning 186997 clauses out of 374008 with flag 71684827/17958889
2678.92/2680.01	c cleaning 188004 clauses out of 376013 with flag 72226458/18147891
2689.99/2691.12	c cleaning 189002 clauses out of 378008 with flag 72774325/18337890
2700.66/2701.89	c cleaning 189997 clauses out of 380006 with flag 73328822/18528890
2710.48/2711.50	c cleaning 190994 clauses out of 382008 with flag 73880358/18720889
2719.86/2720.97	c cleaning 191995 clauses out of 384015 with flag 74448452/18913890
2730.33/2731.47	c cleaning 193004 clauses out of 386019 with flag 75021507/19107889
2742.41/2743.54	c cleaning 194005 clauses out of 388017 with flag 75597117/19302891
2753.00/2754.13	c cleaning 195004 clauses out of 390010 with flag 76183730/19498889
2764.97/2766.18	c cleaning 196000 clauses out of 392007 with flag 76754593/19695890
2775.74/2776.95	c cleaning 197002 clauses out of 394007 with flag 77310982/19893890
2787.42/2788.56	c cleaning 197996 clauses out of 396005 with flag 77874789/20092890
2799.00/2800.19	c cleaning 198998 clauses out of 398008 with flag 78423779/20292889
3085.12/3086.86	c cleaning 199997 clauses out of 400010 with flag 80597811/20493889
3100.19/3101.92	c cleaning 201003 clauses out of 402016 with flag 81122792/20695892
3115.16/3116.96	c cleaning 202000 clauses out of 404010 with flag 81644674/20898889
3133.79/3134.80	c cleaning 203005 clauses out of 406011 with flag 82191287/21102890
3150.65/3151.73	c cleaning 203996 clauses out of 408005 with flag 82748710/21307889
3233.38/3234.60	c cleaning 205001 clauses out of 410009 with flag 83724930/21513889
3247.86/3249.18	c cleaning 205995 clauses out of 412009 with flag 84203012/21720890
3261.62/3262.95	c cleaning 206999 clauses out of 414014 with flag 84662175/21928890
3273.00/3274.25	c cleaning 208001 clauses out of 416014 with flag 85145951/22137889
3285.37/3286.60	c cleaning 209004 clauses out of 418013 with flag 85733063/22347889
3298.14/3299.45	c cleaning 209999 clauses out of 420009 with flag 86299862/22558889
3381.08/3382.52	c cleaning 211001 clauses out of 422010 with flag 87195086/22770889
3600.04/3601.91	c starts		: 15321
3600.04/3601.93	c conflicts		: 22900751
3600.04/3601.93	c decisions		: 26428384
3600.04/3601.93	c propagations		: 436915323
3600.04/3601.93	c inspects		: 34419554980
3600.04/3601.93	c shortcuts		: 0
3600.04/3601.93	c learnt literals	: 0
3600.04/3601.93	c learnt binary clauses	: 5
3600.04/3601.93	c learnt ternary clauses	: 130
3600.04/3601.93	c learnt constraints	: 22900751
3600.04/3601.93	c ignored constraints	: 0
3600.04/3601.93	c root simplifications	: 0
3600.04/3601.93	c removed literals (reason simplification)	: 273348743
3600.04/3601.93	c reason swapping (by a shorter reason)	: 0
3600.04/3601.94	c Calls to reduceDB	: 224
3600.04/3601.94	c Number of update (reduction) of LBD	: 1804587
3600.04/3601.94	c Imported unit clauses	: 0
3600.04/3601.94	c No decision after first conflict	: false
3600.04/3601.94	c number of reductions to clauses (during analyze)	: 0
3600.04/3601.94	c number of learned constraints concerned by reduction	: 0
3600.04/3601.94	c number of learning phase by resolution	: 0
3600.04/3601.94	c number of learning phase by cutting planes	: 0
3600.04/3601.94	c number of rounding to 1 operations	: 0
3600.04/3601.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3601.94	c number of reductions of the coefficients by power 2 	: 0
3600.04/3601.94	c number of right shift for reduction by power 2 	: 0
3600.04/3601.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3601.94	c number of ending skipping 	: 0
3600.04/3601.94	c number of internal skipping 	: 0
3600.04/3601.94	c number of derivation steps 	: 0
3600.04/3601.94	c number of skipped derivation steps 	: 0
3600.04/3601.94	c number of remaining unassigned 	: 0
3600.04/3601.94	c number of remaining assigned 	: 0
3600.04/3601.94	c number of falsified literals weakened from reason	: 0
3600.04/3601.94	c number of falsified literals weakened from conflict	: 0
3600.04/3601.94	c time for arithmetic operations	: 0
3600.04/3601.95	c minimum degree of deleted constraints	: null
3600.04/3601.95	c maximum degree of deleted constraints	: null
3600.04/3601.95	c number of deleted constraints	: 0
3600.04/3601.95	c speed (assignments/second)	: 121309.63246330713
3600.04/3601.95	c non guided choices	: 903
3600.26/3602.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 340866
3600.26/3602.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.26/3602.01	s SATISFIABLE
3600.26/3602.01	c Found 5 solution(s)
3600.26/3602.02	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.26/3602.02	c objective function=66
3600.26/3602.02	c Total wall clock time (in seconds): 3601.861

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486432-1751315455/watcher-4486432-1751315455 -o /tmp/evaluation-result-4486432-1751315455/solver-4486432-1751315455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42175 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4486432-1751315455.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42226, runsolver pid=42210

[startup+0.100058 s]*
/proc/loadavg: 0.92 1.53 2.19 11/332 42300
/proc/meminfo: memFree=129377428/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18930384 memory=53656 CPUtime=0.09 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 6069 0 0 0 7 2 0 0 20 0 18 0 47223035 19384713216 13414 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4732596 13414 5339 1 0 547220 0
[pid=42226/tid=42231] ppid=42210 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 4950 0 0 0 4 1 0 0 20 0 18 0 47223037 19384713216 13414 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47223039 19384713216 13414 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47223040 19384713216 13414 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53656 KiB

[startup+0.205672 s]*
/proc/loadavg: 0.92 1.53 2.19 16/332 42300
/proc/meminfo: memFree=129346300/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18930384 memory=65300 CPUtime=0.26 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 6838 0 0 0 24 2 0 0 20 0 18 0 47223035 19384713216 16325 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4732596 16325 5435 1 0 547913 0
[pid=42226/tid=42231] ppid=42210 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 5277 0 0 0 13 1 0 0 20 0 18 0 47223037 19384713216 16325 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47223039 19384713216 16325 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47223040 19384713216 16325 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65300 KiB

[startup+0.30589 s]*
/proc/loadavg: 0.92 1.53 2.19 15/335 42303
/proc/meminfo: memFree=129267472/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18996948 memory=84404 CPUtime=0.45 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 8447 0 0 0 42 3 0 0 20 0 19 0 47223035 19452874752 21101 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4749237 21101 5467 1 0 549365 0
[pid=42226/tid=42231] ppid=42210 vsize=18996948 memory=-6000919472757041771 CPUtime=0.21 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 5400 0 0 0 19 2 0 0 20 0 19 0 47223037 19452874752 21101 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 21101 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 21101 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (java) R 42210 42226 42162 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 47223064 19452874752 21101 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84404 KiB

[startup+0.700226 s]
/proc/loadavg: 0.92 1.53 2.19 9/316 42306
/proc/meminfo: memFree=129209788/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18996948 memory=93908 CPUtime=1.22 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 10651 0 0 0 118 4 0 0 20 0 19 0 47223035 19452874752 23477 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4749237 23477 5467 1 0 550598 0
[pid=42226/tid=42231] ppid=42210 vsize=18996948 memory=18176 CPUtime=0.57 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 5424 0 0 0 55 2 0 0 20 0 19 0 47223037 19452874752 23477 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 23477 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 23477 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223064 19452874752 23477 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93908 KiB

[startup+1.50024 s]
/proc/loadavg: 0.92 1.53 2.19 6/315 42315
/proc/meminfo: memFree=129169384/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18996948 memory=103776 CPUtime=2.44 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 15639 0 0 0 239 5 0 0 20 0 19 0 47223035 19452874752 25944 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4749237 25944 5467 1 0 550959 0
[pid=42226/tid=42231] ppid=42210 vsize=18996948 memory=10752 CPUtime=1.37 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 5615 0 0 0 135 2 0 0 20 0 19 0 47223037 19452874752 25944 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 25944 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 25944 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223064 19452874752 25944 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103776 KiB

[startup+3.10557 s]
/proc/loadavg: 0.92 1.53 2.19 8/337 42370
/proc/meminfo: memFree=129086188/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18996948 memory=114016 CPUtime=4.05 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 16156 0 0 0 400 5 0 0 20 0 19 0 47223035 19452874752 28504 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4749237 28504 5467 1 0 550960 0
[pid=42226/tid=42231] ppid=42210 vsize=18996948 memory=-6000919507133557355 CPUtime=2.97 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 6055 0 0 0 295 2 0 0 20 0 19 0 47223037 19452874752 28504 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 28504 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 28504 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223064 19452874752 28504 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114016 KiB

[startup+6.30017 s]
/proc/loadavg: 1.17 1.57 2.20 6/337 42370
/proc/meminfo: memFree=129012708/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=18996948 memory=134624 CPUtime=7.35 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 19859 0 0 0 729 6 0 0 20 0 19 0 47223035 19452874752 33656 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4749237 33656 5467 1 0 550960 0
[pid=42226/tid=42231] ppid=42210 vsize=18996948 memory=10752 CPUtime=6.16 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 6688 0 0 0 613 3 0 0 20 0 19 0 47223037 19452874752 33656 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 33656 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 33656 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=18996948 memory=103776 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223064 19452874752 33656 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134624 KiB

[startup+12.7002 s]
/proc/loadavg: 1.39 1.61 2.21 6/339 42372
/proc/meminfo: memFree=128907568/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=170068 CPUtime=13.74 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 22219 0 0 0 1367 7 0 0 20 0 20 0 47223035 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 42517 5531 1 0 551265 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=103776 CPUtime=12.53 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 7341 0 0 0 1250 3 0 0 20 0 20 0 47223037 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=155104 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=161248 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 13.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170068 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 1.74 2.24 6/340 42374
/proc/meminfo: memFree=128821664/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=170068 CPUtime=26.58 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 25125 0 0 0 2650 8 0 0 20 0 20 0 47223035 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 42517 5531 1 0 551265 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=161248 CPUtime=25.3 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 8195 0 0 0 2527 3 0 0 20 0 20 0 47223037 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=-6000919472723421803 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 42517 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170068 KiB

[startup+51.1055 s]
/proc/loadavg: 2.71 1.93 2.29 6/340 42374
/proc/meminfo: memFree=128604736/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=189052 CPUtime=52.22 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 27838 0 0 0 5213 9 0 0 20 0 20 0 47223035 19521036288 47263 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 47263 5563 1 0 551334 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=14848 CPUtime=50.81 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 8502 0 0 0 5078 3 0 0 20 0 20 0 47223037 19521036288 47263 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=18176 CPUtime=0 cores=5,7

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

/proc/meminfo: memFree=121691060/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3281.08 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 88072 0 0 0 328000 108 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557574 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3271.05 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 32764 0 0 0 327094 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3281.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/340 42550
/proc/meminfo: memFree=121691648/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3340.95 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 88214 0 0 0 333987 108 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557574 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3330.91 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 32902 0 0 0 333080 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3340.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/340 42554
/proc/meminfo: memFree=121691280/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3400.84 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 88834 0 0 0 339974 110 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557574 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3390.77 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 33491 0 0 0 339066 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3400.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/339 42556
/proc/meminfo: memFree=121691624/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3460.73 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 89503 0 0 0 345962 111 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557578 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3450.63 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 34082 0 0 0 345052 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1284 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=18176 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3460.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/339 42563
/proc/meminfo: memFree=121691308/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3520.6 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 89540 0 0 0 351949 111 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557582 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3510.49 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 34102 0 0 0 351038 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=18176 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3520.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.03 6/339 42564
/proc/meminfo: memFree=121691300/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3580.48 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 89661 0 0 0 357936 112 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557586 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3570.35 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 34218 0 0 0 357024 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=2184668 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3580.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.9 s]
/proc/loadavg: 4.29 4.13 4.04 8/338 42696
/proc/meminfo: memFree=123807680/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19063512 memory=2084940 CPUtime=3600.04 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 89803 0 0 0 359892 112 0 0 20 0 20 0 47223035 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4765878 521235 5563 1 0 557587 0
[pid=42226/tid=42231] ppid=42210 vsize=19063512 memory=68 CPUtime=3589.9 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 34359 0 0 0 358979 11 0 0 20 0 20 0 47223037 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19063512 memory=2084940 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19063512 memory=18176 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42303] ppid=42210 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/42226/task/42303/stat : 42303 (Timer-0) S 42210 42226 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223064 19521036288 521235 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2084940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=1.13885 s

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

[startup+3602.01 s]*
/proc/loadavg: 4.29 4.13 4.04 8/339 42699
/proc/meminfo: memFree=123770400/131249988 swapFree=33010684/33010684
[pid=42226] ppid=42210 vsize=19263204 memory=2085708 CPUtime=3600.26 cores=5,7
/proc/42226/stat : 42226 (java) S 42210 42226 42162 0 -1 4194304 91783 0 0 0 359913 113 0 0 20 0 21 0 47223035 19725520896 521427 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
/proc/42226/statm: 4815801 521427 5595 1 0 558534 0
[pid=42226/tid=42231] ppid=42210 vsize=19263204 memory=-6000919489852762731 CPUtime=3590.01 cores=5,7
/proc/42226/task/42231/stat : 42231 (java) R 42210 42226 42162 0 -1 4194368 34449 0 0 0 358990 11 0 0 20 0 21 0 47223037 19725520896 521427 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42272] ppid=42210 vsize=19263204 memory=12416 CPUtime=0 cores=5,7
/proc/42226/task/42272/stat : 42272 (Finalizer) S 42210 42226 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47223039 19725520896 521427 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42283] ppid=42210 vsize=19263204 memory=9984 CPUtime=0 cores=5,7
/proc/42226/task/42283/stat : 42283 (Common-Cleaner) S 42210 42226 42162 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 21 0 47223040 19725520896 521427 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
[pid=42226/tid=42699] ppid=42210 vsize=19263204 memory=9216 CPUtime=0.05 cores=5,7
/proc/42226/task/42699/stat : 42699 (Thread-0) R 42210 42226 42162 0 -1 4194368 375 0 0 0 5 0 0 0 20 0 21 0 47583226 19725520896 521427 18446744073709551615 94544374091776 94544374095472 140735714370912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94544374103288 94544374104080 94544385257472 140735714376065 140735714376166 140735714376166 140735714381768 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2085708 KiB

Child status: 143

Real time (s): 3602.03
CPU time (s): 3600.3
CPU user time (s): 3599.16
CPU system time (s): 1.13885
CPU usage (%): 99.9518
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2085708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.13885
maximum resident set size= 2085964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106026
involuntary context switches= 2899


# summary of solver processes directly reported to runsolver:
#   pid: 42226
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 1.13885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40533 second user time and 16.9562 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 22:30:55
IDJOB=4486432
IDBENCH=147020
IDSOLVER=3363
FILE ID=nodeC020/4486432-1751315455
RUNJOBID= nodeC020-1751315455-42175
SLURM_JOB_ID= 9594332
Free space on /tmp= 432952 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486432-1751315455/watcher-4486432-1751315455 -o /tmp/evaluation-result-4486432-1751315455/solver-4486432-1751315455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42175 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4486432-1751315455.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=209941932

nodeC020 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.800
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.79
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		: 2641.133
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.79
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.976
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.79
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.889
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.79
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.988
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.79
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		: 3600.025
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.79
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.101
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.79
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.892
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129454404 kB
MemAvailable:   129727744 kB
Buffers:            3280 kB
Cached:          1078356 kB
SwapCached:            0 kB
Active:           392844 kB
Inactive:         770436 kB
Active(anon):      99700 kB
Inactive(anon):        0 kB
Active(file):     293144 kB
Inactive(file):   770436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2604 kB
Writeback:             0 kB
AnonPages:         84748 kB
Mapped:           103072 kB
Shmem:             18056 kB
KReclaimable:      98000 kB
Slab:             185340 kB
SReclaimable:      98000 kB
SUnreclaim:        87340 kB
KernelStack:        4024 kB
PageTables:         2408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     349276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-06-30 23:30:57