Trace number 4542042

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.87 3297.08

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
MD5SUM20f5dc2e187fea802b1fd8b2eb35ac07
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.41364
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3571
Total number of constraints1850
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints1794
Minimum length of a constraint1
Maximum length of a constraint840
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 36028797018963968
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 144115188075855871
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.21	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4542042-1753212756.opb
0.43/0.35	c reading problem ... 
0.43/0.35	c  no objective function found
0.79/0.55	c ... done. Wall clock time 0.203s.
0.79/0.55	c declared #vars     3571
0.79/0.55	c #constraints  3699
0.79/0.55	c constraints type 
0.79/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1818
0.79/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1761
0.79/0.56	c org.sat4j.specs.Constr$1 => 56
0.79/0.56	c org.sat4j.pb.constraints.pb.UnitClausePB => 56
0.79/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8
0.79/0.56	c 3699 constraints processed.
3.21/2.00	c cleaning 2497 clauses out of 5000 with flag 10000/5000
4.63/2.91	c cleaning 4249 clauses out of 8503 with flag 22000/11000
5.68/3.78	c cleaning 5622 clauses out of 11254 with flag 36000/18000
7.48/5.47	c cleaning 6810 clauses out of 13632 with flag 52000/26000
9.43/7.13	c cleaning 7905 clauses out of 15822 with flag 70000/35000
10.51/8.24	c cleaning 8950 clauses out of 17917 with flag 90000/45000
12.01/9.50	c cleaning 9977 clauses out of 19967 with flag 112000/56000
13.52/10.93	c cleaning 10990 clauses out of 21990 with flag 136000/68000
15.11/12.45	c cleaning 11992 clauses out of 24000 with flag 162000/81000
17.55/14.52	c cleaning 12996 clauses out of 26008 with flag 190000/95000
20.24/17.20	c cleaning 13997 clauses out of 28012 with flag 220000/110000
23.29/20.24	c cleaning 15000 clauses out of 30015 with flag 252000/126000
25.64/22.50	c cleaning 16000 clauses out of 32015 with flag 286000/143000
27.83/24.53	c cleaning 16999 clauses out of 34015 with flag 322000/161000
30.74/27.18	c cleaning 17999 clauses out of 36016 with flag 360000/180000
34.37/30.59	c cleaning 19003 clauses out of 38017 with flag 400000/200000
37.67/33.61	c cleaning 19997 clauses out of 40014 with flag 442000/221000
41.15/36.84	c cleaning 20999 clauses out of 42017 with flag 486000/243000
44.41/39.80	c cleaning 22003 clauses out of 44018 with flag 532000/266000
47.71/42.99	c cleaning 23000 clauses out of 46015 with flag 580000/290000
51.43/46.31	c cleaning 23998 clauses out of 48015 with flag 630000/315000
55.02/49.74	c cleaning 25003 clauses out of 50017 with flag 682000/341000
59.03/53.32	c cleaning 25999 clauses out of 52014 with flag 736000/368000
63.81/58.09	c cleaning 27001 clauses out of 54015 with flag 792000/396000
69.41/63.18	c cleaning 27998 clauses out of 56014 with flag 850000/425000
73.62/67.09	c cleaning 28998 clauses out of 58016 with flag 910000/455000
77.89/71.03	c cleaning 29999 clauses out of 60018 with flag 972000/486000
82.56/75.16	c cleaning 30998 clauses out of 62019 with flag 1036000/518000
87.36/79.54	c cleaning 32004 clauses out of 64021 with flag 1102000/551000
93.04/84.98	c cleaning 33000 clauses out of 66017 with flag 1170000/585000
97.83/89.51	c cleaning 33999 clauses out of 68017 with flag 1240000/620000
103.09/94.39	c cleaning 35005 clauses out of 70018 with flag 1312000/656000
108.18/99.16	c cleaning 36000 clauses out of 72013 with flag 1386000/693000
114.05/104.47	c cleaning 36996 clauses out of 74013 with flag 1462000/731000
120.88/110.98	c cleaning 37996 clauses out of 76017 with flag 1540000/770000
127.22/116.69	c cleaning 39004 clauses out of 78021 with flag 1620000/810000
134.19/123.24	c cleaning 39998 clauses out of 80017 with flag 1702000/851000
139.76/128.65	c cleaning 41003 clauses out of 82019 with flag 1786000/893000
146.26/134.60	c cleaning 42002 clauses out of 84016 with flag 1872000/936000
152.44/140.49	c cleaning 42998 clauses out of 86014 with flag 1960000/980000
161.83/149.00	c cleaning 43996 clauses out of 88016 with flag 2050000/1025000
170.10/156.53	c cleaning 45001 clauses out of 90020 with flag 2142000/1071000
177.69/163.72	c cleaning 46002 clauses out of 92019 with flag 2236000/1118000
186.16/171.50	c cleaning 47000 clauses out of 94017 with flag 2332000/1166000
192.77/177.72	c cleaning 48002 clauses out of 96017 with flag 2430000/1215000
200.39/184.79	c cleaning 48998 clauses out of 98015 with flag 2530000/1265000
208.61/192.63	c cleaning 50003 clauses out of 100017 with flag 2632000/1316000
216.92/199.92	c cleaning 50996 clauses out of 102014 with flag 2736000/1368000
226.31/208.58	c cleaning 51998 clauses out of 104018 with flag 2842000/1421000
235.67/217.11	c cleaning 53001 clauses out of 106020 with flag 2950000/1475000
243.88/224.84	c cleaning 54001 clauses out of 108019 with flag 3060000/1530000
252.43/232.69	c cleaning 55001 clauses out of 110018 with flag 3172000/1586000
260.10/239.97	c cleaning 55999 clauses out of 112017 with flag 3286000/1643000
271.12/250.44	c cleaning 56999 clauses out of 114018 with flag 3402000/1701000
281.26/259.85	c cleaning 58001 clauses out of 116019 with flag 3520000/1760000
291.10/268.83	c cleaning 58999 clauses out of 118018 with flag 3640000/1820000
299.61/276.94	c cleaning 59999 clauses out of 120019 with flag 3762000/1881000
308.59/285.34	c cleaning 60998 clauses out of 122020 with flag 3886000/1943000
318.23/294.26	c cleaning 61998 clauses out of 124022 with flag 4012000/2006000
328.51/303.65	c cleaning 62999 clauses out of 126024 with flag 4140000/2070000
339.85/314.00	c cleaning 64004 clauses out of 128025 with flag 4270000/2135000
348.88/322.53	c cleaning 65002 clauses out of 130021 with flag 4402000/2201000
358.23/331.24	c cleaning 66001 clauses out of 132019 with flag 4536000/2268000
368.26/340.53	c cleaning 67002 clauses out of 134018 with flag 4672000/2336000
379.43/350.91	c cleaning 68000 clauses out of 136016 with flag 4810000/2405000
391.21/361.87	c cleaning 68996 clauses out of 138016 with flag 4950000/2475000
403.42/371.70	c cleaning 70000 clauses out of 140020 with flag 5092000/2546000
415.17/382.48	c cleaning 70999 clauses out of 142020 with flag 5236000/2618000
425.37/392.04	c cleaning 72000 clauses out of 144021 with flag 5382000/2691000
436.47/402.32	c cleaning 73003 clauses out of 146021 with flag 5530000/2765000
447.79/412.78	c cleaning 73999 clauses out of 148018 with flag 5680000/2840000
460.92/424.86	c cleaning 74999 clauses out of 150019 with flag 5832000/2916000
471.81/435.23	c cleaning 75998 clauses out of 152020 with flag 5986000/2993000
483.55/446.20	c cleaning 77000 clauses out of 154022 with flag 6142000/3071000
495.99/457.90	c cleaning 78005 clauses out of 156022 with flag 6300000/3150000
509.00/469.97	c cleaning 79001 clauses out of 158017 with flag 6460000/3230000
521.75/481.73	c cleaning 79999 clauses out of 160016 with flag 6622000/3311000
534.90/493.77	c cleaning 80997 clauses out of 162017 with flag 6786000/3393000
547.56/505.37	c cleaning 82003 clauses out of 164020 with flag 6952000/3476000
560.97/517.61	c cleaning 83001 clauses out of 166017 with flag 7120000/3560000
576.84/530.52	c cleaning 83996 clauses out of 168016 with flag 7290000/3645000
590.79/543.29	c cleaning 84998 clauses out of 170020 with flag 7462000/3731000
603.49/555.39	c cleaning 86004 clauses out of 172022 with flag 7636000/3818000
618.11/569.24	c cleaning 86997 clauses out of 174018 with flag 7812000/3906000
631.81/582.05	c cleaning 87997 clauses out of 176021 with flag 7990000/3995000
646.10/595.43	c cleaning 89002 clauses out of 178024 with flag 8170000/4085000
660.84/609.26	c cleaning 90000 clauses out of 180022 with flag 8352000/4176000
674.45/621.93	c cleaning 91001 clauses out of 182022 with flag 8536000/4268000
688.30/634.81	c cleaning 92003 clauses out of 184021 with flag 8722000/4361000
703.95/649.31	c cleaning 92997 clauses out of 186018 with flag 8910000/4455000
717.47/662.01	c cleaning 94000 clauses out of 188021 with flag 9100000/4550000
731.83/675.46	c cleaning 95001 clauses out of 190021 with flag 9292000/4646000
746.17/688.95	c cleaning 95999 clauses out of 192020 with flag 9486000/4743000
768.03/706.38	c cleaning 97000 clauses out of 194021 with flag 9682000/4841000
784.86/721.81	c cleaning 98002 clauses out of 196021 with flag 9880000/4940000
800.94/736.61	c cleaning 99000 clauses out of 198019 with flag 10080000/5040000
817.33/751.53	c cleaning 100001 clauses out of 200019 with flag 10282000/5141000
833.83/766.95	c cleaning 101003 clauses out of 202018 with flag 10486000/5243000
849.42/781.56	c cleaning 101999 clauses out of 204015 with flag 10692000/5346000
866.12/796.56	c cleaning 103000 clauses out of 206016 with flag 10900000/5450000
883.00/812.03	c cleaning 103998 clauses out of 208016 with flag 11110000/5555000
899.71/827.53	c cleaning 105000 clauses out of 210018 with flag 11322000/5661000
916.84/843.69	c cleaning 106003 clauses out of 212018 with flag 11536000/5768000
936.26/860.77	c cleaning 106999 clauses out of 214015 with flag 11752000/5876000
953.69/876.82	c cleaning 107996 clauses out of 216016 with flag 11970000/5985000
971.44/893.44	c cleaning 109002 clauses out of 218020 with flag 12190000/6095000
990.73/911.08	c cleaning 109998 clauses out of 220018 with flag 12412000/6206000
1008.97/928.00	c cleaning 111000 clauses out of 222020 with flag 12636000/6318000
1027.26/945.12	c cleaning 112003 clauses out of 224020 with flag 12862000/6431000
1046.32/962.68	c cleaning 112996 clauses out of 226017 with flag 13090000/6545000
1064.19/979.27	c cleaning 113999 clauses out of 228021 with flag 13320000/6660000
1084.69/998.06	c cleaning 115001 clauses out of 230022 with flag 13552000/6776000
1105.07/1015.98	c cleaning 116000 clauses out of 232021 with flag 13786000/6893000
1124.72/1033.82	c cleaning 116997 clauses out of 234021 with flag 14022000/7011000
1144.40/1052.18	c cleaning 118001 clauses out of 236024 with flag 14260000/7130000
1165.22/1071.08	c cleaning 119003 clauses out of 238023 with flag 14500000/7250000
1184.74/1089.29	c cleaning 119998 clauses out of 240020 with flag 14742000/7371000
1205.54/1108.34	c cleaning 121001 clauses out of 242022 with flag 14986000/7493000
1225.09/1126.68	c cleaning 122003 clauses out of 244021 with flag 15232000/7616000
1246.59/1146.51	c cleaning 122999 clauses out of 246018 with flag 15480000/7740000
1270.02/1167.15	c cleaning 124002 clauses out of 248019 with flag 15730000/7865000
1290.51/1186.21	c cleaning 124994 clauses out of 250017 with flag 15982000/7991000
1313.86/1207.83	c cleaning 125996 clauses out of 252023 with flag 16236000/8118000
1335.65/1228.43	c cleaning 127000 clauses out of 254027 with flag 16492000/8246000
1358.15/1249.44	c cleaning 127999 clauses out of 256027 with flag 16750000/8375000
1378.71/1268.22	c cleaning 129005 clauses out of 258028 with flag 17010000/8505000
1400.29/1287.83	c cleaning 130003 clauses out of 260023 with flag 17272000/8636000
1422.85/1306.60	c cleaning 131003 clauses out of 262020 with flag 17536000/8768000
1444.50/1326.63	c cleaning 131999 clauses out of 264017 with flag 17802000/8901000
1466.86/1347.28	c cleaning 132996 clauses out of 266018 with flag 18070000/9035000
1489.48/1367.99	c cleaning 134000 clauses out of 268022 with flag 18340000/9170000
1512.30/1388.71	c cleaning 134997 clauses out of 270022 with flag 18612000/9306000
1534.93/1409.96	c cleaning 136004 clauses out of 272025 with flag 18886000/9443000
1556.43/1429.82	c cleaning 137002 clauses out of 274021 with flag 19162000/9581000
1581.55/1450.56	c cleaning 138003 clauses out of 276019 with flag 19440000/9720000
1603.88/1471.12	c cleaning 138997 clauses out of 278016 with flag 19720000/9860000
1627.35/1492.86	c cleaning 140000 clauses out of 280019 with flag 20002000/10001000
1650.56/1514.19	c cleaning 141000 clauses out of 282019 with flag 20286000/10143000
1674.89/1536.65	c cleaning 141997 clauses out of 284019 with flag 20572000/10286000
1699.85/1559.77	c cleaning 143000 clauses out of 286022 with flag 20860000/10430000
1723.30/1581.33	c cleaning 144001 clauses out of 288022 with flag 21150000/10575000
1748.09/1603.20	c cleaning 144999 clauses out of 290021 with flag 21442000/10721000
1771.49/1624.86	c cleaning 146001 clauses out of 292022 with flag 21736000/10868000
1796.37/1647.94	c cleaning 147003 clauses out of 294021 with flag 22032000/11016000
1819.85/1669.79	c cleaning 147998 clauses out of 296018 with flag 22330000/11165000
1845.81/1694.02	c cleaning 148998 clauses out of 298020 with flag 22630000/11315000
1870.66/1717.39	c cleaning 149999 clauses out of 300022 with flag 22932000/11466000
1897.48/1741.91	c cleaning 151002 clauses out of 302023 with flag 23236000/11618000
1924.47/1765.59	c cleaning 151998 clauses out of 304021 with flag 23542000/11771000
1950.19/1789.26	c cleaning 153000 clauses out of 306023 with flag 23850000/11925000
1976.97/1814.14	c cleaning 154003 clauses out of 308023 with flag 24160000/12080000
2003.50/1838.94	c cleaning 154998 clauses out of 310020 with flag 24472000/12236000
2032.49/1865.67	c cleaning 156000 clauses out of 312022 with flag 24786000/12393000
2061.12/1892.25	c cleaning 156998 clauses out of 314022 with flag 25102000/12551000
2088.16/1916.22	c cleaning 158002 clauses out of 316024 with flag 25420000/12710000
2116.71/1942.38	c cleaning 159002 clauses out of 318022 with flag 25740000/12870000
2143.52/1967.02	c cleaning 159998 clauses out of 320020 with flag 26062000/13031000
2170.08/1991.72	c cleaning 161000 clauses out of 322022 with flag 26386000/13193000
2198.11/2017.30	c cleaning 161998 clauses out of 324022 with flag 26712000/13356000
2225.21/2042.40	c cleaning 163003 clauses out of 326024 with flag 27040000/13520000
2255.15/2068.93	c cleaning 164003 clauses out of 328021 with flag 27370000/13685000
2282.75/2094.48	c cleaning 164996 clauses out of 330018 with flag 27702000/13851000
2313.14/2122.22	c cleaning 165998 clauses out of 332022 with flag 28036000/14018000
2341.98/2148.90	c cleaning 167002 clauses out of 334024 with flag 28372000/14186000
2372.14/2176.51	c cleaning 168000 clauses out of 336022 with flag 28710000/14355000
2403.49/2204.24	c cleaning 169000 clauses out of 338022 with flag 29050000/14525000
2434.31/2232.53	c cleaning 170002 clauses out of 340022 with flag 29392000/14696000
2462.09/2258.28	c cleaning 170999 clauses out of 342020 with flag 29736000/14868000
2493.17/2286.98	c cleaning 172000 clauses out of 344021 with flag 30082000/15041000
2524.12/2315.25	c cleaning 173001 clauses out of 346021 with flag 30430000/15215000
2554.73/2342.41	c cleaning 173998 clauses out of 348020 with flag 30780000/15390000
2586.75/2371.95	c cleaning 175000 clauses out of 350022 with flag 31132000/15566000
2619.09/2401.51	c cleaning 176002 clauses out of 352022 with flag 31486000/15743000
2648.54/2428.80	c cleaning 176995 clauses out of 354020 with flag 31842000/15921000
2679.69/2457.54	c cleaning 178001 clauses out of 356025 with flag 32200000/16100000
2714.52/2488.56	c cleaning 179001 clauses out of 358024 with flag 32560000/16280000
2747.99/2519.26	c cleaning 179999 clauses out of 360023 with flag 32922000/16461000
2780.49/2549.53	c cleaning 180995 clauses out of 362024 with flag 33286000/16643000
2813.08/2579.79	c cleaning 182006 clauses out of 364029 with flag 33652000/16826000
2845.10/2609.26	c cleaning 183003 clauses out of 366023 with flag 34020000/17010000
2876.38/2636.72	c cleaning 183996 clauses out of 368020 with flag 34390000/17195000
2908.73/2666.36	c cleaning 185003 clauses out of 370024 with flag 34762000/17381000
2940.58/2695.47	c cleaning 186006 clauses out of 372021 with flag 35136000/17568000
2973.06/2725.02	c cleaning 186995 clauses out of 374015 with flag 35512000/17756000
3010.04/2755.51	c cleaning 188000 clauses out of 376020 with flag 35890000/17945000
3041.12/2784.45	c cleaning 188997 clauses out of 378020 with flag 36270000/18135000
3074.49/2815.52	c cleaning 190000 clauses out of 380023 with flag 36652000/18326000
3106.17/2844.85	c cleaning 190999 clauses out of 382023 with flag 37036000/18518000
3140.82/2877.14	c cleaning 192001 clauses out of 384024 with flag 37422000/18711000
3174.55/2907.62	c cleaning 193001 clauses out of 386023 with flag 37810000/18905000
3207.07/2937.81	c cleaning 194001 clauses out of 388022 with flag 38200000/19100000
3238.31/2966.89	c cleaning 195001 clauses out of 390021 with flag 38592000/19296000
3271.93/2998.12	c cleaning 196001 clauses out of 392020 with flag 38986000/19493000
3304.47/3028.44	c cleaning 196996 clauses out of 394019 with flag 39382000/19691000
3344.75/3063.49	c cleaning 197997 clauses out of 396023 with flag 39780000/19890000
3378.87/3094.71	c cleaning 199004 clauses out of 398026 with flag 40180000/20090000
3414.63/3127.70	c cleaning 199997 clauses out of 400022 with flag 40582000/20291000
3449.87/3160.39	c cleaning 201002 clauses out of 402025 with flag 40986000/20493000
3488.65/3193.64	c cleaning 201999 clauses out of 404023 with flag 41392000/20696000
3525.25/3227.20	c cleaning 203000 clauses out of 406024 with flag 41800000/20900000
3560.90/3260.08	c cleaning 204004 clauses out of 408024 with flag 42210000/21105000
3598.40/3294.90	c cleaning 205000 clauses out of 410020 with flag 42622000/21311000
3600.48/3296.85	c starts		: 1
3600.48/3296.85	c timeout
3600.48/3296.86	c conflicts		: 21325920
3600.48/3296.86	c decisions		: 21326737
3600.48/3296.86	c propagations		: 745410474
3600.48/3296.86	c inspects		: 2457908199
3600.48/3296.86	c shortcuts		: 0
3600.48/3296.86	c learnt literals	: 0
3600.48/3296.86	c learnt binary clauses	: 0
3600.48/3296.86	c learnt ternary clauses	: 0
3600.48/3296.86	c learnt constraints	: 21325920
3600.48/3296.86	c ignored constraints	: 0
3600.48/3296.86	c root simplifications	: 0
3600.48/3296.86	c removed literals (reason simplification)	: 58616483
3600.48/3296.86	c reason swapping (by a shorter reason)	: 0
3600.48/3296.86	c Calls to reduceDB	: 202
3600.48/3296.86	c Number of update (reduction) of LBD	: 0
3600.48/3296.86	c Imported unit clauses	: 0
3600.48/3296.86	c No decision after first conflict	: false
3600.48/3296.86	c number of reductions to clauses (during analyze)	: 0
3600.48/3296.86	c number of learned constraints concerned by reduction	: 0
3600.48/3296.86	c number of learning phase by resolution	: 0
3600.48/3296.86	c number of learning phase by cutting planes	: 0
3600.48/3296.86	c number of rounding to 1 operations	: 0
3600.48/3296.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.48/3296.86	c number of reductions of the coefficients by power 2 	: 0
3600.48/3296.86	c number of right shift for reduction by power 2 	: 0
3600.48/3296.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.48/3296.86	c number of ending skipping 	: 0
3600.48/3296.86	c number of internal skipping 	: 0
3600.48/3296.86	c number of derivation steps 	: 0
3600.48/3296.86	c number of skipped derivation steps 	: 0
3600.48/3296.86	c number of remaining unassigned 	: 0
3600.48/3296.86	c number of remaining assigned 	: 0
3600.48/3296.86	c number of falsified literals weakened from reason	: 0
3600.48/3296.86	c number of falsified literals weakened from conflict	: 0
3600.48/3296.86	c time for arithmetic operations	: 0
3600.48/3296.86	c minimum degree of deleted constraints	: null
3600.48/3296.86	c maximum degree of deleted constraints	: null
3600.48/3296.86	c number of deleted constraints	: 0
3600.48/3296.87	c speed (assignments/second)	: 226135.85070510983
3600.48/3296.87	c non guided choices	: 831
3600.68/3296.94	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 219940
3600.68/3296.94	s UNKNOWN
3600.68/3296.95	c Total wall clock time (in seconds): 3296.597

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: 63794 MiB (60768 MiB free)
  memory of node 1: 64507 MiB (63394 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542042-1753212756/watcher-4542042-1753212756 -o /tmp/evaluation-result-4542042-1753212756/solver-4542042-1753212756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195949 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542042-1753212756.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
solver pid=196385, runsolver pid=196382
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 5.49 4.58 4.27 7/300 196403
/proc/meminfo: memFree=127122772/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=18930384 memory=50104 CPUtime=0.11 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 5724 0 0 0 8 3 0 0 20 0 18 0 236955306 19384713216 12526 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4732596 12526 5295 1 0 546955 0
[pid=196385/tid=196387] ppid=196382 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 4634 0 0 0 5 2 0 0 20 0 18 0 236955308 19384713216 12526 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955312 19384713216 12526 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236955313 19384713216 12526 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50104 KiB

[startup+0.213435 s]*
/proc/loadavg: 5.49 4.58 4.27 4/300 196403
/proc/meminfo: memFree=127122772/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=18930384 memory=54980 CPUtime=0.28 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 6386 0 0 0 24 4 0 0 20 0 18 0 236955306 19384713216 13745 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4732596 13745 5327 1 0 547533 0
[pid=196385/tid=196387] ppid=196382 vsize=18930384 memory=4027056247 CPUtime=0.16 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 4984 0 0 0 14 2 0 0 20 0 18 0 236955308 19384713216 13745 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=18930384 memory=215637820808 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955312 19384713216 13745 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=18930384 memory=19783 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236955313 19384713216 13745 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54980 KiB

[startup+0.313189 s]*
/proc/loadavg: 5.49 4.58 4.27 7/300 196405
/proc/meminfo: memFree=127118676/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=18930384 memory=60380 CPUtime=0.43 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 6645 0 0 0 39 4 0 0 20 0 18 0 236955306 19384713216 15095 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4732596 15095 5423 1 0 547754 0
[pid=196385/tid=196387] ppid=196382 vsize=18930384 memory=-5155634591488763229 CPUtime=0.25 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 5179 0 0 0 23 2 0 0 20 0 18 0 236955308 19384713216 15095 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955312 19384713216 15095 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236955313 19384713216 15095 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60380 KiB

[startup+0.700318 s]
/proc/loadavg: 5.49 4.58 4.27 7/301 196412
/proc/meminfo: memFree=127110232/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=18996948 memory=75296 CPUtime=1.13 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 8580 0 0 0 108 5 0 0 20 0 19 0 236955306 19452874752 18824 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4749237 18824 5423 1 0 549238 0
[pid=196385/tid=196387] ppid=196382 vsize=18996948 memory=27392 CPUtime=0.55 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 5329 0 0 0 52 3 0 0 20 0 19 0 236955308 19452874752 18824 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236955312 19452874752 18824 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236955313 19452874752 18824 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75296 KiB

[startup+1.5003 s]
/proc/loadavg: 5.53 4.61 4.28 8/322 196458
/proc/meminfo: memFree=127065496/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=18996948 memory=112688 CPUtime=2.72 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 16871 0 0 0 263 9 0 0 20 0 19 0 236955306 19452874752 28172 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4749237 28172 5455 1 0 551720 0
[pid=196385/tid=196387] ppid=196382 vsize=18996948 memory=3200 CPUtime=1.32 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 5588 0 0 0 128 4 0 0 20 0 19 0 236955308 19452874752 28172 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236955312 19452874752 28172 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236955313 19452874752 28172 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=18996948 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236955363 19452874752 28172 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112688 KiB

[startup+3.11024 s]
/proc/loadavg: 5.53 4.61 4.28 7/324 196460
/proc/meminfo: memFree=126835328/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19063512 memory=279708 CPUtime=5 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 19670 0 0 0 488 12 0 0 20 0 20 0 236955306 19521036288 69927 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4765878 69927 5487 1 0 552057 0
[pid=196385/tid=196387] ppid=196382 vsize=19063512 memory=10752 CPUtime=2.72 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 6678 0 0 0 267 5 0 0 20 0 20 0 236955308 19521036288 69927 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19521036288 69927 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 236955313 19521036288 69927 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19521036288 69927 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 279708 KiB

[startup+6.30042 s]
/proc/loadavg: 5.49 4.61 4.28 5/303 196467
/proc/meminfo: memFree=128317460/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19063512 memory=473532 CPUtime=8.48 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 19934 0 0 0 832 16 0 0 20 0 20 0 236955306 19521036288 118383 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4765878 118383 5487 1 0 552057 0
[pid=196385/tid=196387] ppid=196382 vsize=19063512 memory=0 CPUtime=5.58 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 6792 0 0 0 553 5 0 0 20 0 20 0 236955308 19521036288 118383 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19521036288 118383 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 236955313 19521036288 118383 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19063512 memory=122928 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19521036288 118383 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 8.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 473532 KiB

[startup+12.7003 s]
/proc/loadavg: 5.37 4.60 4.28 5/325 196528
/proc/meminfo: memFree=127058236/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19063512 memory=1003012 CPUtime=15.52 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 23238 0 0 0 1523 29 0 0 20 0 20 0 236955306 19521036288 250753 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4765878 250753 5519 1 0 1078463 0
[pid=196385/tid=196387] ppid=196382 vsize=19063512 memory=10752 CPUtime=11.48 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) S 196382 196385 195934 0 -1 4194368 7558 0 0 0 1138 10 0 0 20 0 20 0 236955308 19521036288 250753 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19063512 memory=122928 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19521036288 250753 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19063512 memory=947696 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 236955313 19521036288 250753 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19521036288 250753 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 15.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1003012 KiB

[startup+25.5004 s]
/proc/loadavg: 5.16 4.58 4.27 5/325 196528
/proc/meminfo: memFree=126004748/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19063512 memory=1629508 CPUtime=28.87 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 25861 0 0 0 2843 44 0 0 20 0 20 0 236955306 19521036288 407377 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4765878 407377 5519 1 0 1475355 0
[pid=196385/tid=196387] ppid=196382 vsize=19063512 memory=947696 CPUtime=23.62 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 7929 0 0 0 2347 15 0 0 20 0 20 0 236955308 19521036288 407377 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19521036288 407377 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19063512 memory=1606968 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 236955313 19521036288 407377 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19063512 memory=1606968 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19521036288 407377 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 28.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1629508 KiB

[startup+51.1131 s]
/proc/loadavg: 4.86 4.56 4.28 6/325 196529
/proc/meminfo: memFree=122854004/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19063512 memory=4164456 CPUtime=56.84 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 31058 0 0 0 5586 98 0 0 20 0 20 0 236955306 19521036288 1041114 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4765878 1041114 5519 1 0 2064424 0
[pid=196385/tid=196387] ppid=196382 vsize=19063512 memory=16688 CPUtime=46.53 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) S 196382 196385 195934 0 -1 4194368 9195 0 0 0 4624 29 0 0 20 0 20 0 236955308 19521036288 1041114 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19063512 memory=2818072 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19521036288 1041114 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19063512 memory=27392 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 236955313 19521036288 1041114 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19063512 memory=0 CPUtime=0 cores=0,2

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

/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=1920 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3255.38 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.20 4.22 5/326 196681
/proc/meminfo: memFree=98888644/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3321.48 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 504059 0 0 0 331550 598 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133025 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=16423320 CPUtime=2773.58 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) S 196382 196385 195934 0 -1 4194368 204808 0 0 0 277177 181 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=0 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 1988 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3321.48 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.80 4.37 4.28 5/327 196690
/proc/meminfo: memFree=98891020/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3386.95 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 511123 0 0 0 338092 603 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133025 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=16423320 CPUtime=2827.74 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 206739 0 0 0 282592 182 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2007 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3386.95 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

[startup+3162.3 s]
/proc/loadavg: 4.59 4.40 4.29 5/327 196693
/proc/meminfo: memFree=98890372/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3451.9 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 515960 0 0 0 344583 607 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133025 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=16423320 CPUtime=2882.42 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) S 196382 196385 195934 0 -1 4194368 208291 0 0 0 288060 182 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2048 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.37 4.29 6/327 196695
/proc/meminfo: memFree=98754848/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3520.36 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 529201 0 0 0 351422 614 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133027 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=16423320 CPUtime=2936.36 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 211773 0 0 0 293454 182 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3520.36 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.37 4.29 5/326 196697
/proc/meminfo: memFree=98498612/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3585.05 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 535707 0 0 0 357887 618 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133027 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=16423320 CPUtime=2991.24 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 214595 0 0 0 298941 183 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2099 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=5632 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3585.05 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3296.6 s]
/proc/loadavg: 4.29 4.35 4.28 5/326 196698
/proc/meminfo: memFree=98412620/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19260120 memory=16423320 CPUtime=3600.09 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 536380 0 0 0 359390 619 0 0 20 0 20 0 236955306 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4815030 4105830 5551 1 0 4133027 0
[pid=196385/tid=196387] ppid=196382 vsize=19260120 memory=2944 CPUtime=3004.72 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) R 196382 196385 195934 0 -1 4194368 214893 0 0 0 300289 183 0 0 20 0 20 0 236955308 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19260120 memory=6912 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955312 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19260120 memory=5036 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2099 0 0 0 0 0 0 0 20 0 20 0 236955313 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19260120 memory=5172 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955363 19722362880 4105830 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19260120 KiB
Current children cumulated memory: 16423320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.58 s, system=6.29893 s

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

[startup+3296.8 s]
/proc/loadavg: 4.29 4.35 4.28 5/326 196698
/proc/meminfo: memFree=98412620/131382112 swapFree=33010416/33010684
[pid=196385] ppid=196382 vsize=19326684 memory=16423576 CPUtime=3600.48 cores=0,2
/proc/196385/stat : 196385 (java) S 196382 196385 195934 0 -1 4194304 536707 0 0 0 359429 619 0 0 20 0 21 0 236955306 19790524416 4105894 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
/proc/196385/statm: 4831671 4105894 5551 1 0 4133312 0
[pid=196385/tid=196387] ppid=196382 vsize=19326684 memory=7737580449482302804 CPUtime=3004.73 cores=0,2
/proc/196385/task/196387/stat : 196387 (java) S 196382 196385 195934 0 -1 4194368 214894 0 0 0 300290 183 0 0 20 0 21 0 236955308 19790524416 4105894 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196396] ppid=196382 vsize=19326684 memory=16423320 CPUtime=0 cores=0,2
/proc/196385/task/196396/stat : 196396 (Finalizer) S 196382 196385 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236955312 19790524416 4105894 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196403] ppid=196382 vsize=19326684 memory=143816979907372 CPUtime=0 cores=0,2
/proc/196385/task/196403/stat : 196403 (Common-Cleaner) S 196382 196385 195934 0 -1 4194368 2099 0 0 0 0 0 0 0 20 0 21 0 236955313 19790524416 4105894 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
[pid=196385/tid=196414] ppid=196382 vsize=19326684 memory=16688 CPUtime=0 cores=0,2
/proc/196385/task/196414/stat : 196414 (Timer-0) S 196382 196385 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 236955363 19790524416 4105894 18446744073709551615 94772993310720 94772993314416 140731744205504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94772993322232 94772993323024 94773026648064 140731744209279 140731744209380 140731744209380 140731744214984 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 16423576 KiB

[startup+3297 s]*
/proc/loadavg: 4.27 4.35 4.28 5/307 196701
/proc/meminfo: memFree=108874900/131382112 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): 3297.08
CPU time (s): 3600.87
CPU user time (s): 3594.58
CPU system time (s): 6.29893
CPU usage (%): 109.214
Max. virtual memory (cumulated for all children) (KiB): 19459812
Max. memory (cumulated for all children) (KiB): 16424216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.58
system time used= 6.29893
maximum resident set size= 16424472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120685
involuntary context switches= 23103


# summary of solver processes directly reported to runsolver:
#   pid: 196385
#   total CPU time (s): 3600.87
#   total CPU user time (s): 3594.58
#   total CPU system time (s): 6.29893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7606 second user time and 33.3542 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 21:32:36
IDJOB=4542042
IDBENCH=163735
IDSOLVER=3363
FILE ID=nodeC012/4542042-1753212756
RUNJOBID= nodeC012-1753209161-195949
SLURM_JOB_ID= 9687769
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542042-1753212756/watcher-4542042-1753212756 -o /tmp/evaluation-result-4542042-1753212756/solver-4542042-1753212756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195949 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542042-1753212756.opb

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

MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=1947704772

nodeC012 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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.125
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1198.079
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3491.691
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3491.685
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.587
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127142472 kB
MemAvailable:   127915120 kB
Buffers:            2136 kB
Cached:          1538516 kB
SwapCached:           12 kB
Active:          3225664 kB
Inactive:         334944 kB
Active(anon):    2041408 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   330256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1904 kB
Writeback:             0 kB
AnonPages:       2023392 kB
Mapped:           128540 kB
Shmem:             26140 kB
KReclaimable:     195140 kB
Slab:             287484 kB
SReclaimable:     195140 kB
SUnreclaim:        92344 kB
KernelStack:        4576 kB
PageTables:         7380 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4832592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149976 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1894400 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432920 MiB
End job on nodeC012 at 2025-07-22 22:27:33