Trace number 4523478

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-06? (TO) 3600.24 3584.63

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	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.08	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-4523478-1751601949.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
1.09/0.64	c ... done. Wall clock time 0.508s.
1.09/0.64	c declared #vars     1289
1.09/0.64	c #constraints  1095
1.09/0.64	c constraints type 
1.09/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.09/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.09/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.09/0.65	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.09/0.65	c 1095 constraints processed.
1.09/0.66	c objective function length is 773 literals
2.84/1.79	c cleaning 2499 clauses out of 5000 with flag 14694/5000
3.87/2.62	c cleaning 4245 clauses out of 8502 with flag 30445/11001
4.67/3.36	c cleaning 5622 clauses out of 11257 with flag 50679/18001
5.75/4.30	c cleaning 6811 clauses out of 13635 with flag 74707/26001
6.66/5.14	c cleaning 7908 clauses out of 15825 with flag 99204/35002
7.86/6.34	c cleaning 8945 clauses out of 17916 with flag 130557/45001
9.16/7.60	c cleaning 9978 clauses out of 19970 with flag 165134/56000
10.57/9.07	c cleaning 10985 clauses out of 21993 with flag 201599/68001
11.97/10.46	c cleaning 11998 clauses out of 24007 with flag 246128/81000
13.87/12.30	c cleaning 12993 clauses out of 26010 with flag 294516/95001
15.77/14.27	c cleaning 14004 clauses out of 28017 with flag 347801/110001
18.31/16.70	c cleaning 15000 clauses out of 30013 with flag 399036/126001
20.94/19.30	c cleaning 16000 clauses out of 32013 with flag 460221/143001
23.54/21.96	c cleaning 16996 clauses out of 34012 with flag 521503/161000
26.57/24.95	c cleaning 18001 clauses out of 36016 with flag 588221/180000
29.66/28.09	c cleaning 18998 clauses out of 38017 with flag 661119/200002
32.97/31.34	c cleaning 19999 clauses out of 40018 with flag 738295/221001
36.31/34.63	c cleaning 21004 clauses out of 42019 with flag 819558/243001
40.00/38.32	c cleaning 21998 clauses out of 44016 with flag 904122/266002
43.92/42.29	c cleaning 22998 clauses out of 46016 with flag 994628/290000
47.72/46.06	c cleaning 24001 clauses out of 48019 with flag 1088054/315001
52.00/50.34	c cleaning 25001 clauses out of 50019 with flag 1180444/341002
56.45/54.77	c cleaning 25987 clauses out of 52017 with flag 1279340/368001
58.21/56.41	c cleaning 26997 clauses out of 54030 with flag 1338022/396001
59.96/58.16	c cleaning 27994 clauses out of 56032 with flag 1398974/425000
61.96/60.10	c cleaning 28999 clauses out of 58040 with flag 1462417/455002
63.75/61.99	c cleaning 30000 clauses out of 60039 with flag 1527819/486000
65.89/64.08	c cleaning 30998 clauses out of 62039 with flag 1596022/518000
67.98/66.11	c cleaning 32001 clauses out of 64041 with flag 1665763/551000
69.87/68.03	c cleaning 32997 clauses out of 66041 with flag 1737583/585001
72.19/70.39	c cleaning 34005 clauses out of 68045 with flag 1811012/620002
74.39/72.51	c cleaning 34997 clauses out of 70038 with flag 1886602/656000
76.71/74.87	c cleaning 35997 clauses out of 72041 with flag 1964478/693000
79.01/77.19	c cleaning 36997 clauses out of 74045 with flag 2045387/731001
81.80/79.94	c cleaning 38004 clauses out of 76049 with flag 2128236/770002
84.53/82.70	c cleaning 38998 clauses out of 78043 with flag 2213731/810000
87.52/85.66	c cleaning 39998 clauses out of 80046 with flag 2300293/851001
90.63/88.73	c cleaning 41001 clauses out of 82047 with flag 2388859/893000
93.61/91.72	c cleaning 42000 clauses out of 84046 with flag 2479671/936000
96.82/94.90	c cleaning 43002 clauses out of 86046 with flag 2572682/980000
99.61/97.79	c cleaning 44000 clauses out of 88046 with flag 2667191/1025002
102.82/100.93	c cleaning 45001 clauses out of 90045 with flag 2763974/1071001
106.03/104.13	c cleaning 46001 clauses out of 92046 with flag 2863902/1118003
109.54/107.61	c cleaning 46997 clauses out of 94044 with flag 2964998/1166002
112.94/111.02	c cleaning 47999 clauses out of 96046 with flag 3068805/1215001
116.35/114.44	c cleaning 49002 clauses out of 98048 with flag 3176316/1265002
119.54/117.68	c cleaning 49999 clauses out of 100044 with flag 3284842/1316000
123.07/121.19	c cleaning 51003 clauses out of 102049 with flag 3395650/1368004
126.89/124.95	c cleaning 51996 clauses out of 104042 with flag 3507867/1421000
130.68/128.75	c cleaning 53005 clauses out of 106047 with flag 3621279/1475001
135.32/133.35	c cleaning 54001 clauses out of 108042 with flag 3736235/1530001
139.75/137.75	c cleaning 54999 clauses out of 110041 with flag 3855143/1586001
144.24/142.28	c cleaning 55994 clauses out of 112041 with flag 3977216/1643000
148.97/146.92	c cleaning 57007 clauses out of 114048 with flag 4100752/1701001
153.89/151.88	c cleaning 58000 clauses out of 116041 with flag 4225242/1760001
159.04/156.94	c cleaning 58995 clauses out of 118040 with flag 4351665/1820000
163.99/161.85	c cleaning 59999 clauses out of 120045 with flag 4482854/1881000
168.74/166.58	c cleaning 61000 clauses out of 122047 with flag 4615378/1943001
173.83/171.67	c cleaning 61999 clauses out of 124046 with flag 4749454/2006000
179.15/177.00	c cleaning 62997 clauses out of 126047 with flag 4885356/2070000
185.08/182.87	c cleaning 64005 clauses out of 128052 with flag 5023043/2135002
190.81/188.52	c cleaning 65000 clauses out of 130047 with flag 5163344/2201002
196.36/194.09	c cleaning 66001 clauses out of 132045 with flag 5305068/2268000
201.80/199.44	c cleaning 66997 clauses out of 134044 with flag 5449950/2336000
206.94/204.56	c cleaning 67996 clauses out of 136047 with flag 5596218/2405000
212.37/209.98	c cleaning 68998 clauses out of 138052 with flag 5746397/2475001
217.65/215.22	c cleaning 70000 clauses out of 140053 with flag 5896539/2546000
223.77/221.34	c cleaning 71001 clauses out of 142055 with flag 6049002/2618002
229.80/227.30	c cleaning 71999 clauses out of 144053 with flag 6202550/2691001
236.23/233.70	c cleaning 73005 clauses out of 146055 with flag 6359671/2765002
243.17/240.69	c cleaning 74002 clauses out of 148048 with flag 6521265/2840000
250.00/247.49	c cleaning 74998 clauses out of 150048 with flag 6684978/2916002
256.02/253.40	c cleaning 75998 clauses out of 152048 with flag 6851089/2993000
262.36/259.75	c cleaning 77000 clauses out of 154050 with flag 7019757/3071000
268.38/265.75	c cleaning 78004 clauses out of 156051 with flag 7189325/3150001
275.40/272.71	c cleaning 79001 clauses out of 158046 with flag 7360348/3230000
282.83/280.15	c cleaning 80001 clauses out of 160045 with flag 7534885/3311000
289.47/286.71	c cleaning 80998 clauses out of 162044 with flag 7708073/3393000
296.49/293.77	c cleaning 82002 clauses out of 164046 with flag 7885942/3476000
304.85/302.03	c cleaning 82998 clauses out of 166044 with flag 8064052/3560000
312.08/309.23	c cleaning 84002 clauses out of 168048 with flag 8243096/3645002
319.79/316.95	c cleaning 84996 clauses out of 170045 with flag 8424367/3731001
327.50/324.63	c cleaning 85997 clauses out of 172048 with flag 8609933/3818000
335.01/332.14	c cleaning 86999 clauses out of 174053 with flag 8796854/3906002
343.11/340.27	c cleaning 88002 clauses out of 176052 with flag 8984106/3995000
351.17/348.29	c cleaning 88994 clauses out of 178050 with flag 9176918/4085000
360.02/357.04	c cleaning 90002 clauses out of 180057 with flag 9370742/4176001
368.85/365.82	c cleaning 90998 clauses out of 182058 with flag 9566221/4268004
376.92/373.83	c cleaning 92008 clauses out of 184059 with flag 9765540/4361003
385.44/382.39	c cleaning 93002 clauses out of 186049 with flag 9962878/4455001
392.98/389.65	c cleaning 93999 clauses out of 188046 with flag 10163558/4550000
401.52/398.12	c cleaning 94998 clauses out of 190047 with flag 10367075/4646000
410.53/407.15	c cleaning 96000 clauses out of 192049 with flag 10574026/4743000
419.14/415.75	c cleaning 96999 clauses out of 194051 with flag 10783109/4841002
427.56/424.18	c cleaning 98000 clauses out of 196051 with flag 10992735/4940001
436.23/432.78	c cleaning 99001 clauses out of 198054 with flag 11205550/5040004
444.78/441.20	c cleaning 99995 clauses out of 200050 with flag 11420097/5141001
455.54/451.94	c cleaning 101002 clauses out of 202056 with flag 11637411/5243002
465.06/461.48	c cleaning 102000 clauses out of 204054 with flag 11856208/5346002
474.29/470.64	c cleaning 103005 clauses out of 206053 with flag 12077589/5450001
483.66/479.93	c cleaning 104000 clauses out of 208047 with flag 12301923/5555000
494.67/490.96	c cleaning 104997 clauses out of 210047 with flag 12526700/5661000
505.22/501.44	c cleaning 106002 clauses out of 212051 with flag 12753350/5768001
516.74/512.96	c cleaning 106998 clauses out of 214049 with flag 12982680/5876001
528.80/524.98	c cleaning 108002 clauses out of 216050 with flag 13217610/5985000
540.11/536.28	c cleaning 109004 clauses out of 218053 with flag 13453967/6095005
551.24/547.33	c cleaning 110000 clauses out of 220044 with flag 13692101/6206000
562.76/558.81	c cleaning 110998 clauses out of 222046 with flag 13934846/6318002
574.30/570.34	c cleaning 111999 clauses out of 224046 with flag 14179160/6431000
584.82/580.85	c cleaning 113004 clauses out of 226047 with flag 14424029/6545000
595.93/591.83	c cleaning 113997 clauses out of 228043 with flag 14666462/6660000
608.55/604.49	c cleaning 115003 clauses out of 230047 with flag 14914296/6776001
620.72/616.50	c cleaning 115997 clauses out of 232044 with flag 15162287/6893001
633.54/629.34	c cleaning 116999 clauses out of 234047 with flag 15414745/7011001
645.42/641.13	c cleaning 117997 clauses out of 236049 with flag 15668152/7130002
657.45/653.12	c cleaning 118997 clauses out of 238052 with flag 15923002/7250002
670.08/665.73	c cleaning 120003 clauses out of 240054 with flag 16181350/7371001
683.36/678.92	c cleaning 120997 clauses out of 242050 with flag 16440970/7493000
697.29/692.88	c cleaning 122003 clauses out of 244054 with flag 16704445/7616001
711.72/707.21	c cleaning 123002 clauses out of 246050 with flag 16970194/7740000
724.77/720.23	c cleaning 123997 clauses out of 248048 with flag 17235867/7865000
737.53/732.97	c cleaning 125004 clauses out of 250051 with flag 17506604/7991000
750.15/745.50	c cleaning 125999 clauses out of 252047 with flag 17775599/8118000
762.58/757.97	c cleaning 127002 clauses out of 254049 with flag 18043384/8246001
776.00/771.06	c cleaning 127998 clauses out of 256046 with flag 18316684/8375000
788.52/783.51	c cleaning 128995 clauses out of 258049 with flag 18588697/8505001
800.75/795.77	c cleaning 130005 clauses out of 260053 with flag 18867321/8636000
812.27/807.22	c cleaning 131005 clauses out of 262052 with flag 19145545/8768004
824.91/819.80	c cleaning 132000 clauses out of 264045 with flag 19424138/8901002
836.03/830.97	c cleaning 132999 clauses out of 266043 with flag 19704132/9035000
848.95/843.80	c cleaning 133997 clauses out of 268044 with flag 19989904/9170000
861.76/856.68	c cleaning 134996 clauses out of 270047 with flag 20278678/9306000
876.69/871.52	c cleaning 136004 clauses out of 272052 with flag 20571340/9443001
890.30/885.18	c cleaning 136999 clauses out of 274047 with flag 20863864/9581000
904.24/899.08	c cleaning 137996 clauses out of 276049 with flag 21157591/9720001
917.94/912.79	c cleaning 138999 clauses out of 278054 with flag 21448982/9860002
932.57/927.36	c cleaning 140002 clauses out of 280055 with flag 21746737/10001002
948.81/943.56	c cleaning 141003 clauses out of 282051 with flag 22047110/10143000
964.06/958.74	c cleaning 142000 clauses out of 284049 with flag 22349422/10286001
979.59/974.23	c cleaning 143002 clauses out of 286050 with flag 22655286/10430002
994.00/988.70	c cleaning 143998 clauses out of 288046 with flag 22960825/10575000
1008.32/1002.92	c cleaning 144997 clauses out of 290048 with flag 23270378/10721000
1024.47/1019.07	c cleaning 146003 clauses out of 292052 with flag 23582524/10868001
1039.68/1034.21	c cleaning 146998 clauses out of 294048 with flag 23895518/11016000
1054.25/1048.72	c cleaning 147994 clauses out of 296050 with flag 24214045/11165000
1070.31/1064.77	c cleaning 149007 clauses out of 298058 with flag 24536925/11315002
1087.54/1081.99	c cleaning 150004 clauses out of 300049 with flag 24858698/11466000
1104.80/1099.11	c cleaning 150999 clauses out of 302046 with flag 25180760/11618001
1119.74/1114.02	c cleaning 151998 clauses out of 304048 with flag 25503855/11771002
1135.93/1130.22	c cleaning 152998 clauses out of 306048 with flag 25830849/11925000
1151.00/1145.25	c cleaning 154001 clauses out of 308052 with flag 26158491/12080002
1167.22/1161.40	c cleaning 155000 clauses out of 310049 with flag 26487952/12236000
1184.92/1179.15	c cleaning 156003 clauses out of 312051 with flag 26822407/12393002
1202.46/1196.64	c cleaning 156995 clauses out of 314046 with flag 27157158/12551000
1220.81/1214.95	c cleaning 157997 clauses out of 316051 with flag 27493957/12710000
1237.54/1231.65	c cleaning 159000 clauses out of 318054 with flag 27835445/12870000
1257.23/1251.23	c cleaning 160000 clauses out of 320054 with flag 28182011/13031000
1275.68/1269.65	c cleaning 161001 clauses out of 322054 with flag 28530822/13193000
1293.64/1287.58	c cleaning 162005 clauses out of 324053 with flag 28876805/13356000
1309.43/1303.28	c cleaning 162998 clauses out of 326054 with flag 29221575/13520006
1329.35/1322.81	c cleaning 163998 clauses out of 328050 with flag 29567501/13685000
1347.24/1340.69	c cleaning 164998 clauses out of 330052 with flag 29917595/13851000
1365.66/1359.04	c cleaning 166005 clauses out of 332054 with flag 30266597/14018000
1381.61/1374.98	c cleaning 167003 clauses out of 334051 with flag 30617650/14186002
1400.78/1394.10	c cleaning 167998 clauses out of 336047 with flag 30971653/14355001
1419.52/1412.76	c cleaning 168999 clauses out of 338049 with flag 31329329/14525001
1439.16/1432.31	c cleaning 169996 clauses out of 340049 with flag 31688141/14696000
1459.01/1452.17	c cleaning 171002 clauses out of 342053 with flag 32049896/14868000
1479.05/1472.17	c cleaning 171999 clauses out of 344052 with flag 32414216/15041001
1498.21/1491.25	c cleaning 173001 clauses out of 346053 with flag 32781226/15215001
1517.45/1510.44	c cleaning 173996 clauses out of 348051 with flag 33149794/15390000
1537.71/1530.67	c cleaning 175002 clauses out of 350055 with flag 33519059/15566000
1559.61/1552.52	c cleaning 175996 clauses out of 352053 with flag 33892072/15743000
1577.03/1569.93	c cleaning 177003 clauses out of 354060 with flag 34268267/15921003
1594.95/1587.86	c cleaning 177998 clauses out of 356054 with flag 34644294/16100000
1611.41/1604.25	c cleaning 178998 clauses out of 358056 with flag 35020663/16280000
1631.55/1624.38	c cleaning 180001 clauses out of 360060 with flag 35400769/16461002
1651.66/1644.50	c cleaning 180999 clauses out of 362057 with flag 35783115/16643000
1671.92/1664.63	c cleaning 182003 clauses out of 364059 with flag 36168834/16826001
1695.05/1687.31	c cleaning 182997 clauses out of 366058 with flag 36557940/17010003
1716.09/1708.33	c cleaning 184008 clauses out of 368058 with flag 36948012/17195000
1738.01/1730.11	c cleaning 185002 clauses out of 370052 with flag 37340386/17381002
1759.84/1751.94	c cleaning 186000 clauses out of 372048 with flag 37734935/17568000
1782.07/1774.16	c cleaning 186999 clauses out of 374048 with flag 38134704/17756000
1803.67/1795.62	c cleaning 188000 clauses out of 376050 with flag 38536054/17945001
1825.70/1817.67	c cleaning 189003 clauses out of 378051 with flag 38939361/18135002
1847.44/1839.38	c cleaning 189997 clauses out of 380047 with flag 39341133/18326001
1869.10/1860.98	c cleaning 191002 clauses out of 382051 with flag 39747214/18518002
1889.95/1881.76	c cleaning 192001 clauses out of 384047 with flag 40156289/18711000
1912.81/1904.58	c cleaning 192996 clauses out of 386046 with flag 40570764/18905000
1935.85/1927.58	c cleaning 193998 clauses out of 388050 with flag 40986748/19100000
1957.86/1949.57	c cleaning 194998 clauses out of 390053 with flag 41398743/19296001
1980.96/1972.56	c cleaning 196002 clauses out of 392054 with flag 41815082/19493000
2004.21/1995.71	c cleaning 197001 clauses out of 394053 with flag 42235805/19691001
2027.03/2018.41	c cleaning 198001 clauses out of 396052 with flag 42662118/19890001
2051.84/2042.86	c cleaning 199005 clauses out of 398051 with flag 43089530/20090001
2074.97/2065.80	c cleaning 199994 clauses out of 400046 with flag 43520087/20291001
2099.08/2089.99	c cleaning 200996 clauses out of 402051 with flag 43956092/20493000
2123.85/2114.65	c cleaning 202006 clauses out of 404056 with flag 44383684/20696001
2148.92/2139.60	c cleaning 203001 clauses out of 406049 with flag 44816034/20900000
2173.05/2163.62	c cleaning 203995 clauses out of 408049 with flag 45250048/21105001
2195.22/2185.73	c cleaning 205002 clauses out of 410053 with flag 45689111/21311000
2218.99/2209.48	c cleaning 206003 clauses out of 412051 with flag 46126665/21518000
2243.22/2233.64	c cleaning 206998 clauses out of 414049 with flag 46566106/21726001
2268.88/2259.21	c cleaning 208002 clauses out of 416052 with flag 47009704/21935002
2294.14/2284.47	c cleaning 209001 clauses out of 418049 with flag 47452410/22145001
2322.25/2312.58	c cleaning 209993 clauses out of 420048 with flag 47898896/22356001
2346.91/2337.16	c cleaning 211001 clauses out of 422056 with flag 48343783/22568002
2372.95/2363.11	c cleaning 212005 clauses out of 424054 with flag 48791729/22781001
2399.65/2389.21	c cleaning 213003 clauses out of 426049 with flag 49245838/22995001
2424.38/2413.94	c cleaning 213993 clauses out of 428045 with flag 49698418/23210000
2447.85/2437.31	c cleaning 215000 clauses out of 430053 with flag 50152381/23426001
2470.00/2459.40	c cleaning 216003 clauses out of 432055 with flag 50608169/23643003
2495.39/2484.81	c cleaning 217000 clauses out of 434052 with flag 51065912/23861003
2523.04/2512.44	c cleaning 217998 clauses out of 436049 with flag 51527762/24080000
2548.04/2537.36	c cleaning 219002 clauses out of 438051 with flag 51992106/24300000
2572.17/2561.48	c cleaning 219996 clauses out of 440049 with flag 52460371/24521000
2596.55/2585.74	c cleaning 221002 clauses out of 442055 with flag 52929625/24743002
2621.79/2610.95	c cleaning 222002 clauses out of 444051 with flag 53398477/24966000
2651.09/2640.13	c cleaning 222996 clauses out of 446049 with flag 53870369/25190000
2681.06/2670.04	c cleaning 223998 clauses out of 448053 with flag 54346669/25415000
2708.22/2697.15	c cleaning 225004 clauses out of 450055 with flag 54825479/25641000
2735.22/2724.01	c cleaning 225999 clauses out of 452051 with flag 55310043/25868000
2760.95/2749.16	c cleaning 227001 clauses out of 454052 with flag 55794962/26096000
2786.78/2774.93	c cleaning 228002 clauses out of 456052 with flag 56282987/26325001
2814.42/2802.49	c cleaning 229001 clauses out of 458052 with flag 56772372/26555003
2841.50/2829.44	c cleaning 230000 clauses out of 460050 with flag 57261315/26786002
2867.74/2855.66	c cleaning 230997 clauses out of 462048 with flag 57749968/27018000
2897.11/2884.96	c cleaning 231996 clauses out of 464051 with flag 58240616/27251000
2925.64/2913.45	c cleaning 233000 clauses out of 466055 with flag 58734781/27485000
2949.54/2937.23	c cleaning 234002 clauses out of 468055 with flag 59231842/27720000
2977.08/2964.73	c cleaning 235001 clauses out of 470053 with flag 59731415/27956000
3003.85/2991.49	c cleaning 236000 clauses out of 472054 with flag 60231845/28193002
3036.98/3023.89	c cleaning 236998 clauses out of 474052 with flag 60741625/28431000
3068.11/3054.95	c cleaning 238006 clauses out of 476055 with flag 61253501/28670001
3102.67/3089.47	c cleaning 239000 clauses out of 478049 with flag 61768500/28910001
3131.54/3118.25	c cleaning 239996 clauses out of 480048 with flag 62282362/29151000
3159.65/3146.35	c cleaning 241004 clauses out of 482057 with flag 62793702/29393005
3188.69/3175.23	c cleaning 241999 clauses out of 484050 with flag 63310731/29636002
3222.06/3208.58	c cleaning 242997 clauses out of 486049 with flag 63836082/29880000
3252.65/3239.08	c cleaning 244001 clauses out of 488052 with flag 64354617/30125000
3285.83/3272.14	c cleaning 244990 clauses out of 490051 with flag 64881385/30371000
3315.45/3301.70	c cleaning 246007 clauses out of 492061 with flag 65408783/30618000
3348.92/3335.13	c cleaning 247001 clauses out of 494054 with flag 65942163/30866000
3379.03/3364.56	c cleaning 247998 clauses out of 496054 with flag 66482071/31115001
3414.93/3400.32	c cleaning 248998 clauses out of 498056 with flag 67010504/31365001
3446.43/3431.76	c cleaning 249998 clauses out of 500057 with flag 67542404/31616000
3483.48/3468.79	c cleaning 250998 clauses out of 502060 with flag 68078477/31868001
3514.91/3500.02	c cleaning 252007 clauses out of 504061 with flag 68618643/32121000
3554.55/3539.67	c cleaning 253005 clauses out of 506054 with flag 69147965/32375000
3591.37/3575.84	c cleaning 254002 clauses out of 508050 with flag 69684107/32630001
3600.09/3584.51	c starts		: 115
3600.09/3584.52	c conflicts		: 32719703
3600.09/3584.52	c decisions		: 36811447
3600.09/3584.52	c propagations		: 159906614
3600.09/3584.52	c inspects		: 24664765156
3600.09/3584.52	c shortcuts		: 0
3600.09/3584.52	c learnt literals	: 0
3600.09/3584.52	c learnt binary clauses	: 0
3600.09/3584.52	c learnt ternary clauses	: 0
3600.09/3584.52	c learnt constraints	: 32719703
3600.09/3584.52	c timeout
3600.09/3584.53	c ignored constraints	: 0
3600.09/3584.53	c root simplifications	: 0
3600.09/3584.53	c removed literals (reason simplification)	: 7282140
3600.09/3584.53	c reason swapping (by a shorter reason)	: 0
3600.09/3584.53	c Calls to reduceDB	: 251
3600.09/3584.53	c Number of update (reduction) of LBD	: 3566989
3600.09/3584.53	c Imported unit clauses	: 0
3600.09/3584.53	c No decision after first conflict	: false
3600.09/3584.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3584.53	c number of learned constraints concerned by reduction	: 0
3600.09/3584.53	c number of learning phase by resolution	: 0
3600.09/3584.53	c number of learning phase by cutting planes	: 0
3600.09/3584.53	c number of rounding to 1 operations	: 0
3600.09/3584.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3584.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3584.53	c number of right shift for reduction by power 2 	: 0
3600.09/3584.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3584.53	c number of ending skipping 	: 0
3600.09/3584.53	c number of internal skipping 	: 0
3600.09/3584.53	c number of derivation steps 	: 0
3600.09/3584.53	c number of skipped derivation steps 	: 0
3600.09/3584.53	c number of remaining unassigned 	: 0
3600.09/3584.53	c number of remaining assigned 	: 0
3600.09/3584.53	c number of falsified literals weakened from reason	: 0
3600.09/3584.53	c number of falsified literals weakened from conflict	: 0
3600.09/3584.53	c time for arithmetic operations	: 0
3600.09/3584.53	c minimum degree of deleted constraints	: null
3600.09/3584.53	c maximum degree of deleted constraints	: null
3600.09/3584.53	c number of deleted constraints	: 0
3600.09/3584.53	c speed (assignments/second)	: 44618.506343573965
3600.09/3584.53	c non guided choices	: 920
3600.09/3584.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 343750
3600.09/3584.59	s UNKNOWN
3600.09/3584.59	c Total wall clock time (in seconds): 3584.462

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523478-1751601949/watcher-4523478-1751601949 -o /tmp/evaluation-result-4523478-1751601949/solver-4523478-1751601949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85759 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523478-1751601949.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=86387, runsolver pid=86384

[startup+0.100069 s]*
/proc/loadavg: 4.52 4.28 4.17 6/338 86405
/proc/meminfo: memFree=119791268/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=18930384 memory=57764 CPUtime=0.12 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 6617 0 0 0 11 1 0 0 20 0 18 0 75874803 19384713216 14441 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4732596 14441 5335 1 0 547658 0
[pid=86387/tid=86389] ppid=86384 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5101 0 0 0 7 1 0 0 20 0 18 0 75874804 19384713216 14441 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75874806 19384713216 14441 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75874807 19384713216 14441 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57764 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.52 4.28 4.17 6/338 86406
/proc/meminfo: memFree=119778980/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=18930384 memory=72112 CPUtime=0.32 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 7004 0 0 0 30 2 0 0 20 0 18 0 75874803 19384713216 18028 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4732596 18028 5431 1 0 547889 0
[pid=86387/tid=86389] ppid=86384 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5264 0 0 0 17 1 0 0 20 0 18 0 75874804 19384713216 18028 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75874806 19384713216 18028 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75874807 19384713216 18028 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72112 KiB

[startup+0.305721 s]*
/proc/loadavg: 4.52 4.28 4.17 7/338 86406
/proc/meminfo: memFree=119742208/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=18930384 memory=110536 CPUtime=0.52 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 9224 0 0 0 49 3 0 0 20 0 18 0 75874803 19384713216 27634 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4732596 27634 5431 1 0 549265 0
[pid=86387/tid=86389] ppid=86384 vsize=18930384 memory=-6000919489836181095 CPUtime=0.27 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5283 0 0 0 26 1 0 0 20 0 18 0 75874804 19384713216 27634 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75874806 19384713216 27634 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75874807 19384713216 27634 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 110536 KiB

[startup+0.700227 s]
/proc/loadavg: 4.52 4.28 4.17 6/339 86407
/proc/meminfo: memFree=119676672/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=191568 CPUtime=1.28 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 10007 0 0 0 123 5 0 0 20 0 20 0 75874803 19521036288 47892 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 47892 5495 1 0 550290 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=18816 CPUtime=0.6 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5419 0 0 0 57 3 0 0 20 0 20 0 75874804 19521036288 47892 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 47892 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 47892 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191568 KiB

[startup+1.50024 s]
/proc/loadavg: 4.52 4.28 4.17 6/340 86408
/proc/meminfo: memFree=119664724/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=205892 CPUtime=2.61 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 10704 0 0 0 255 6 0 0 20 0 20 0 75874803 19521036288 51473 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 51473 5495 1 0 550629 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=3328 CPUtime=1.36 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5448 0 0 0 133 3 0 0 20 0 20 0 75874804 19521036288 51473 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 51473 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 51473 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 51473 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205892 KiB

[startup+3.10552 s]
/proc/loadavg: 4.52 4.28 4.17 5/340 86408
/proc/meminfo: memFree=119102032/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=327812 CPUtime=4.47 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 14392 0 0 0 439 8 0 0 20 0 20 0 75874803 19521036288 81953 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 81953 5495 1 0 550813 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=14720 CPUtime=2.95 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 5925 0 0 0 290 5 0 0 20 0 20 0 75874804 19521036288 81953 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 81953 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 81953 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 81953 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 327812 KiB

[startup+6.30022 s]
/proc/loadavg: 4.48 4.27 4.17 5/340 86408
/proc/meminfo: memFree=117836700/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=880260 CPUtime=7.86 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 16759 0 0 0 767 19 0 0 20 0 20 0 75874803 19521036288 220065 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 220065 5495 1 0 551083 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=0 CPUtime=6.14 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 6995 0 0 0 599 15 0 0 20 0 20 0 75874804 19521036288 220065 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 220065 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 220065 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=205892 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 220065 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 880260 KiB

[startup+12.7002 s]
/proc/loadavg: 4.44 4.27 4.17 6/340 86408
/proc/meminfo: memFree=116865708/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=1304212 CPUtime=14.27 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 19358 0 0 0 1400 27 0 0 20 0 20 0 75874803 19521036288 326053 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 326053 5495 1 0 551083 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=205892 CPUtime=12.49 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 8151 0 0 0 1227 22 0 0 20 0 20 0 75874804 19521036288 326053 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=1304212 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 326053 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 326053 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 326053 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1304212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.27 4.18 5/340 86408
/proc/meminfo: memFree=115312200/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=1335292 CPUtime=27.16 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 23608 0 0 0 2688 28 0 0 20 0 20 0 75874803 19521036288 333823 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 333823 5527 1 0 551083 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=0 CPUtime=25.19 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 9251 0 0 0 2497 22 0 0 20 0 20 0 75874804 19521036288 333823 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 333823 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=1335292 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 333823 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=1304340 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 333823 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1335292 KiB

[startup+51.1056 s]
/proc/loadavg: 4.43 4.28 4.18 5/340 86408
/proc/meminfo: memFree=113819644/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=1364068 CPUtime=52.8 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 26038 0 0 0 5251 29 0 0 20 0 20 0 75874803 19521036288 341017 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 341017 5527 1 0 551083 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=1335292 CPUtime=50.63 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 10725 0 0 0 5041 22 0 0 20 0 20 0 75874804 19521036288 341017 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=28160 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 341017 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 341017 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=1304212 CPUtime=0 cores=0,2

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

/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 814 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3235.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.38 4.44 5/339 86687
/proc/meminfo: memFree=120807184/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3296.03 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 107963 0 0 0 329478 125 0 0 20 0 20 0 75874803 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542426 5559 1 0 554929 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3255.8 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 54035 0 0 0 325549 31 0 0 20 0 20 0 75874804 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3296.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169704 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.32 4.42 5/339 86700
/proc/meminfo: memFree=120432164/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3356.13 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 108257 0 0 0 335487 126 0 0 20 0 20 0 75874803 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542426 5559 1 0 554929 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3315.42 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 54266 0 0 0 331511 31 0 0 20 0 20 0 75874804 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2169704 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542426 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3356.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.32 4.41 5/339 86702
/proc/meminfo: memFree=120295148/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2171112 CPUtime=3416.92 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 115417 0 0 0 341564 128 0 0 20 0 20 0 75874803 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542778 5559 1 0 555332 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3374.85 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 59272 0 0 0 337454 31 0 0 20 0 20 0 75874804 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2171112 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=2171112 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3416.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.29 4.39 6/339 86704
/proc/meminfo: memFree=120072868/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2171112 CPUtime=3477.09 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 116722 0 0 0 347579 130 0 0 20 0 20 0 75874803 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542778 5559 1 0 555333 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2169704 CPUtime=3434.38 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 60273 0 0 0 343407 31 0 0 20 0 20 0 75874804 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=21968 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 910 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3477.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.27 4.38 5/339 86706
/proc/meminfo: memFree=119917572/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2171112 CPUtime=3537.29 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 117492 0 0 0 353598 131 0 0 20 0 20 0 75874803 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542778 5559 1 0 555333 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2171112 CPUtime=3493.88 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 60501 0 0 0 349357 31 0 0 20 0 20 0 75874804 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=2171112 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=21968 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542778 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3537.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.35 5/339 86775
/proc/meminfo: memFree=122870924/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2171240 CPUtime=3597.89 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 121066 0 0 0 359656 133 0 0 20 0 20 0 75874803 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542810 5559 1 0 555334 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=10880 CPUtime=3553.42 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 62700 0 0 0 355311 31 0 0 20 0 20 0 75874804 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3597.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.5 s]
/proc/loadavg: 4.11 4.23 4.35 5/339 86775
/proc/meminfo: memFree=122854540/131250000 swapFree=33010416/33010684
[pid=86387] ppid=86384 vsize=19063512 memory=2171240 CPUtime=3600.09 cores=0,2
/proc/86387/stat : 86387 (java) S 86384 86387 85745 0 -1 4194304 121066 0 0 0 359876 133 0 0 20 0 20 0 75874803 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
/proc/86387/statm: 4765878 542810 5559 1 0 555334 0
[pid=86387/tid=86389] ppid=86384 vsize=19063512 memory=2171240 CPUtime=3555.62 cores=0,2
/proc/86387/task/86389/stat : 86389 (java) R 86384 86387 85745 0 -1 4194368 62700 0 0 0 355531 31 0 0 20 0 20 0 75874804 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86398] ppid=86384 vsize=19063512 memory=2171240 CPUtime=0 cores=0,2
/proc/86387/task/86398/stat : 86398 (Finalizer) S 86384 86387 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75874806 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86405] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86405/stat : 86405 (Common-Cleaner) S 86384 86387 85745 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 75874807 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
[pid=86387/tid=86408] ppid=86384 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/86387/task/86408/stat : 86408 (Timer-0) S 86384 86387 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75874870 19521036288 542810 18446744073709551615 93915046027264 93915046030960 140735843017040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93915046038776 93915046039568 93915062042624 140735843023233 140735843023334 140735843023334 140735843028936 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.9 s, system=1.34495 s

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

[startup+3584.6 s]*
/proc/loadavg: 4.19 4.25 4.36 5/321 86778
/proc/meminfo: memFree=124898784/131250000 swapFree=33010416/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): 3584.63
CPU time (s): 3600.24
CPU user time (s): 3598.9
CPU system time (s): 1.34495
CPU usage (%): 100.435
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2171240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.9
system time used= 1.34495
maximum resident set size= 2172136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128480
involuntary context switches= 11365


# summary of solver processes directly reported to runsolver:
#   pid: 86387
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3598.9
#   total CPU system time (s): 1.34495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27861 second user time and 16.8608 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 06:05:49
IDJOB=4523478
IDBENCH=180363
IDSOLVER=3363
FILE ID=nodeC027/4523478-1751601949
RUNJOBID= nodeC027-1751598323-85759
SLURM_JOB_ID= 9598871
Free space on /tmp= 431176 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523478-1751601949/watcher-4523478-1751601949 -o /tmp/evaluation-result-4523478-1751601949/solver-4523478-1751601949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85759 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523478-1751601949.opb

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

MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9
RANDOM SEED=139911336

nodeC027 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.107
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        119911496 kB
MemAvailable:   120240652 kB
Buffers:            2488 kB
Cached:          1127596 kB
SwapCached:           12 kB
Active:         10116016 kB
Inactive:         587056 kB
Active(anon):    9588252 kB
Inactive(anon):     2792 kB
Active(file):     527764 kB
Inactive(file):   584264 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3952 kB
Writeback:             0 kB
AnonPages:       9576068 kB
Mapped:           124176 kB
Shmem:             18056 kB
KReclaimable:     112332 kB
Slab:             202360 kB
SReclaimable:     112332 kB
SUnreclaim:        90028 kB
KernelStack:        5184 kB
PageTables:        22368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   16744808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9322496 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC027 at 2025-07-04 07:05:34