Trace number 4484179

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)305 3600.34 3615.47

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM21e5c9aefd9c10ac1801b7f257b8155f
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 benchmark304
Best CPU time to get the best result obtained on this benchmark0.00479
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		2106806208
0.09/0.10	c Max memory 		16282288128
0.09/0.10	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4484179-1751291994.opb
0.09/0.15	c reading problem ... 
0.09/0.16	c using VERIPB proof format
0.09/0.16	c  objective function found
0.09/0.18	c ... done. Wall clock time 0.036s.
0.09/0.18	c declared #vars     257
0.09/0.18	c #constraints  182
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80
0.09/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56
0.09/0.19	c org.sat4j.specs.Constr$1 => 1
0.09/0.19	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.09/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 44
0.09/0.19	c 182 constraints processed.
0.09/0.20	c objective function length is 173 literals
0.26/0.21	c SATISFIABLE
0.26/0.21	c OPTIMIZING...
0.26/0.21	c Got one! Elapsed wall clock time (in seconds):0.066
0.26/0.21	o 305
1.02/0.66	c cleaning 2495 clauses out of 5001 with flag 10185/5001
1.82/1.06	c cleaning 4253 clauses out of 8506 with flag 22211/11001
2.60/1.42	c cleaning 5624 clauses out of 11253 with flag 36211/18001
3.20/1.76	c cleaning 6813 clauses out of 13628 with flag 52209/26000
3.88/2.12	c cleaning 7908 clauses out of 15816 with flag 70211/35001
4.28/2.45	c cleaning 8952 clauses out of 17908 with flag 90211/45001
4.74/2.84	c cleaning 9975 clauses out of 19956 with flag 112211/56001
5.14/3.22	c cleaning 10990 clauses out of 21981 with flag 136211/68001
5.54/3.65	c cleaning 11992 clauses out of 23991 with flag 162211/81001
6.04/4.14	c cleaning 12999 clauses out of 25999 with flag 190211/95001
6.55/4.63	c cleaning 13998 clauses out of 28000 with flag 220211/110001
7.05/5.18	c cleaning 14998 clauses out of 30002 with flag 252211/126001
7.79/5.85	c cleaning 15999 clauses out of 32004 with flag 286211/143001
8.50/6.52	c cleaning 16999 clauses out of 34005 with flag 322313/161001
9.20/7.28	c cleaning 18002 clauses out of 36006 with flag 360313/180001
10.11/8.17	c cleaning 19001 clauses out of 38004 with flag 400313/200001
11.12/9.11	c cleaning 20001 clauses out of 40003 with flag 442313/221001
12.02/10.09	c cleaning 20999 clauses out of 42001 with flag 486311/243000
12.97/11.19	c cleaning 22001 clauses out of 44002 with flag 532311/266000
14.16/12.31	c cleaning 22999 clauses out of 46001 with flag 580311/290000
15.27/13.42	c cleaning 23998 clauses out of 48003 with flag 630313/315001
16.37/14.50	c cleaning 25000 clauses out of 50005 with flag 682313/341001
17.40/15.59	c cleaning 25994 clauses out of 52004 with flag 736311/368000
18.49/16.66	c cleaning 27003 clauses out of 54011 with flag 792313/396001
19.70/17.85	c cleaning 28002 clauses out of 56007 with flag 850311/425000
20.92/18.98	c cleaning 29003 clauses out of 58005 with flag 910311/455000
22.12/20.12	c cleaning 30000 clauses out of 60002 with flag 972311/486000
23.51/21.53	c cleaning 31000 clauses out of 62002 with flag 1036311/518000
24.90/22.90	c cleaning 31996 clauses out of 64002 with flag 1102311/551000
26.49/24.50	c cleaning 33002 clauses out of 66007 with flag 1170313/585001
28.08/26.08	c cleaning 33996 clauses out of 68004 with flag 1240325/620000
30.44/28.38	c cleaning 35000 clauses out of 70008 with flag 1312325/656000
33.62/31.57	c cleaning 36000 clauses out of 72008 with flag 1386325/693000
35.91/33.84	c cleaning 37002 clauses out of 74008 with flag 1462325/731000
38.33/36.29	c cleaning 38000 clauses out of 76006 with flag 1540325/770000
40.63/38.52	c cleaning 38999 clauses out of 78007 with flag 1620327/810001
43.12/41.05	c cleaning 40002 clauses out of 80008 with flag 1702327/851001
46.02/43.90	c cleaning 41002 clauses out of 82006 with flag 1786327/893001
48.91/46.89	c cleaning 41997 clauses out of 84004 with flag 1872327/936001
52.40/50.34	c cleaning 42999 clauses out of 86007 with flag 1960327/980001
56.39/54.36	c cleaning 44003 clauses out of 88008 with flag 2050327/1025001
60.48/58.40	c cleaning 44998 clauses out of 90005 with flag 2142327/1071001
65.18/63.33	c cleaning 46002 clauses out of 92007 with flag 2236327/1118001
70.06/68.25	c cleaning 47001 clauses out of 94005 with flag 2332327/1166001
74.26/72.38	c cleaning 47996 clauses out of 96003 with flag 2430325/1215000
78.47/76.51	c cleaning 48999 clauses out of 98008 with flag 2530327/1265001
82.96/81.01	c cleaning 50000 clauses out of 100008 with flag 2632325/1316000
87.25/85.31	c cleaning 51004 clauses out of 102009 with flag 2736327/1368001
92.04/90.18	c cleaning 52001 clauses out of 104005 with flag 2842327/1421001
97.51/95.84	c cleaning 53000 clauses out of 106003 with flag 2950325/1475000
102.70/101.01	c cleaning 53999 clauses out of 108003 with flag 3060325/1530000
108.29/106.66	c cleaning 54998 clauses out of 110004 with flag 3172325/1586000
114.48/112.80	c cleaning 55999 clauses out of 112006 with flag 3286325/1643000
120.68/119.02	c cleaning 56998 clauses out of 114007 with flag 3402325/1701000
127.47/126.09	c cleaning 58005 clauses out of 116010 with flag 3520327/1760001
133.87/132.40	c cleaning 58996 clauses out of 118004 with flag 3640325/1820000
141.23/139.82	c cleaning 60003 clauses out of 120008 with flag 3762325/1881000
149.13/147.75	c cleaning 60998 clauses out of 122005 with flag 3886325/1943000
157.10/155.97	c cleaning 61998 clauses out of 124007 with flag 4012325/2006000
166.07/165.00	c cleaning 63003 clauses out of 126009 with flag 4140325/2070000
175.97/174.82	c cleaning 64000 clauses out of 128006 with flag 4270325/2135000
186.47/185.30	c cleaning 64994 clauses out of 130006 with flag 4402325/2201000
196.35/195.24	c cleaning 66006 clauses out of 132014 with flag 4536329/2268002
206.74/205.60	c cleaning 66999 clauses out of 134007 with flag 4672327/2336001
217.12/216.18	c cleaning 67999 clauses out of 136007 with flag 4810325/2405000
227.81/226.93	c cleaning 68992 clauses out of 138008 with flag 4950325/2475000
238.99/238.13	c cleaning 70006 clauses out of 140017 with flag 5092327/2546001
250.19/249.44	c cleaning 71002 clauses out of 142010 with flag 5236325/2618000
262.44/261.71	c cleaning 72003 clauses out of 144008 with flag 5382325/2691000
274.72/274.01	c cleaning 73000 clauses out of 146006 with flag 5530327/2765001
287.86/287.21	c cleaning 74003 clauses out of 148005 with flag 5680325/2840000
301.12/300.59	c cleaning 75001 clauses out of 150003 with flag 5832327/2916001
315.36/314.83	c cleaning 76001 clauses out of 152001 with flag 5986325/2993000
330.22/329.71	c cleaning 76998 clauses out of 154001 with flag 6142327/3071001
345.35/344.91	c cleaning 77997 clauses out of 156002 with flag 6300325/3150000
361.22/360.87	c cleaning 79000 clauses out of 158005 with flag 6460325/3230000
377.07/376.79	c cleaning 79999 clauses out of 160005 with flag 6622329/3311000
386.44/386.17	c cleaning 81001 clauses out of 162006 with flag 6786329/3393000
397.44/397.20	c cleaning 82000 clauses out of 164005 with flag 6952329/3476000
409.86/409.63	c cleaning 83001 clauses out of 166005 with flag 7120329/3560000
422.97/422.77	c cleaning 83997 clauses out of 168004 with flag 7290329/3645000
435.49/435.30	c cleaning 84999 clauses out of 170008 with flag 7462362/3731001
446.79/446.61	c cleaning 86002 clauses out of 172008 with flag 7636365/3818000
466.59/472.79	c cleaning 87001 clauses out of 174006 with flag 7812401/3906000
479.45/485.62	c cleaning 88003 clauses out of 176005 with flag 7990457/3995000
492.34/498.53	c cleaning 88995 clauses out of 178003 with flag 8170549/4085001
505.90/512.11	c cleaning 89998 clauses out of 180007 with flag 8352547/4176000
520.26/526.59	c cleaning 91001 clauses out of 182010 with flag 8536549/4268001
534.43/540.73	c cleaning 92004 clauses out of 184009 with flag 8722549/4361001
550.01/556.33	c cleaning 93003 clauses out of 186005 with flag 8910549/4455001
567.17/573.58	c cleaning 93995 clauses out of 188002 with flag 9100549/4550001
585.58/592.01	c cleaning 95002 clauses out of 190007 with flag 9292549/4646001
605.10/611.57	c cleaning 95996 clauses out of 192005 with flag 9486549/4743001
625.88/632.35	c cleaning 97005 clauses out of 194009 with flag 9682549/4841001
642.04/648.56	c cleaning 97998 clauses out of 196003 with flag 9880672/4940000
659.37/665.96	c cleaning 98998 clauses out of 198005 with flag 10080861/5040000
676.70/683.36	c cleaning 99999 clauses out of 200008 with flag 10283018/5141001
696.96/703.60	c cleaning 101002 clauses out of 202009 with flag 10487306/5243001
716.83/723.58	c cleaning 101998 clauses out of 204006 with flag 10694474/5346000
738.97/745.70	c cleaning 102998 clauses out of 206009 with flag 10903091/5450001
761.11/767.96	c cleaning 104005 clauses out of 208010 with flag 11113542/5555000
782.91/789.86	c cleaning 105000 clauses out of 210006 with flag 11326222/5661001
805.24/812.28	c cleaning 106001 clauses out of 212006 with flag 11540932/5768001
826.29/833.32	c cleaning 106993 clauses out of 214004 with flag 11757327/5876000
847.43/854.52	c cleaning 108003 clauses out of 216013 with flag 11975460/5985002
869.69/876.81	c cleaning 109002 clauses out of 218008 with flag 12195606/6095000
895.54/902.84	c cleaning 110001 clauses out of 220007 with flag 12417987/6206001
918.67/926.02	c cleaning 111001 clauses out of 222006 with flag 12642107/6318001
942.15/949.58	c cleaning 112000 clauses out of 224006 with flag 12868529/6431002
968.38/975.80	c cleaning 112996 clauses out of 226004 with flag 13097258/6545000
995.49/1003.04	c cleaning 114001 clauses out of 228008 with flag 13327809/6660000
1018.23/1025.84	c cleaning 114999 clauses out of 230007 with flag 13560543/6776000
1045.16/1052.87	c cleaning 116002 clauses out of 232008 with flag 13796384/6893000
1071.77/1079.52	c cleaning 116998 clauses out of 234006 with flag 14040490/7011000
1097.31/1105.11	c cleaning 118003 clauses out of 236008 with flag 14286026/7130000
1121.36/1129.20	c cleaning 119002 clauses out of 238005 with flag 14534666/7250000
1147.70/1155.67	c cleaning 119995 clauses out of 240003 with flag 14784001/7371000
1177.49/1185.57	c cleaning 121002 clauses out of 242008 with flag 15032653/7493000
1206.94/1215.16	c cleaning 122002 clauses out of 244006 with flag 15286067/7616000
1234.86/1243.13	c cleaning 122999 clauses out of 246004 with flag 15541094/7740000
1265.96/1274.32	c cleaning 123998 clauses out of 248005 with flag 15798344/7865000
1299.71/1308.27	c cleaning 125000 clauses out of 250007 with flag 16056121/7991000
1330.99/1339.65	c cleaning 125998 clauses out of 252007 with flag 16319072/8118000
1361.51/1370.26	c cleaning 127001 clauses out of 254009 with flag 16586558/8246000
1399.81/1408.61	c cleaning 128000 clauses out of 256008 with flag 16853429/8375000
1432.52/1441.48	c cleaning 129002 clauses out of 258008 with flag 17120752/8505000
1463.19/1472.25	c cleaning 130000 clauses out of 260006 with flag 17390921/8636000
1496.12/1505.27	c cleaning 131003 clauses out of 262006 with flag 17659566/8768000
1519.88/1529.04	c cleaning 132001 clauses out of 264003 with flag 17929272/8901000
1538.37/1547.67	c cleaning 132994 clauses out of 266002 with flag 18197272/9035000
1557.31/1566.66	c cleaning 133998 clauses out of 268008 with flag 18467272/9170000
1577.59/1586.94	c cleaning 135004 clauses out of 270010 with flag 18739272/9306000
1597.43/1606.87	c cleaning 135998 clauses out of 272006 with flag 19013272/9443000
1619.69/1629.10	c cleaning 137002 clauses out of 274008 with flag 19289272/9581000
1642.10/1651.65	c cleaning 138003 clauses out of 276006 with flag 19567272/9720000
1664.27/1673.87	c cleaning 139001 clauses out of 278003 with flag 19847272/9860000
1685.60/1695.26	c cleaning 139997 clauses out of 280002 with flag 20129272/10001000
1709.44/1719.14	c cleaning 141001 clauses out of 282005 with flag 20413272/10143000
1736.31/1746.02	c cleaning 141999 clauses out of 284004 with flag 20699272/10286000
1762.13/1771.93	c cleaning 142999 clauses out of 286005 with flag 20987272/10430000
1788.59/1798.49	c cleaning 143999 clauses out of 288006 with flag 21277272/10575000
1815.84/1825.78	c cleaning 145000 clauses out of 290007 with flag 21569272/10721000
1846.09/1856.01	c cleaning 146000 clauses out of 292007 with flag 21863272/10868000
1874.34/1884.35	c cleaning 147000 clauses out of 294007 with flag 22159272/11016000
1902.29/1912.38	c cleaning 147999 clauses out of 296007 with flag 22457272/11165000
1931.46/1941.60	c cleaning 149001 clauses out of 298008 with flag 22757272/11315000
1964.68/1974.99	c cleaning 150000 clauses out of 300007 with flag 23059272/11466000
2000.56/2010.98	c cleaning 151002 clauses out of 302007 with flag 23363272/11618000
2035.85/2046.38	c cleaning 151998 clauses out of 304005 with flag 23669272/11771000
2072.04/2082.64	c cleaning 153002 clauses out of 306007 with flag 23977272/11925000
2104.82/2115.44	c cleaning 154002 clauses out of 308005 with flag 24287272/12080000
2138.27/2148.90	c cleaning 155002 clauses out of 310003 with flag 24599272/12236000
2178.86/2189.65	c cleaning 155998 clauses out of 312001 with flag 24913272/12393000
2219.45/2230.39	c cleaning 156997 clauses out of 314003 with flag 25229272/12551000
2262.73/2273.73	c cleaning 158003 clauses out of 316006 with flag 25547272/12710000
2306.98/2318.13	c cleaning 159002 clauses out of 318003 with flag 25867272/12870000
2353.92/2365.15	c cleaning 159996 clauses out of 320001 with flag 26189277/13031000
2383.83/2395.16	c cleaning 160998 clauses out of 322005 with flag 26513277/13193000
2418.10/2429.44	c cleaning 162001 clauses out of 324007 with flag 26839277/13356000
2452.61/2464.08	c cleaning 163001 clauses out of 326006 with flag 27167277/13520000
2490.02/2501.56	c cleaning 164002 clauses out of 328005 with flag 27497277/13685000
2522.08/2533.65	c cleaning 164993 clauses out of 330003 with flag 27829277/13851000
2563.97/2575.62	c cleaning 166001 clauses out of 332010 with flag 28163277/14018000
2608.40/2620.18	c cleaning 167003 clauses out of 334009 with flag 28499277/14186000
2651.13/2662.91	c cleaning 167999 clauses out of 336006 with flag 28837277/14355000
2694.62/2706.56	c cleaning 169001 clauses out of 338007 with flag 29177277/14525000
2734.74/2746.77	c cleaning 169999 clauses out of 340006 with flag 29519277/14696000
2780.88/2793.07	c cleaning 171000 clauses out of 342007 with flag 29863277/14868000
2818.57/2830.82	c cleaning 172001 clauses out of 344007 with flag 30209277/15041000
2862.18/2874.51	c cleaning 173001 clauses out of 346006 with flag 30557277/15215000
2912.59/2925.03	c cleaning 173998 clauses out of 348005 with flag 30907277/15390000
2961.76/2974.34	c cleaning 175002 clauses out of 350007 with flag 31259277/15566000
3011.10/3024.12	c cleaning 176000 clauses out of 352005 with flag 31613277/15743000
3059.39/3072.51	c cleaning 177002 clauses out of 354005 with flag 31969277/15921000
3114.23/3127.58	c cleaning 178001 clauses out of 356003 with flag 32327277/16100000
3150.98/3164.38	c cleaning 178995 clauses out of 358002 with flag 32687603/16280000
3175.16/3188.57	c cleaning 180002 clauses out of 360007 with flag 33049608/16461000
3199.68/3213.21	c cleaning 180999 clauses out of 362005 with flag 33413608/16643000
3225.62/3239.41	c cleaning 181999 clauses out of 364006 with flag 33779608/16826000
3252.36/3266.15	c cleaning 182999 clauses out of 366007 with flag 34147608/17010000
3277.52/3291.50	c cleaning 184000 clauses out of 368008 with flag 34517608/17195000
3302.90/3316.93	c cleaning 185001 clauses out of 370008 with flag 34889608/17381000
3330.46/3344.53	c cleaning 186004 clauses out of 372007 with flag 35263608/17568000
3359.69/3374.13	c cleaning 187002 clauses out of 374003 with flag 35639608/17756000
3386.63/3401.07	c cleaning 187999 clauses out of 376001 with flag 36017608/17945000
3419.44/3434.18	c cleaning 188996 clauses out of 378002 with flag 36397608/18135000
3450.86/3465.68	c cleaning 190000 clauses out of 380006 with flag 36779608/18326000
3482.72/3497.54	c cleaning 190996 clauses out of 382006 with flag 37163613/18518000
3513.75/3528.67	c cleaning 192001 clauses out of 384010 with flag 37549613/18711000
3547.79/3562.86	c cleaning 193001 clauses out of 386009 with flag 37937613/18905000
3583.23/3598.41	c cleaning 194004 clauses out of 388008 with flag 38327613/19100000
3600.09/3615.31	c starts		: 103
3600.09/3615.33	c conflicts		: 19229733
3600.09/3615.33	c decisions		: 30179739
3600.09/3615.33	c propagations		: 1478991434
3600.09/3615.33	c inspects		: 34169758219
3600.09/3615.33	c shortcuts		: 0
3600.09/3615.33	c learnt literals	: 0
3600.09/3615.33	c learnt binary clauses	: 0
3600.09/3615.33	c learnt ternary clauses	: 0
3600.09/3615.33	c learnt constraints	: 19229733
3600.09/3615.33	c ignored constraints	: 0
3600.09/3615.33	c root simplifications	: 0
3600.09/3615.33	c removed literals (reason simplification)	: 210510188
3600.09/3615.33	c reason swapping (by a shorter reason)	: 0
3600.09/3615.33	c Calls to reduceDB	: 191
3600.09/3615.33	c Number of update (reduction) of LBD	: 3842
3600.09/3615.33	c Imported unit clauses	: 0
3600.09/3615.33	c No decision after first conflict	: false
3600.09/3615.33	c number of reductions to clauses (during analyze)	: 0
3600.09/3615.33	c number of learned constraints concerned by reduction	: 0
3600.09/3615.33	c number of learning phase by resolution	: 0
3600.09/3615.33	c number of learning phase by cutting planes	: 0
3600.09/3615.33	c number of rounding to 1 operations	: 0
3600.09/3615.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3615.33	c number of reductions of the coefficients by power 2 	: 0
3600.09/3615.33	c number of right shift for reduction by power 2 	: 0
3600.09/3615.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3615.33	c number of ending skipping 	: 0
3600.09/3615.34	c number of internal skipping 	: 0
3600.09/3615.34	c number of derivation steps 	: 0
3600.09/3615.34	c number of skipped derivation steps 	: 0
3600.09/3615.34	c number of remaining unassigned 	: 0
3600.09/3615.34	c number of remaining assigned 	: 0
3600.09/3615.34	c number of falsified literals weakened from reason	: 0
3600.09/3615.34	c number of falsified literals weakened from conflict	: 0
3600.09/3615.34	c time for arithmetic operations	: 0
3600.09/3615.34	c minimum degree of deleted constraints	: null
3600.09/3615.34	c maximum degree of deleted constraints	: null
3600.09/3615.34	c number of deleted constraints	: 0
3600.09/3615.34	c speed (assignments/second)	: 409111.66212879267
3600.09/3615.34	c non guided choices	: 15
3600.29/3615.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 323737
3600.29/3615.41	s SATISFIABLE
3600.29/3615.41	c Found 1 solution(s)
3600.29/3615.41	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 x131 x132 x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 x239 x240 -x241 x242 x243 x244 -x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 x254 x255 -x256 x257 
3600.29/3615.41	c objective function=305
3600.29/3615.41	c Total wall clock time (in seconds): 3615.268

Verifier Data 

OK	305

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62920 MiB free)
  memory of node 1: 64465 MiB (63828 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37861, runsolver pid=37854
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.73 2.77 3.61 11/332 37940
/proc/meminfo: memFree=129722584/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=18930384 memory=49864 CPUtime=0.09 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 6139 0 12 0 8 1 0 0 20 0 18 0 44876908 19384713216 12466 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4732596 12466 5329 1 0 547239 0
[pid=37861/tid=37866] ppid=37854 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 4979 0 12 0 5 1 0 0 20 0 18 0 44876911 19384713216 12466 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=18930384 memory=15987 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44876913 19384713216 12466 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 44876914 19384713216 12466 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49864 KiB

[startup+0.204724 s]*
/proc/loadavg: 0.73 2.77 3.61 13/332 37940
/proc/meminfo: memFree=129689684/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=18930384 memory=60052 CPUtime=0.26 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 7048 0 13 0 24 2 0 0 20 0 18 0 44876908 19384713216 15013 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4732596 15013 5457 1 0 547947 0
[pid=37861/tid=37866] ppid=37854 vsize=18930384 memory=4026597660 CPUtime=0.14 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 5383 0 13 0 13 1 0 0 20 0 18 0 44876911 19384713216 15013 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=18930384 memory=15987 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44876913 19384713216 15013 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 44876914 19384713216 15013 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60052 KiB

[startup+0.305681 s]*
/proc/loadavg: 0.73 2.77 3.61 11/335 37943
/proc/meminfo: memFree=129636860/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=18996948 memory=70644 CPUtime=0.45 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 9163 0 13 0 42 3 0 0 20 0 19 0 44876908 19452874752 17661 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4749237 17661 5489 1 0 549180 0
[pid=37861/tid=37866] ppid=37854 vsize=18996948 memory=-6000919489869407596 CPUtime=0.21 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 5444 0 13 0 20 1 0 0 20 0 19 0 44876911 19452874752 17661 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44876913 19452874752 17661 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44876914 19452874752 17661 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44876930 19452874752 17661 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70644 KiB

[startup+0.700198 s]
/proc/loadavg: 0.73 2.77 3.61 10/337 37945
/proc/meminfo: memFree=129438300/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=18996948 memory=145132 CPUtime=1.22 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 13861 0 13 0 116 6 0 0 20 0 19 0 44876908 19452874752 36283 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4749237 36283 5489 1 0 552263 0
[pid=37861/tid=37866] ppid=37854 vsize=18996948 memory=17920 CPUtime=0.57 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 5547 0 13 0 54 3 0 0 20 0 19 0 44876911 19452874752 36283 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44876913 19452874752 36283 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44876914 19452874752 36283 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44876930 19452874752 36283 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145132 KiB

[startup+1.5002 s]
/proc/loadavg: 1.39 2.87 3.64 10/340 37948
/proc/meminfo: memFree=129232128/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=175048 CPUtime=2.8 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 21946 0 13 0 271 9 0 0 20 0 20 0 44876908 19521036288 43762 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 43762 5521 1 0 553691 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=10752 CPUtime=1.34 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 5991 0 13 0 130 4 0 0 20 0 20 0 44876911 19521036288 43762 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 43762 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 43762 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 43762 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175048 KiB

[startup+3.10455 s]
/proc/loadavg: 1.39 2.87 3.64 7/340 37948
/proc/meminfo: memFree=128345212/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=261736 CPUtime=5.04 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 23757 0 13 0 492 12 0 0 20 0 20 0 44876908 19521036288 65434 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 65434 5521 1 0 553713 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=10752 CPUtime=2.9 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 6499 0 13 0 283 7 0 0 20 0 20 0 44876911 19521036288 65434 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 65434 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 65434 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 65434 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 261736 KiB

[startup+6.30018 s]
/proc/loadavg: 1.60 2.89 3.64 6/343 37951
/proc/meminfo: memFree=124808536/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=748156 CPUtime=8.31 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 24614 0 13 0 809 22 0 0 20 0 20 0 44876908 19521036288 187039 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 187039 5521 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=0 CPUtime=6.08 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 7170 0 13 0 591 17 0 0 20 0 20 0 44876911 19521036288 187039 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 187039 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 187039 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 187039 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 8.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 748156 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 2.93 3.65 7/345 37954
/proc/meminfo: memFree=122168520/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=1200820 CPUtime=14.56 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 27525 0 13 0 1419 37 0 0 20 0 20 0 44876908 19521036288 300205 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 300205 5521 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=1200820 CPUtime=12.31 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 8080 0 13 0 1200 31 0 0 20 0 20 0 44876911 19521036288 300205 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 300205 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 300205 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 300205 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1200820 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.96 3.65 6/345 37954
/proc/meminfo: memFree=119387544/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=1317716 CPUtime=27.51 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 33575 0 13 0 2702 49 0 0 20 0 20 0 44876908 19521036288 329429 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 329429 5521 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=1200820 CPUtime=25 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 9496 0 13 0 2458 42 0 0 20 0 20 0 44876911 19521036288 329429 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 329429 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=1317588 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 329429 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 329429 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1317716 KiB

[startup+51.1047 s]
/proc/loadavg: 3.03 3.09 3.68 6/345 37954
/proc/meminfo: memFree=115091652/131250000 swapFree=33010684/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=1326752 CPUtime=53.2 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 38222 0 13 0 5261 59 0 0 20 0 20 0 44876908 19521036288 331688 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 331688 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=1324696 CPUtime=50.47 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 10421 0 13 0 4995 52 0 0 20 0 20 0 44876911 19521036288 331688 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0

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

[startup+3282.3 s]
/proc/loadavg: 4.46 4.42 4.32 6/346 38151
/proc/meminfo: memFree=25209916/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3268.59 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 91803 0 13 0 326236 623 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=19968 CPUtime=3252.97 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 36062 0 13 0 324771 526 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1749 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=16270580 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3268.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.54 4.45 4.34 5/347 38221
/proc/meminfo: memFree=71844824/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3328.27 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 91971 0 13 0 332191 636 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=3200 CPUtime=3312.5 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 36199 0 13 0 330712 538 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1749 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3328.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.43 4.34 5/346 38223
/proc/meminfo: memFree=69658868/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3387.93 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 93635 0 13 0 338147 646 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=3371.91 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 37536 0 13 0 336643 548 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1750 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=19968 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3387.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.51 4.44 4.35 8/347 38299
/proc/meminfo: memFree=98706760/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3447.57 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 94954 0 13 0 344099 658 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=6896 CPUtime=3431.34 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 38688 0 13 0 342576 558 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=2129584 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3447.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.37 4.33 5/346 38303
/proc/meminfo: memFree=90670256/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3507.46 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 95496 0 13 0 350078 668 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=10752 CPUtime=3490.94 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 38891 0 13 0 348527 567 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3507.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.37 4.33 5/345 38305
/proc/meminfo: memFree=82285056/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3567.27 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 95680 0 13 0 356046 681 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=5632 CPUtime=3550.64 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 39040 0 13 0 354487 577 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=19968 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3567.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.3 s]
/proc/loadavg: 4.51 4.41 4.35 5/346 38373
/proc/meminfo: memFree=99229384/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19063512 memory=2129584 CPUtime=3600.09 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 96670 0 13 0 359319 690 0 0 20 0 20 0 44876908 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4765878 532396 5553 1 0 553715 0
[pid=37861/tid=37866] ppid=37854 vsize=19063512 memory=5632 CPUtime=3583.36 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 39968 0 13 0 357750 586 0 0 20 0 20 0 44876911 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19063512 memory=-6000919489886184812 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37941] ppid=37854 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/37861/task/37941/stat : 37941 (Timer-0) S 37854 37861 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876930 19521036288 532396 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.43 s, system=6.91696 s

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

[startup+3615.4 s]
/proc/loadavg: 4.51 4.41 4.35 5/346 38373
/proc/meminfo: memFree=99229384/131250000 swapFree=33010672/33010684
[pid=37861] ppid=37854 vsize=19263204 memory=2130352 CPUtime=3600.29 cores=4,6
/proc/37861/stat : 37861 (java) S 37854 37861 37803 0 -1 4194304 99308 0 13 0 359339 690 0 0 20 0 21 0 44876908 19725520896 532588 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
/proc/37861/statm: 4815801 532588 5553 1 0 554650 0
[pid=37861/tid=37866] ppid=37854 vsize=19263204 memory=0 CPUtime=3583.46 cores=4,6
/proc/37861/task/37866/stat : 37866 (java) R 37854 37861 37803 0 -1 4194368 40196 0 13 0 357760 586 0 0 20 0 21 0 44876911 19725520896 532588 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37893] ppid=37854 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/37861/task/37893/stat : 37893 (Finalizer) S 37854 37861 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 44876913 19725520896 532588 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
[pid=37861/tid=37910] ppid=37854 vsize=19263204 memory=2129584 CPUtime=0 cores=4,6
/proc/37861/task/37910/stat : 37910 (Common-Cleaner) S 37854 37861 37803 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 21 0 44876914 19725520896 532588 18446744073709551615 94293682421760 94293682425456 140736261461952 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94293682433272 94293682434064 94293698031616 140736261466416 140736261466598 140736261466598 140736261472200 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2130352 KiB

Child status: 143

Real time (s): 3615.47
CPU time (s): 3600.34
CPU user time (s): 3593.43
CPU system time (s): 6.91696
CPU usage (%): 99.5818
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2130352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.43
system time used= 6.91696
maximum resident set size= 2130480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99609
page faults= 13
swaps= 0
block input operations= 368
block output operations= 7782816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110904
involuntary context switches= 13410


# summary of solver processes directly reported to runsolver:
#   pid: 37861
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3593.43
#   total CPU system time (s): 6.91696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76203 second user time and 18.0229 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-30 15:59:54
IDJOB=4484179
IDBENCH=146651
IDSOLVER=3364
FILE ID=nodeC019/4484179-1751291994
RUNJOBID= nodeC019-1751291993-37814
SLURM_JOB_ID= 9594257
Free space on /tmp= 433044 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484179-1751291994/watcher-4484179-1751291994 -o /tmp/evaluation-result-4484179-1751291994/solver-4484179-1751291994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751291993-37814 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484179-1751291994 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4484179-1751291994.opb

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

MD5SUM BENCH= 21e5c9aefd9c10ac1801b7f257b8155f
RANDOM SEED=1704263412

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.228
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.37
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		: 1406.945
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.37
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.677
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.37
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		: 2148.367
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.37
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.803
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.37
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		: 3384.672
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.37
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		: 3599.660
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.37
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		: 2213.942
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129796504 kB
MemAvailable:   129745360 kB
Buffers:            3280 kB
Cached:           756884 kB
SwapCached:            0 kB
Active:           326808 kB
Inactive:         500016 kB
Active(anon):      84728 kB
Inactive(anon):        0 kB
Active(file):     242080 kB
Inactive(file):   500016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1652 kB
Writeback:             0 kB
AnonPages:         69820 kB
Mapped:           103024 kB
Shmem:             18064 kB
KReclaimable:      91996 kB
Slab:             178152 kB
SReclaimable:      91996 kB
SUnreclaim:        86156 kB
KernelStack:        4176 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC019 at 2025-06-30 17:00:10