Trace number 4523479

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-06? (TO) 3600.48 3591.45

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
MD5SUM0f8d279ff02416fc8d5941f7f119b5c9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark149.108
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1289
Total number of constraints1094
Number of constraints which are clauses13
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1080
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 773
Biggest coefficient in the objective function 90
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 862
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 490
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1759
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4523479-1751604573.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  objective function found
1.09/0.63	c ... done. Wall clock time 0.502s.
1.09/0.63	c declared #vars     1289
1.09/0.63	c #constraints  1095
1.09/0.63	c constraints type 
1.09/0.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.09/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.09/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.09/0.63	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.09/0.63	c 1095 constraints processed.
1.09/0.65	c objective function length is 773 literals
4.23/2.27	c cleaning 2499 clauses out of 5000 with flag 14694/5000
5.73/3.28	c cleaning 4245 clauses out of 8502 with flag 30445/11001
6.73/4.15	c cleaning 5622 clauses out of 11257 with flag 50679/18001
7.95/5.30	c cleaning 6811 clauses out of 13635 with flag 74707/26001
9.07/6.36	c cleaning 7908 clauses out of 15825 with flag 99204/35002
10.46/7.80	c cleaning 8945 clauses out of 17916 with flag 130557/45001
11.96/9.25	c cleaning 9978 clauses out of 19970 with flag 165134/56000
13.66/10.93	c cleaning 10985 clauses out of 21993 with flag 201599/68001
15.36/12.63	c cleaning 11998 clauses out of 24007 with flag 246128/81000
17.47/14.73	c cleaning 12993 clauses out of 26010 with flag 294516/95001
19.57/16.88	c cleaning 14004 clauses out of 28017 with flag 347801/110001
22.17/19.47	c cleaning 15000 clauses out of 30013 with flag 399036/126001
25.01/22.23	c cleaning 16000 clauses out of 32013 with flag 460221/143001
27.93/25.11	c cleaning 16996 clauses out of 34012 with flag 521503/161000
31.11/28.31	c cleaning 18001 clauses out of 36016 with flag 588221/180000
34.53/31.71	c cleaning 18998 clauses out of 38017 with flag 661119/200002
38.00/36.70	c cleaning 19999 clauses out of 40018 with flag 738295/221001
41.51/40.21	c cleaning 21004 clauses out of 42019 with flag 819558/243001
45.42/44.15	c cleaning 21998 clauses out of 44016 with flag 904122/266002
49.64/48.34	c cleaning 22998 clauses out of 46016 with flag 994628/290000
53.74/52.43	c cleaning 24001 clauses out of 48019 with flag 1088054/315001
58.23/56.99	c cleaning 25001 clauses out of 50019 with flag 1180444/341002
62.95/61.68	c cleaning 25987 clauses out of 52017 with flag 1279340/368001
65.02/63.62	c cleaning 26997 clauses out of 54030 with flag 1338022/396001
67.01/65.62	c cleaning 27994 clauses out of 56032 with flag 1398974/425000
69.21/67.89	c cleaning 28999 clauses out of 58040 with flag 1462417/455002
71.52/70.11	c cleaning 30000 clauses out of 60039 with flag 1527819/486000
73.90/72.56	c cleaning 30998 clauses out of 62039 with flag 1596022/518000
76.29/74.93	c cleaning 32001 clauses out of 64041 with flag 1665763/551000
78.49/77.19	c cleaning 32997 clauses out of 66041 with flag 1737583/585001
81.19/79.88	c cleaning 34005 clauses out of 68045 with flag 1811012/620002
83.68/82.37	c cleaning 34997 clauses out of 70038 with flag 1886602/656000
86.49/85.10	c cleaning 35997 clauses out of 72041 with flag 1964478/693000
89.18/87.82	c cleaning 36997 clauses out of 74045 with flag 2045387/731001
92.38/91.07	c cleaning 38004 clauses out of 76049 with flag 2128236/770002
95.66/94.32	c cleaning 38998 clauses out of 78043 with flag 2213731/810000
99.17/97.88	c cleaning 39998 clauses out of 80046 with flag 2300293/851001
102.87/101.54	c cleaning 41001 clauses out of 82047 with flag 2388859/893000
106.48/105.15	c cleaning 42000 clauses out of 84046 with flag 2479671/936000
110.30/108.94	c cleaning 43002 clauses out of 86046 with flag 2572682/980000
113.80/112.44	c cleaning 44000 clauses out of 88046 with flag 2667191/1025002
117.61/116.22	c cleaning 45001 clauses out of 90045 with flag 2763974/1071001
121.41/120.06	c cleaning 46001 clauses out of 92046 with flag 2863902/1118003
125.62/124.20	c cleaning 46997 clauses out of 94044 with flag 2964998/1166002
129.61/128.29	c cleaning 47999 clauses out of 96046 with flag 3068805/1215001
133.81/132.41	c cleaning 49002 clauses out of 98048 with flag 3176316/1265002
137.84/136.40	c cleaning 49999 clauses out of 100044 with flag 3284842/1316000
142.03/140.61	c cleaning 51003 clauses out of 102049 with flag 3395650/1368004
146.54/145.10	c cleaning 51996 clauses out of 104042 with flag 3507867/1421000
151.15/149.70	c cleaning 53005 clauses out of 106047 with flag 3621279/1475001
156.45/155.04	c cleaning 54001 clauses out of 108042 with flag 3736235/1530001
161.55/160.12	c cleaning 54999 clauses out of 110041 with flag 3855143/1586001
166.86/165.45	c cleaning 55994 clauses out of 112041 with flag 3977216/1643000
172.15/170.76	c cleaning 57007 clauses out of 114048 with flag 4100752/1701001
177.76/176.35	c cleaning 58000 clauses out of 116041 with flag 4225242/1760001
183.48/182.05	c cleaning 58995 clauses out of 118040 with flag 4351665/1820000
188.97/187.57	c cleaning 59999 clauses out of 120045 with flag 4482854/1881000
194.39/192.99	c cleaning 61000 clauses out of 122047 with flag 4615378/1943001
200.41/198.90	c cleaning 61999 clauses out of 124046 with flag 4749454/2006000
206.54/205.00	c cleaning 62997 clauses out of 126047 with flag 4885356/2070000
213.15/211.70	c cleaning 64005 clauses out of 128052 with flag 5023043/2135002
219.79/218.22	c cleaning 65000 clauses out of 130047 with flag 5163344/2201002
226.21/224.68	c cleaning 66001 clauses out of 132045 with flag 5305068/2268000
232.54/230.96	c cleaning 66997 clauses out of 134044 with flag 5449950/2336000
238.67/237.06	c cleaning 67996 clauses out of 136047 with flag 5596218/2405000
245.11/243.47	c cleaning 68998 clauses out of 138052 with flag 5746397/2475001
251.46/249.73	c cleaning 70000 clauses out of 140053 with flag 5896539/2546000
258.61/256.86	c cleaning 71001 clauses out of 142055 with flag 6049002/2618002
265.66/263.87	c cleaning 71999 clauses out of 144053 with flag 6202550/2691001
273.22/271.36	c cleaning 73005 clauses out of 146055 with flag 6359671/2765002
281.37/279.49	c cleaning 74002 clauses out of 148048 with flag 6521265/2840000
289.41/287.43	c cleaning 74998 clauses out of 150048 with flag 6684978/2916002
296.46/294.46	c cleaning 75998 clauses out of 152048 with flag 6851089/2993000
304.02/301.95	c cleaning 77000 clauses out of 154050 with flag 7019757/3071000
311.28/309.12	c cleaning 78004 clauses out of 156051 with flag 7189325/3150001
319.39/317.27	c cleaning 79001 clauses out of 158046 with flag 7360348/3230000
328.34/326.03	c cleaning 80001 clauses out of 160045 with flag 7534885/3311000
336.21/333.87	c cleaning 80998 clauses out of 162044 with flag 7708073/3393000
344.53/342.16	c cleaning 82002 clauses out of 164046 with flag 7885942/3476000
353.84/351.47	c cleaning 82998 clauses out of 166044 with flag 8064052/3560000
362.27/359.82	c cleaning 84002 clauses out of 168048 with flag 8243096/3645002
371.21/368.73	c cleaning 84996 clauses out of 170045 with flag 8424367/3731001
380.31/377.77	c cleaning 85997 clauses out of 172048 with flag 8609933/3818000
389.27/386.62	c cleaning 86999 clauses out of 174053 with flag 8796854/3906002
398.71/396.06	c cleaning 88002 clauses out of 176052 with flag 8984106/3995000
408.14/405.41	c cleaning 88994 clauses out of 178050 with flag 9176918/4085000
418.44/415.64	c cleaning 90002 clauses out of 180057 with flag 9370742/4176001
428.81/425.90	c cleaning 90998 clauses out of 182058 with flag 9566221/4268004
438.26/435.30	c cleaning 92008 clauses out of 184059 with flag 9765540/4361003
448.50/445.41	c cleaning 93002 clauses out of 186049 with flag 9962878/4455001
457.16/454.09	c cleaning 93999 clauses out of 188046 with flag 10163558/4550000
467.23/464.05	c cleaning 94998 clauses out of 190047 with flag 10367075/4646000
478.04/474.72	c cleaning 96000 clauses out of 192049 with flag 10574026/4743000
488.18/484.83	c cleaning 96999 clauses out of 194051 with flag 10783109/4841002
498.22/494.80	c cleaning 98000 clauses out of 196051 with flag 10992735/4940001
508.54/505.04	c cleaning 99001 clauses out of 198054 with flag 11205550/5040004
518.60/515.09	c cleaning 99995 clauses out of 200050 with flag 11420097/5141001
531.11/527.48	c cleaning 101002 clauses out of 202056 with flag 11637411/5243002
542.44/538.70	c cleaning 102000 clauses out of 204054 with flag 11856208/5346002
553.34/549.54	c cleaning 103005 clauses out of 206053 with flag 12077589/5450001
564.29/560.40	c cleaning 104000 clauses out of 208047 with flag 12301923/5555000
577.07/573.14	c cleaning 104997 clauses out of 210047 with flag 12526700/5661000
589.20/585.22	c cleaning 106002 clauses out of 212051 with flag 12753350/5768001
602.68/598.63	c cleaning 106998 clauses out of 214049 with flag 12982680/5876001
616.61/612.42	c cleaning 108002 clauses out of 216050 with flag 13217610/5985000
629.64/625.47	c cleaning 109004 clauses out of 218053 with flag 13453967/6095005
642.60/638.39	c cleaning 110000 clauses out of 220044 with flag 13692101/6206000
656.11/651.71	c cleaning 110998 clauses out of 222046 with flag 13934846/6318002
669.54/665.42	c cleaning 111999 clauses out of 224046 with flag 14179160/6431000
681.85/677.69	c cleaning 113004 clauses out of 226047 with flag 14424029/6545000
694.65/690.58	c cleaning 113997 clauses out of 228043 with flag 14666462/6660000
709.46/705.22	c cleaning 115003 clauses out of 230047 with flag 14914296/6776001
723.46/719.29	c cleaning 115997 clauses out of 232044 with flag 15162287/6893001
738.33/734.03	c cleaning 116999 clauses out of 234047 with flag 15414745/7011001
752.12/747.71	c cleaning 117997 clauses out of 236049 with flag 15668152/7130002
766.21/762.32	c cleaning 118997 clauses out of 238052 with flag 15923002/7250002
780.66/776.78	c cleaning 120003 clauses out of 240054 with flag 16181350/7371001
795.91/792.08	c cleaning 120997 clauses out of 242050 with flag 16440970/7493000
812.11/808.19	c cleaning 122003 clauses out of 244054 with flag 16704445/7616001
828.71/824.86	c cleaning 123002 clauses out of 246050 with flag 16970194/7740000
843.92/839.98	c cleaning 123997 clauses out of 248048 with flag 17235867/7865000
858.74/854.86	c cleaning 125004 clauses out of 250051 with flag 17506604/7991000
873.34/869.33	c cleaning 125999 clauses out of 252047 with flag 17775599/8118000
887.83/883.89	c cleaning 127002 clauses out of 254049 with flag 18043384/8246001
903.06/898.95	c cleaning 127998 clauses out of 256046 with flag 18316684/8375000
917.55/917.53	c cleaning 128995 clauses out of 258049 with flag 18588697/8505001
931.95/931.84	c cleaning 130005 clauses out of 260053 with flag 18867321/8636000
945.61/945.73	c cleaning 131005 clauses out of 262052 with flag 19145545/8768004
960.14/960.26	c cleaning 132000 clauses out of 264045 with flag 19424138/8901002
973.43/973.49	c cleaning 132999 clauses out of 266043 with flag 19704132/9035000
988.51/988.46	c cleaning 133997 clauses out of 268044 with flag 19989904/9170000
1003.77/1003.68	c cleaning 134996 clauses out of 270047 with flag 20278678/9306000
1020.97/1020.79	c cleaning 136004 clauses out of 272052 with flag 20571340/9443001
1036.98/1036.70	c cleaning 136999 clauses out of 274047 with flag 20863864/9581000
1053.14/1052.83	c cleaning 137996 clauses out of 276049 with flag 21157591/9720001
1069.21/1068.89	c cleaning 138999 clauses out of 278054 with flag 21448982/9860002
1086.09/1085.61	c cleaning 140002 clauses out of 280055 with flag 21746737/10001002
1104.70/1104.44	c cleaning 141003 clauses out of 282051 with flag 22047110/10143000
1122.31/1121.96	c cleaning 142000 clauses out of 284049 with flag 22349422/10286001
1140.33/1140.10	c cleaning 143002 clauses out of 286050 with flag 22655286/10430002
1157.23/1157.08	c cleaning 143998 clauses out of 288046 with flag 22960825/10575000
1173.88/1173.68	c cleaning 144997 clauses out of 290048 with flag 23270378/10721000
1192.45/1192.38	c cleaning 146003 clauses out of 292052 with flag 23582524/10868001
1210.35/1210.06	c cleaning 146998 clauses out of 294048 with flag 23895518/11016000
1227.40/1227.18	c cleaning 147994 clauses out of 296050 with flag 24214045/11165000
1246.07/1245.76	c cleaning 149007 clauses out of 298058 with flag 24536925/11315002
1265.72/1265.38	c cleaning 150004 clauses out of 300049 with flag 24858698/11466000
1285.74/1285.28	c cleaning 150999 clauses out of 302046 with flag 25180760/11618001
1303.14/1302.55	c cleaning 151998 clauses out of 304048 with flag 25503855/11771002
1322.00/1321.35	c cleaning 152998 clauses out of 306048 with flag 25830849/11925000
1339.76/1338.96	c cleaning 154001 clauses out of 308052 with flag 26158491/12080002
1358.63/1357.74	c cleaning 155000 clauses out of 310049 with flag 26487952/12236000
1378.76/1377.86	c cleaning 156003 clauses out of 312051 with flag 26822407/12393002
1399.07/1398.01	c cleaning 156995 clauses out of 314046 with flag 27157158/12551000
1420.42/1419.24	c cleaning 157997 clauses out of 316051 with flag 27493957/12710000
1439.87/1438.62	c cleaning 159000 clauses out of 318054 with flag 27835445/12870000
1462.37/1461.04	c cleaning 160000 clauses out of 320054 with flag 28182011/13031000
1483.70/1482.23	c cleaning 161001 clauses out of 322054 with flag 28530822/13193000
1504.86/1502.94	c cleaning 162005 clauses out of 324053 with flag 28876805/13356000
1523.21/1521.20	c cleaning 162998 clauses out of 326054 with flag 29221575/13520006
1545.57/1543.52	c cleaning 163998 clauses out of 328050 with flag 29567501/13685000
1566.38/1564.21	c cleaning 164998 clauses out of 330052 with flag 29917595/13851000
1587.64/1585.42	c cleaning 166005 clauses out of 332054 with flag 30266597/14018000
1606.37/1604.04	c cleaning 167003 clauses out of 334051 with flag 30617650/14186002
1628.48/1626.10	c cleaning 167998 clauses out of 336047 with flag 30971653/14355001
1650.14/1647.63	c cleaning 168999 clauses out of 338049 with flag 31329329/14525001
1672.86/1670.28	c cleaning 169996 clauses out of 340049 with flag 31688141/14696000
1695.62/1692.90	c cleaning 171002 clauses out of 342053 with flag 32049896/14868000
1718.55/1715.86	c cleaning 171999 clauses out of 344052 with flag 32414216/15041001
1740.61/1737.78	c cleaning 173001 clauses out of 346053 with flag 32781226/15215001
1762.88/1759.90	c cleaning 173996 clauses out of 348051 with flag 33149794/15390000
1786.16/1783.00	c cleaning 175002 clauses out of 350055 with flag 33519059/15566000
1811.12/1807.97	c cleaning 175996 clauses out of 352053 with flag 33892072/15743000
1831.44/1828.29	c cleaning 177003 clauses out of 354060 with flag 34268267/15921003
1852.64/1849.34	c cleaning 177998 clauses out of 356054 with flag 34644294/16100000
1872.04/1868.67	c cleaning 178998 clauses out of 358056 with flag 35020663/16280000
1895.59/1892.08	c cleaning 180001 clauses out of 360060 with flag 35400769/16461002
1919.09/1915.57	c cleaning 180999 clauses out of 362057 with flag 35783115/16643000
1942.76/1939.08	c cleaning 182003 clauses out of 364059 with flag 36168834/16826001
1968.64/1964.86	c cleaning 182997 clauses out of 366058 with flag 36557940/17010003
1992.98/1989.08	c cleaning 184008 clauses out of 368058 with flag 36948012/17195000
2018.06/2014.09	c cleaning 185002 clauses out of 370052 with flag 37340386/17381002
2042.99/2038.89	c cleaning 186000 clauses out of 372048 with flag 37734935/17568000
2068.70/2064.49	c cleaning 186999 clauses out of 374048 with flag 38134704/17756000
2093.57/2089.17	c cleaning 188000 clauses out of 376050 with flag 38536054/17945001
2119.01/2114.52	c cleaning 189003 clauses out of 378051 with flag 38939361/18135002
2144.06/2139.49	c cleaning 189997 clauses out of 380047 with flag 39341133/18326001
2169.02/2164.38	c cleaning 191002 clauses out of 382051 with flag 39747214/18518002
2192.99/2188.20	c cleaning 192001 clauses out of 384047 with flag 40156289/18711000
2219.15/2214.28	c cleaning 192996 clauses out of 386046 with flag 40570764/18905000
2245.64/2240.69	c cleaning 193998 clauses out of 388050 with flag 40986748/19100000
2271.16/2266.05	c cleaning 194998 clauses out of 390053 with flag 41398743/19296001
2297.53/2292.35	c cleaning 196002 clauses out of 392054 with flag 41815082/19493000
2324.38/2319.04	c cleaning 197001 clauses out of 394053 with flag 42235805/19691001
2350.81/2345.20	c cleaning 198001 clauses out of 396052 with flag 42662118/19890001
2378.53/2372.94	c cleaning 199005 clauses out of 398051 with flag 43089530/20090001
2405.15/2399.49	c cleaning 199994 clauses out of 400046 with flag 43520087/20291001
2433.13/2427.39	c cleaning 200996 clauses out of 402051 with flag 43956092/20493000
2461.71/2455.80	c cleaning 202006 clauses out of 404056 with flag 44383684/20696001
2490.48/2484.45	c cleaning 203001 clauses out of 406049 with flag 44816034/20900000
2518.16/2511.97	c cleaning 203995 clauses out of 408049 with flag 45250048/21105001
2544.01/2537.64	c cleaning 205002 clauses out of 410053 with flag 45689111/21311000
2571.69/2565.20	c cleaning 206003 clauses out of 412051 with flag 46126665/21518000
2599.45/2592.94	c cleaning 206998 clauses out of 414049 with flag 46566106/21726001
2628.31/2621.72	c cleaning 208002 clauses out of 416052 with flag 47009704/21935002
2657.39/2650.66	c cleaning 209001 clauses out of 418049 with flag 47452410/22145001
2689.24/2682.48	c cleaning 209993 clauses out of 420048 with flag 47898896/22356001
2717.72/2710.85	c cleaning 211001 clauses out of 422056 with flag 48343783/22568002
2747.48/2740.53	c cleaning 212005 clauses out of 424054 with flag 48791729/22781001
2777.34/2770.20	c cleaning 213003 clauses out of 426049 with flag 49245838/22995001
2805.82/2798.66	c cleaning 213993 clauses out of 428045 with flag 49698418/23210000
2832.93/2825.74	c cleaning 215000 clauses out of 430053 with flag 50152381/23426001
2858.85/2851.57	c cleaning 216003 clauses out of 432055 with flag 50608169/23643003
2888.39/2880.68	c cleaning 217000 clauses out of 434052 with flag 51065912/23861003
2920.15/2912.32	c cleaning 217998 clauses out of 436049 with flag 51527762/24080000
2948.76/2940.89	c cleaning 219002 clauses out of 438051 with flag 51992106/24300000
2976.71/2968.74	c cleaning 219996 clauses out of 440049 with flag 52460371/24521000
3005.15/2997.05	c cleaning 221002 clauses out of 442055 with flag 52929625/24743002
3034.53/3026.32	c cleaning 222002 clauses out of 444051 with flag 53398477/24966000
3067.89/3059.54	c cleaning 222996 clauses out of 446049 with flag 53870369/25190000
3102.23/3093.64	c cleaning 223998 clauses out of 448053 with flag 54346669/25415000
3133.22/3124.58	c cleaning 225004 clauses out of 450055 with flag 54825479/25641000
3164.28/3155.40	c cleaning 225999 clauses out of 452051 with flag 55310043/25868000
3193.47/3184.40	c cleaning 227001 clauses out of 454052 with flag 55794962/26096000
3223.33/3214.11	c cleaning 228002 clauses out of 456052 with flag 56282987/26325001
3255.08/3245.75	c cleaning 229001 clauses out of 458052 with flag 56772372/26555003
3286.23/3276.89	c cleaning 230000 clauses out of 460050 with flag 57261315/26786002
3316.88/3307.33	c cleaning 230997 clauses out of 462048 with flag 57749968/27018000
3350.79/3341.13	c cleaning 231996 clauses out of 464051 with flag 58240616/27251000
3383.29/3373.58	c cleaning 233000 clauses out of 466055 with flag 58734781/27485000
3411.07/3401.24	c cleaning 234002 clauses out of 468055 with flag 59231842/27720000
3442.57/3432.69	c cleaning 235001 clauses out of 470053 with flag 59731415/27956000
3473.58/3463.58	c cleaning 236000 clauses out of 472054 with flag 60231845/28193002
3510.54/3500.27	c cleaning 236998 clauses out of 474052 with flag 60741625/28431000
3546.48/3535.98	c cleaning 238006 clauses out of 476055 with flag 61253501/28670001
3585.90/3575.25	c cleaning 239000 clauses out of 478049 with flag 61768500/28910001
3600.05/3589.31	c starts		: 115
3600.05/3589.32	c conflicts		: 29051299
3600.05/3589.32	c decisions		: 32652517
3600.05/3589.32	c propagations		: 142521201
3600.05/3589.32	c inspects		: 21690798118
3600.05/3589.32	c shortcuts		: 0
3600.05/3589.32	c learnt literals	: 0
3600.05/3589.32	c learnt binary clauses	: 0
3600.05/3589.32	c learnt ternary clauses	: 0
3600.05/3589.32	c learnt constraints	: 29051299
3600.05/3589.32	c ignored constraints	: 0
3600.05/3589.32	c root simplifications	: 0
3600.05/3589.32	c removed literals (reason simplification)	: 6452827
3600.05/3589.32	c reason swapping (by a shorter reason)	: 0
3600.05/3589.32	c Calls to reduceDB	: 236
3600.05/3589.32	c Number of update (reduction) of LBD	: 3145028
3600.05/3589.32	c Imported unit clauses	: 0
3600.05/3589.32	c No decision after first conflict	: false
3600.05/3589.32	c number of reductions to clauses (during analyze)	: 0
3600.05/3589.32	c number of learned constraints concerned by reduction	: 0
3600.05/3589.32	c number of learning phase by resolution	: 0
3600.05/3589.32	c number of learning phase by cutting planes	: 0
3600.05/3589.32	c number of rounding to 1 operations	: 0
3600.05/3589.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3589.32	c number of reductions of the coefficients by power 2 	: 0
3600.05/3589.32	c number of right shift for reduction by power 2 	: 0
3600.05/3589.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3589.32	c number of ending skipping 	: 0
3600.05/3589.32	c number of internal skipping 	: 0
3600.05/3589.33	c number of derivation steps 	: 0
3600.05/3589.33	c number of skipped derivation steps 	: 0
3600.05/3589.33	c number of remaining unassigned 	: 0
3600.05/3589.33	c number of remaining assigned 	: 0
3600.05/3589.33	c number of falsified literals weakened from reason	: 0
3600.05/3589.33	c number of falsified literals weakened from conflict	: 0
3600.05/3589.33	c time for arithmetic operations	: 0
3600.05/3589.33	c minimum degree of deleted constraints	: null
3600.05/3589.33	c maximum degree of deleted constraints	: null
3600.05/3589.33	c number of deleted constraints	: 0
3600.05/3589.33	c speed (assignments/second)	: 39714.36688275499
3600.05/3589.33	c non guided choices	: 920
3600.05/3589.33	c timeout
3600.05/3589.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 380347
3600.05/3589.40	s UNKNOWN
3600.05/3589.40	c Total wall clock time (in seconds): 3589.27

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (57271 MiB free)
  memory of node 1: 64507 MiB (49423 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=90388, runsolver pid=90385

[startup+0.100058 s]*
/proc/loadavg: 4.26 4.29 4.19 5/342 90406
/proc/meminfo: memFree=109221908/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=18930384 memory=57780 CPUtime=0.12 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 6597 0 0 0 10 2 0 0 20 0 18 0 76135071 19384713216 14445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4732596 14445 5340 1 0 547641 0
[pid=90388/tid=90390] ppid=90385 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5095 0 0 0 7 1 0 0 20 0 18 0 76135072 19384713216 14445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76135074 19384713216 14445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=18930384 memory=60684515963265 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76135075 19384713216 14445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB

[startup+0.205739 s]*
/proc/loadavg: 4.26 4.29 4.19 6/342 90406
/proc/meminfo: memFree=109207604/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=18931448 memory=75300 CPUtime=0.32 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 7961 0 0 0 29 3 0 0 20 0 18 0 76135071 19385802752 18825 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4732862 18825 5436 1 0 548744 0
[pid=90388/tid=90390] ppid=90385 vsize=18931448 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5270 0 0 0 15 2 0 0 20 0 18 0 76135072 19385802752 18825 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=18931448 memory=16198 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76135074 19385802752 18825 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=18931448 memory=59585004307431 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76135075 19385802752 18825 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18931448 KiB
Current children cumulated memory: 75300 KiB

[startup+0.305459 s]*
/proc/loadavg: 4.26 4.29 4.19 6/342 90406
/proc/meminfo: memFree=109169292/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=18930384 memory=110316 CPUtime=0.51 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 9151 0 0 0 47 4 0 0 20 0 18 0 76135071 19384713216 27579 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4732596 27579 5436 1 0 549219 0
[pid=90388/tid=90390] ppid=90385 vsize=18930384 memory=-6000919485541215334 CPUtime=0.25 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5286 0 0 0 23 2 0 0 20 0 18 0 76135072 19384713216 27579 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76135074 19384713216 27579 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76135075 19384713216 27579 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 110316 KiB

[startup+0.700222 s]
/proc/loadavg: 4.26 4.29 4.19 6/343 90407
/proc/meminfo: memFree=109103504/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=189780 CPUtime=1.27 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 10032 0 0 0 121 6 0 0 20 0 20 0 76135071 19521036288 47445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 47445 5532 1 0 550325 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=18688 CPUtime=0.56 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5443 0 0 0 53 3 0 0 20 0 20 0 76135072 19521036288 47445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 47445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 47445 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189780 KiB

[startup+1.50021 s]
/proc/loadavg: 4.26 4.29 4.19 6/344 90408
/proc/meminfo: memFree=109076096/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=229448 CPUtime=2.85 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 18690 0 0 0 276 9 0 0 20 0 20 0 76135071 19521036288 57362 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 57362 5532 1 0 1081528 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=3328 CPUtime=1.34 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5538 0 0 0 130 4 0 0 20 0 20 0 76135072 19521036288 57362 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 57362 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 57362 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 57362 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229448 KiB

[startup+3.10555 s]
/proc/loadavg: 4.32 4.31 4.20 5/344 90408
/proc/meminfo: memFree=108753924/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=529668 CPUtime=5.63 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 19128 0 0 0 546 17 0 0 20 0 20 0 76135071 19521036288 132417 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 132417 5532 1 0 1081574 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=14824 CPUtime=2.91 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 5721 0 0 0 281 10 0 0 20 0 20 0 76135072 19521036288 132417 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 132417 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 132417 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 132417 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 529668 KiB

[startup+6.30017 s]
/proc/loadavg: 4.32 4.31 4.20 5/344 90408
/proc/meminfo: memFree=107931916/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=1379476 CPUtime=9.07 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 24252 0 0 0 870 37 0 0 20 0 20 0 76135071 19521036288 344869 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 344869 5532 1 0 1081574 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=0 CPUtime=6.09 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 7031 0 0 0 579 30 0 0 20 0 20 0 76135072 19521036288 344869 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 344869 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 344869 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=256228 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 344869 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1379476 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.31 4.20 5/344 90408
/proc/meminfo: memFree=107182928/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=2145492 CPUtime=15.46 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 26287 0 0 0 1494 52 0 0 20 0 20 0 76135071 19521036288 536373 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 536373 5532 1 0 1081578 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=256228 CPUtime=12.45 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 7678 0 0 0 1200 45 0 0 20 0 20 0 76135072 19521036288 536373 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=1795284 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 536373 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 536373 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 536373 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 15.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.32 4.20 5/344 90409
/proc/meminfo: memFree=106289280/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=2616776 CPUtime=28.32 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 31955 0 0 0 2762 70 0 0 20 0 20 0 76135071 19521036288 654194 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 654194 5564 1 0 1081585 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=0 CPUtime=25.19 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 9678 0 0 0 2458 61 0 0 20 0 20 0 76135072 19521036288 654194 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 654194 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=2616776 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 654194 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=2616648 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 654194 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2616776 KiB

[startup+51.1056 s]
/proc/loadavg: 4.25 4.29 4.20 5/344 90409
/proc/meminfo: memFree=105897160/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=2627052 CPUtime=52.45 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 38115 0 0 0 5165 80 0 0 20 0 20 0 76135071 19521036288 656763 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 656763 5564 1 0 1081585 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=2616776 CPUtime=49.16 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 11863 0 0 0 4845 71 0 0 20 0 20 0 76135072 19521036288 656763 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=29992 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 656763 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 656763 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0

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

Current children cumulated CPU time: 3291.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/345 90725
/proc/meminfo: memFree=59278892/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3351.99 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 167102 0 0 0 333709 1490 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083805 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3297.8 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 82778 0 0 0 328399 1381 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3351.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/345 90728
/proc/meminfo: memFree=58446164/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3412.16 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 170291 0 0 0 339703 1513 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083805 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3357.31 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 84738 0 0 0 334328 1403 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2289 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3412.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/345 90730
/proc/meminfo: memFree=57621396/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3472.39 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 172456 0 0 0 345704 1535 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083805 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3416.74 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 85821 0 0 0 340251 1423 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2385 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3472.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/345 90732
/proc/meminfo: memFree=56849624/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3532.78 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 173448 0 0 0 351722 1556 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083806 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3476.02 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 86622 0 0 0 346158 1444 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=-6000919485541215334 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=-6000919485541215334 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2385 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3532.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/345 90802
/proc/meminfo: memFree=74070404/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3593.02 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 176454 0 0 0 357729 1573 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083806 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3535.41 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 88419 0 0 0 352082 1459 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2385 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3593.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.3 s]
/proc/loadavg: 4.24 4.17 4.17 5/345 90803
/proc/meminfo: memFree=73970984/131249996 swapFree=33010672/33010684
[pid=90388] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3600.05 cores=4,6
/proc/90388/stat : 90388 (java) S 90385 90388 89864 0 -1 4194304 176759 0 0 0 358428 1577 0 0 20 0 20 0 76135071 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
/proc/90388/statm: 4765878 1069903 5564 1 0 1083806 0
[pid=90388/tid=90390] ppid=90385 vsize=19063512 memory=4279612 CPUtime=3542.34 cores=4,6
/proc/90388/task/90390/stat : 90390 (java) R 90385 90388 89864 0 -1 4194368 88723 0 0 0 352771 1463 0 0 20 0 20 0 76135072 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90399] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90399/stat : 90399 (Finalizer) S 90385 90388 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76135074 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90406] ppid=90385 vsize=19063512 memory=4279356 CPUtime=0 cores=4,6
/proc/90388/task/90406/stat : 90406 (Common-Cleaner) S 90385 90388 89864 0 -1 4194368 2385 0 0 0 0 0 0 0 20 0 20 0 76135075 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
[pid=90388/tid=90408] ppid=90385 vsize=19063512 memory=4279612 CPUtime=0 cores=4,6
/proc/90388/task/90408/stat : 90408 (Timer-0) S 90385 90388 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76135139 19521036288 1069903 18446744073709551615 94361465065472 94361465069168 140722459162896 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94361465076984 94361465077776 94361469620224 140722459167024 140722459167206 140722459167206 140722459172808 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4279612 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3584.43 s, system=16.048 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3590.4 s]
/proc/loadavg: 4.24 4.17 4.17 5/328 90807
/proc/meminfo: memFree=73953504/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3590.8 s]
/proc/loadavg: 4.24 4.17 4.17 5/328 90807
/proc/meminfo: memFree=73953504/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3591.2 s]
/proc/loadavg: 4.24 4.17 4.17 5/328 90807
/proc/meminfo: memFree=73941848/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3591.3 s]
/proc/loadavg: 4.24 4.17 4.17 5/328 90807
/proc/meminfo: memFree=73941848/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3591.45
CPU time (s): 3600.48
CPU user time (s): 3584.43
CPU system time (s): 16.048
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4280380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.43
system time used= 16.048
maximum resident set size= 4280508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33865224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188405
involuntary context switches= 12095


# summary of solver processes directly reported to runsolver:
#   pid: 90388
#   total CPU time (s): 3600.48
#   total CPU user time (s): 3584.43
#   total CPU system time (s): 16.048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27172 second user time and 17.0927 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-04 06:49:33
IDJOB=4523479
IDBENCH=180363
IDSOLVER=3364
FILE ID=nodeC017/4523479-1751604573
RUNJOBID= nodeC017-1751600965-89875
SLURM_JOB_ID= 9598879
Free space on /tmp= 432460 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523479-1751604573/watcher-4523479-1751604573 -o /tmp/evaluation-result-4523479-1751604573/solver-4523479-1751604573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89875 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523479-1751604573 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523479-1751604573.opb

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

MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9
RANDOM SEED=1420950218

nodeC017 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		: 3600.060
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.12
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		: 3600.064
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109256296 kB
MemAvailable:   123102372 kB
Buffers:            1688 kB
Cached:         14610248 kB
SwapCached:            8 kB
Active:          6988272 kB
Inactive:       14320768 kB
Active(anon):    6699148 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file): 14304640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            190848 kB
Writeback:             8 kB
AnonPages:       6699776 kB
Mapped:           124320 kB
Shmem:             18072 kB
KReclaimable:     182704 kB
Slab:             280124 kB
SReclaimable:     182704 kB
SUnreclaim:        97420 kB
KernelStack:        5200 kB
PageTables:        16788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8699152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6498304 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432452 MiB
End job on nodeC017 at 2025-07-04 07:49:25