Trace number 4516831

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 VeriPB 2025-06-06? (TO) 3600.27 3606.65

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
MD5SUM16b4b2caf6bd669646fef9041566c258
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 benchmark0.006944
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables161
Total number of constraints80
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9
Number of constraints which are nor clauses,nor cardinality constraints71
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.20	c See www.sat4j.org for details.
0.10/0.22	c version PB25.v20250606
0.25/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.25	c java.vm.version	22.0.1+8-16
0.25/0.25	c java.vm.vendor	Oracle Corporation
0.25/0.25	c sun.arch.data.model	64
0.25/0.25	c java.version		22.0.1
0.25/0.25	c os.name		Linux
0.25/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.25	c os.arch		amd64
0.25/0.26	c Free memory 		2104792832
0.25/0.26	c Max memory 		16282288128
0.25/0.26	c Total memory 		2113929216
0.25/0.27	c Number of processors 	2
0.40/0.38	c Pseudo Boolean Optimization by upper bound
0.40/0.38	c --- Begin Solver configuration ---
0.40/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.38	c Learn all clauses as in MiniSAT
0.40/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.38	c Expensive reason simplification
0.40/0.38	c Glucose 2.1 dynamic restart strategy
0.40/0.38	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.40/0.38	c timeout=2147483s
0.40/0.38	c DB Simplification allowed=false
0.40/0.38	c Listener: none
0.40/0.38	c --- End Solver configuration ---
0.40/0.38	c solving HOME/instance-4516831-1751242012.opb
0.40/0.38	c reading problem ... 
0.40/0.39	c using VERIPB proof format
0.40/0.39	c  no objective function found
0.56/0.44	c ... done. Wall clock time 0.046s.
0.56/0.44	c declared #vars     161
0.56/0.44	c #constraints  80
0.56/0.44	c constraints type 
0.56/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.56/0.44	c 80 constraints processed.
2.25/1.35	c cleaning 2495 clauses out of 5000 with flag 31647/5000
3.25/1.83	c cleaning 4253 clauses out of 8505 with flag 72714/11000
4.03/2.20	c cleaning 5610 clauses out of 11252 with flag 114712/18000
4.52/2.50	c cleaning 6806 clauses out of 13643 with flag 167192/26001
4.88/2.85	c cleaning 7910 clauses out of 15837 with flag 226527/35001
5.40/3.20	c cleaning 8959 clauses out of 17928 with flag 292239/45002
6.16/3.63	c cleaning 9962 clauses out of 19968 with flag 360943/56001
6.79/4.11	c cleaning 10989 clauses out of 22005 with flag 435476/68000
7.38/4.73	c cleaning 11994 clauses out of 24016 with flag 527835/81000
7.98/5.36	c cleaning 13000 clauses out of 26023 with flag 624737/95001
8.69/6.08	c cleaning 13996 clauses out of 28022 with flag 730522/110000
9.27/6.65	c cleaning 15004 clauses out of 30027 with flag 831353/126001
10.05/7.35	c cleaning 15998 clauses out of 32022 with flag 945381/143000
11.00/8.13	c cleaning 16999 clauses out of 34026 with flag 1069077/161002
12.02/9.11	c cleaning 18000 clauses out of 36026 with flag 1195624/180001
12.80/9.99	c cleaning 19001 clauses out of 38025 with flag 1335074/200000
13.92/11.01	c cleaning 20007 clauses out of 40024 with flag 1493194/221000
14.93/12.19	c cleaning 20994 clauses out of 42018 with flag 1647643/243001
16.12/13.34	c cleaning 21997 clauses out of 44024 with flag 1803479/266001
17.31/14.57	c cleaning 22998 clauses out of 46026 with flag 1963996/290000
18.71/15.98	c cleaning 24003 clauses out of 48028 with flag 2135366/315000
20.32/17.55	c cleaning 25006 clauses out of 50027 with flag 2321303/341002
21.71/18.99	c cleaning 26003 clauses out of 52020 with flag 2515142/368001
23.31/20.59	c cleaning 26996 clauses out of 54016 with flag 2708293/396000
25.21/22.46	c cleaning 27995 clauses out of 56020 with flag 2911517/425000
27.00/24.26	c cleaning 29002 clauses out of 58025 with flag 3118301/455000
29.00/26.23	c cleaning 30003 clauses out of 60023 with flag 3335051/486000
31.10/28.37	c cleaning 31001 clauses out of 62020 with flag 3563603/518000
33.19/30.49	c cleaning 31994 clauses out of 64019 with flag 3801466/551000
35.68/32.97	c cleaning 33001 clauses out of 66026 with flag 4039519/585001
38.18/35.44	c cleaning 34004 clauses out of 68024 with flag 4291271/620000
40.78/38.04	c cleaning 35002 clauses out of 70021 with flag 4557782/656001
43.46/40.73	c cleaning 36000 clauses out of 72018 with flag 4826371/693000
46.24/43.76	c cleaning 36996 clauses out of 74019 with flag 5092193/731001
49.41/46.81	c cleaning 38006 clauses out of 76024 with flag 5364694/770002
52.68/50.01	c cleaning 38996 clauses out of 78018 with flag 5649851/810002
56.42/53.41	c cleaning 40007 clauses out of 80021 with flag 5943618/851001
59.71/56.74	c cleaning 40992 clauses out of 82014 with flag 6229748/893001
63.21/60.23	c cleaning 42004 clauses out of 84021 with flag 6518593/936000
67.11/63.95	c cleaning 42995 clauses out of 86019 with flag 6809502/980002
70.95/67.61	c cleaning 43995 clauses out of 88023 with flag 7111587/1025001
74.92/71.52	c cleaning 45007 clauses out of 90027 with flag 7422140/1071000
79.53/76.22	c cleaning 45993 clauses out of 92022 with flag 7746144/1118002
83.91/80.53	c cleaning 47009 clauses out of 94028 with flag 8063382/1166001
88.52/85.16	c cleaning 48008 clauses out of 96018 with flag 8389913/1215000
93.19/89.86	c cleaning 49000 clauses out of 98010 with flag 8721592/1265000
97.98/94.62	c cleaning 49999 clauses out of 100010 with flag 9046651/1316000
102.77/99.40	c cleaning 51000 clauses out of 102013 with flag 9379377/1368002
107.80/104.58	c cleaning 51996 clauses out of 104011 with flag 9725087/1421000
113.39/110.13	c cleaning 52998 clauses out of 106016 with flag 10081470/1475001
118.87/115.69	c cleaning 54001 clauses out of 108017 with flag 10428635/1530000
124.66/121.45	c cleaning 55005 clauses out of 110016 with flag 10779582/1586000
130.45/127.21	c cleaning 56003 clauses out of 112013 with flag 11135101/1643002
136.14/132.98	c cleaning 56994 clauses out of 114008 with flag 11503469/1701000
141.89/138.70	c cleaning 57995 clauses out of 116014 with flag 11875123/1760000
148.18/145.08	c cleaning 59004 clauses out of 118019 with flag 12254727/1820000
155.05/151.92	c cleaning 60002 clauses out of 120015 with flag 12635143/1881000
161.94/158.83	c cleaning 60998 clauses out of 122013 with flag 13018783/1943000
168.58/165.60	c cleaning 62004 clauses out of 124016 with flag 13396896/2006001
175.96/172.98	c cleaning 62993 clauses out of 126011 with flag 13780582/2070000
183.74/180.71	c cleaning 63999 clauses out of 128019 with flag 14163005/2135001
191.32/188.39	c cleaning 65001 clauses out of 130019 with flag 14563604/2201000
199.14/196.23	c cleaning 65995 clauses out of 132018 with flag 14972614/2268000
207.60/204.65	c cleaning 67003 clauses out of 134023 with flag 15371491/2336000
215.68/212.77	c cleaning 68004 clauses out of 136021 with flag 15782900/2405001
224.37/221.46	c cleaning 69003 clauses out of 138018 with flag 16193039/2475002
233.29/230.47	c cleaning 69995 clauses out of 140014 with flag 16611708/2546001
242.37/239.57	c cleaning 70998 clauses out of 142018 with flag 17041090/2618000
251.85/249.05	c cleaning 72007 clauses out of 144020 with flag 17467888/2691000
261.16/258.47	c cleaning 72992 clauses out of 146013 with flag 17901638/2765000
271.23/268.55	c cleaning 74001 clauses out of 148021 with flag 18339132/2840000
282.01/279.34	c cleaning 75002 clauses out of 150020 with flag 18771307/2916000
292.28/289.66	c cleaning 76003 clauses out of 152020 with flag 19212455/2993002
303.67/301.03	c cleaning 76998 clauses out of 154016 with flag 19669839/3071001
314.93/312.37	c cleaning 77998 clauses out of 156017 with flag 20113686/3150000
326.05/323.51	c cleaning 79000 clauses out of 158020 with flag 20579113/3230001
338.02/335.58	c cleaning 80003 clauses out of 160019 with flag 21037498/3311000
349.62/347.14	c cleaning 80994 clauses out of 162017 with flag 21515855/3393001
361.66/359.21	c cleaning 82003 clauses out of 164023 with flag 21988515/3476001
373.55/371.17	c cleaning 83002 clauses out of 166019 with flag 22469248/3560000
386.78/384.47	c cleaning 84003 clauses out of 168018 with flag 22953628/3645001
399.44/397.03	c cleaning 84996 clauses out of 170014 with flag 23453118/3731000
412.52/410.13	c cleaning 86000 clauses out of 172019 with flag 23936588/3818001
428.14/425.83	c cleaning 87001 clauses out of 174019 with flag 24424615/3906001
442.31/440.08	c cleaning 88010 clauses out of 176021 with flag 24927068/3995004
458.62/456.40	c cleaning 88993 clauses out of 178007 with flag 25447074/4085000
474.18/472.00	c cleaning 90002 clauses out of 180015 with flag 25946316/4176001
489.45/487.43	c cleaning 90995 clauses out of 182013 with flag 26463245/4268001
505.29/503.38	c cleaning 92006 clauses out of 184018 with flag 26975463/4361001
521.61/519.78	c cleaning 92995 clauses out of 186011 with flag 27493520/4455000
538.83/537.14	c cleaning 94002 clauses out of 188018 with flag 28019251/4550002
554.99/553.36	c cleaning 94998 clauses out of 190014 with flag 28555490/4646000
572.51/570.98	c cleaning 95996 clauses out of 192016 with flag 29087073/4743000
590.27/588.72	c cleaning 97002 clauses out of 194021 with flag 29635173/4841001
607.41/605.98	c cleaning 98000 clauses out of 196019 with flag 30191408/4940001
625.36/623.97	c cleaning 99008 clauses out of 198018 with flag 30772187/5040000
645.49/644.18	c cleaning 99995 clauses out of 200010 with flag 31322445/5141000
665.91/664.66	c cleaning 101002 clauses out of 202015 with flag 31871253/5243000
685.28/684.02	c cleaning 102000 clauses out of 204013 with flag 32458325/5346000
706.70/706.19	c cleaning 103001 clauses out of 206013 with flag 33035970/5450000
728.03/727.57	c cleaning 103988 clauses out of 208012 with flag 33611463/5555000
748.63/748.19	c cleaning 105005 clauses out of 210024 with flag 34193133/5661000
770.85/770.49	c cleaning 106001 clauses out of 212019 with flag 34787994/5768000
793.48/793.11	c cleaning 107000 clauses out of 214018 with flag 35383959/5876000
814.79/814.59	c cleaning 107998 clauses out of 216020 with flag 35969823/5985002
836.86/836.66	c cleaning 109006 clauses out of 218021 with flag 36575767/6095001
859.95/859.71	c cleaning 109995 clauses out of 220014 with flag 37187531/6206000
884.87/884.74	c cleaning 111006 clauses out of 222021 with flag 37795646/6318002
909.20/909.19	c cleaning 112001 clauses out of 224015 with flag 38403817/6431002
934.66/935.00	c cleaning 113000 clauses out of 226012 with flag 39043446/6545000
961.61/961.91	c cleaning 113996 clauses out of 228012 with flag 39685034/6660000
986.55/986.97	c cleaning 115000 clauses out of 230017 with flag 40331319/6776001
1012.74/1013.16	c cleaning 115998 clauses out of 232016 with flag 40965620/6893000
1039.56/1040.05	c cleaning 117001 clauses out of 234018 with flag 41608671/7011000
1068.11/1068.68	c cleaning 118007 clauses out of 236018 with flag 42257170/7130001
1094.72/1095.31	c cleaning 118992 clauses out of 238011 with flag 42911712/7250001
1123.37/1124.11	c cleaning 119994 clauses out of 240018 with flag 43562310/7371000
1151.18/1151.97	c cleaning 121001 clauses out of 242025 with flag 44232459/7493001
1181.02/1181.86	c cleaning 121999 clauses out of 244024 with flag 44907500/7616001
1210.88/1211.75	c cleaning 123007 clauses out of 246024 with flag 45571074/7740000
1241.68/1242.68	c cleaning 124000 clauses out of 248017 with flag 46254002/7865000
1270.65/1271.69	c cleaning 124999 clauses out of 250017 with flag 46937671/7991000
1300.95/1301.97	c cleaning 125996 clauses out of 252019 with flag 47630466/8118001
1331.73/1332.74	c cleaning 127003 clauses out of 254023 with flag 48316814/8246001
1364.23/1365.33	c cleaning 127995 clauses out of 256020 with flag 48997582/8375001
1395.88/1397.07	c cleaning 129004 clauses out of 258024 with flag 49708606/8505000
1432.09/1433.36	c cleaning 130003 clauses out of 260020 with flag 50413917/8636000
1465.32/1466.66	c cleaning 131003 clauses out of 262017 with flag 51117264/8768000
1499.08/1500.47	c cleaning 132003 clauses out of 264015 with flag 51850952/8901001
1534.09/1535.51	c cleaning 133005 clauses out of 266011 with flag 52567906/9035000
1569.30/1570.87	c cleaning 133991 clauses out of 268006 with flag 53308290/9170000
1604.19/1605.80	c cleaning 134997 clauses out of 270015 with flag 54048976/9306000
1639.61/1641.36	c cleaning 135997 clauses out of 272018 with flag 54782273/9443000
1675.22/1677.00	c cleaning 136997 clauses out of 274023 with flag 55544128/9581002
1710.42/1712.24	c cleaning 138005 clauses out of 276025 with flag 56276654/9720001
1747.70/1749.63	c cleaning 139006 clauses out of 278019 with flag 57026498/9860000
1786.41/1788.40	c cleaning 140004 clauses out of 280013 with flag 57772389/10001000
1827.82/1830.00	c cleaning 140990 clauses out of 282010 with flag 58518718/10143001
1866.32/1868.54	c cleaning 142003 clauses out of 284019 with flag 59284844/10286000
1906.11/1908.46	c cleaning 143006 clauses out of 286016 with flag 60068045/10430000
1948.49/1950.98	c cleaning 143997 clauses out of 288011 with flag 60841418/10575001
1991.09/1993.60	c cleaning 145002 clauses out of 290014 with flag 61624349/10721001
2031.85/2034.92	c cleaning 145997 clauses out of 292011 with flag 62418675/10868000
2071.96/2075.18	c cleaning 147003 clauses out of 294017 with flag 63224217/11016003
2115.01/2118.24	c cleaning 148002 clauses out of 296013 with flag 64011578/11165002
2158.22/2161.59	c cleaning 148996 clauses out of 298011 with flag 64812835/11315002
2203.11/2206.58	c cleaning 149994 clauses out of 300013 with flag 65629776/11466000
2247.99/2251.59	c cleaning 151000 clauses out of 302020 with flag 66447123/11618001
2293.42/2297.03	c cleaning 152002 clauses out of 304019 with flag 67268370/11771000
2341.07/2344.85	c cleaning 153003 clauses out of 306018 with flag 68088466/11925001
2387.77/2391.64	c cleaning 153995 clauses out of 308015 with flag 68907783/12080001
2436.98/2440.98	c cleaning 155002 clauses out of 310019 with flag 69718479/12236000
2485.97/2490.07	c cleaning 156005 clauses out of 312018 with flag 70544611/12393001
2534.15/2538.36	c cleaning 156996 clauses out of 314012 with flag 71381684/12551000
2585.20/2589.42	c cleaning 158003 clauses out of 316016 with flag 72218512/12710000
2635.55/2639.93	c cleaning 158991 clauses out of 318013 with flag 73064117/12870000
2687.01/2691.55	c cleaning 160003 clauses out of 320022 with flag 73898513/13031000
2736.73/2741.37	c cleaning 161007 clauses out of 322022 with flag 74765207/13193003
2787.68/2792.39	c cleaning 161995 clauses out of 324012 with flag 75612565/13356000
2840.04/2844.83	c cleaning 163001 clauses out of 326019 with flag 76492855/13520002
2892.72/2897.66	c cleaning 164009 clauses out of 328017 with flag 77371559/13685001
2944.30/2949.33	c cleaning 164994 clauses out of 330007 with flag 78253839/13851000
2999.18/3004.33	c cleaning 165993 clauses out of 332013 with flag 79136696/14018000
3054.36/3059.61	c cleaning 167005 clauses out of 334021 with flag 80006807/14186001
3111.18/3116.59	c cleaning 168001 clauses out of 336015 with flag 80903134/14355000
3164.84/3170.34	c cleaning 168998 clauses out of 338016 with flag 81778160/14525002
3222.52/3228.16	c cleaning 170000 clauses out of 340017 with flag 82663893/14696001
3280.96/3286.77	c cleaning 170998 clauses out of 342016 with flag 83543840/14868000
3338.37/3344.23	c cleaning 172000 clauses out of 344018 with flag 84444155/15041000
3398.45/3404.56	c cleaning 172997 clauses out of 346019 with flag 85344006/15215001
3457.02/3463.24	c cleaning 173997 clauses out of 348021 with flag 86254169/15390000
3519.59/3525.97	c cleaning 175009 clauses out of 350029 with flag 87178639/15566005
3573.44/3579.85	c cleaning 176001 clauses out of 352017 with flag 88087966/15743002
3600.07/3606.52	c starts		: 31058
3600.07/3606.52	c timeout
3600.07/3606.53	c conflicts		: 15838666
3600.07/3606.53	c decisions		: 20520115
3600.07/3606.53	c propagations		: 254312081
3600.07/3606.53	c inspects		: 61245237841
3600.07/3606.53	c shortcuts		: 0
3600.07/3606.53	c learnt literals	: 0
3600.07/3606.53	c learnt binary clauses	: 0
3600.07/3606.53	c learnt ternary clauses	: 0
3600.07/3606.53	c learnt constraints	: 15838666
3600.07/3606.53	c ignored constraints	: 0
3600.07/3606.53	c root simplifications	: 0
3600.07/3606.53	c removed literals (reason simplification)	: 24681687
3600.07/3606.53	c reason swapping (by a shorter reason)	: 0
3600.07/3606.53	c Calls to reduceDB	: 173
3600.07/3606.53	c Number of update (reduction) of LBD	: 4262697
3600.07/3606.53	c Imported unit clauses	: 0
3600.07/3606.53	c No decision after first conflict	: false
3600.07/3606.53	c number of reductions to clauses (during analyze)	: 0
3600.07/3606.53	c number of learned constraints concerned by reduction	: 0
3600.07/3606.53	c number of learning phase by resolution	: 0
3600.07/3606.53	c number of learning phase by cutting planes	: 0
3600.07/3606.53	c number of rounding to 1 operations	: 0
3600.07/3606.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3606.53	c number of reductions of the coefficients by power 2 	: 0
3600.07/3606.53	c number of right shift for reduction by power 2 	: 0
3600.07/3606.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3606.53	c number of ending skipping 	: 0
3600.07/3606.53	c number of internal skipping 	: 0
3600.07/3606.53	c number of derivation steps 	: 0
3600.07/3606.53	c number of skipped derivation steps 	: 0
3600.07/3606.53	c number of remaining unassigned 	: 0
3600.07/3606.53	c number of remaining assigned 	: 0
3600.07/3606.53	c number of falsified literals weakened from reason	: 0
3600.07/3606.53	c number of falsified literals weakened from conflict	: 0
3600.07/3606.53	c time for arithmetic operations	: 0
3600.07/3606.53	c minimum degree of deleted constraints	: null
3600.07/3606.54	c maximum degree of deleted constraints	: null
3600.07/3606.54	c number of deleted constraints	: 0
3600.07/3606.54	c speed (assignments/second)	: 70522.92385300316
3600.07/3606.54	c non guided choices	: 3013
3600.21/3606.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 271680
3600.21/3606.62	s UNKNOWN
3600.21/3606.62	c Total wall clock time (in seconds): 3606.24

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: 63837 MiB (63253 MiB free)
  memory of node 1: 64465 MiB (63401 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=33463, runsolver pid=33458

[startup+0.102213 s]*
/proc/loadavg: 0.97 1.45 1.89 11/310 33534
/proc/meminfo: memFree=129637248/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=18930344 memory=46292 CPUtime=0.1 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 5631 0 0 0 6 4 0 0 20 0 18 0 39880624 19384672256 11573 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4732586 11573 4921 1 0 546862 0
[pid=33463/tid=33474] ppid=33458 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 4570 0 0 0 3 3 0 0 20 0 18 0 39880627 19384672256 11573 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=18930344 memory=2622 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880632 19384672256 11573 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880633 19384713216 11573 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46292 KiB

[startup+0.215071 s]*
/proc/loadavg: 0.97 1.45 1.89 7/321 33545
/proc/meminfo: memFree=129623380/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=18930384 memory=51828 CPUtime=0.25 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 6104 0 0 0 20 5 0 0 20 0 18 0 39880624 19384713216 12957 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4732596 12957 5337 1 0 547213 0
[pid=33463/tid=33474] ppid=33458 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 4951 0 0 0 12 3 0 0 20 0 18 0 39880627 19384713216 12957 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=18930384 memory=2622 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880632 19384713216 12957 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880633 19384713216 12957 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51828 KiB

[startup+0.318831 s]*
/proc/loadavg: 0.97 1.45 1.89 9/321 33545
/proc/meminfo: memFree=129589984/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=18930384 memory=57908 CPUtime=0.4 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 6628 0 0 0 35 5 0 0 20 0 18 0 39880624 19384713216 14477 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4732596 14477 5337 1 0 547679 0
[pid=33463/tid=33474] ppid=33458 vsize=18930384 memory=-6000919485574703468 CPUtime=0.24 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 5114 0 0 0 21 3 0 0 20 0 18 0 39880627 19384713216 14477 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880632 19384713216 14477 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880633 19384713216 14477 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57908 KiB

[startup+0.700479 s]
/proc/loadavg: 0.97 1.45 1.89 13/323 33547
/proc/meminfo: memFree=129510172/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=18996948 memory=68040 CPUtime=1.08 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 8780 0 0 0 100 8 0 0 20 0 19 0 39880624 19452874752 17010 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4749237 17010 5465 1 0 549129 0
[pid=33463/tid=33474] ppid=33458 vsize=18996948 memory=18048 CPUtime=0.49 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 5335 0 0 0 44 5 0 0 20 0 19 0 39880627 19452874752 17010 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880632 19452874752 17010 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39880633 19452874752 17010 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39880669 19452874752 17010 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68040 KiB

[startup+1.5003 s]
/proc/loadavg: 0.97 1.45 1.89 10/326 33550
/proc/meminfo: memFree=128815816/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=18996948 memory=139156 CPUtime=2.65 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 18373 0 0 0 252 13 0 0 20 0 19 0 39880624 19452874752 34789 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4749237 34789 5465 1 0 552391 0
[pid=33463/tid=33474] ppid=33458 vsize=18996948 memory=11008 CPUtime=1.24 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 6344 0 0 0 116 8 0 0 20 0 19 0 39880627 19452874752 34789 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880632 19452874752 34789 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39880633 19452874752 34789 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39880669 19452874752 34789 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139156 KiB

[startup+3.10558 s]
/proc/loadavg: 0.97 1.45 1.89 7/329 33553
/proc/meminfo: memFree=128129580/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=172436 CPUtime=5.23 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 22661 0 0 0 508 15 0 0 20 0 20 0 39880624 19521036288 43109 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 43109 5497 1 0 553566 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=-6000919472706578796 CPUtime=2.82 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 6716 0 0 0 273 9 0 0 20 0 20 0 39880627 19521036288 43109 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 43109 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 43109 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 43109 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172436 KiB

[startup+6.30045 s]
/proc/loadavg: 1.37 1.53 1.91 6/329 33553
/proc/meminfo: memFree=127251072/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=231928 CPUtime=8.98 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 24242 0 0 0 879 19 0 0 20 0 20 0 39880624 19521036288 57982 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 57982 5497 1 0 553567 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=0 CPUtime=5.95 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 7254 0 0 0 583 12 0 0 20 0 20 0 39880627 19521036288 57982 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 57982 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 57982 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=148484 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 57982 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231928 KiB

[startup+12.7005 s]
/proc/loadavg: 1.58 1.57 1.92 5/330 33554
/proc/meminfo: memFree=126302068/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=483884 CPUtime=15.51 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 28036 0 0 0 1523 28 0 0 20 0 20 0 39880624 19521036288 120971 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 120971 5497 1 0 553567 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=148484 CPUtime=12.22 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 8395 0 0 0 1202 20 0 0 20 0 20 0 39880627 19521036288 120971 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=430636 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 120971 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 120971 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 120971 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 483884 KiB

[startup+25.5005 s]
/proc/loadavg: 2.19 1.71 1.96 5/329 33555
/proc/meminfo: memFree=123559352/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=897608 CPUtime=28.3 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 30950 0 0 0 2788 42 0 0 20 0 20 0 39880624 19521036288 224402 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 224402 5497 1 0 553567 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=11008 CPUtime=24.96 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 9737 0 0 0 2462 34 0 0 20 0 20 0 39880627 19521036288 224402 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 224402 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=729672 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 224402 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=729672 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 224402 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 28.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 897608 KiB

[startup+51.114 s]
/proc/loadavg: 2.81 1.89 2.02 5/332 33558
/proc/meminfo: memFree=121511376/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1305212 CPUtime=53.99 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 33743 0 0 0 5339 60 0 0 20 0 20 0 39880624 19521036288 326303 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 326303 5497 1 0 553567 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=6784 CPUtime=50.11 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 10022 0 0 0 4961 50 0 0 20 0 20 0 39880627 19521036288 326303 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 326303 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0

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

[startup+3282.3 s]
/proc/loadavg: 4.21 4.23 4.23 6/334 33737
/proc/meminfo: memFree=89390356/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3276.57 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 69236 0 0 0 326977 680 0 0 20 0 20 0 39880624 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443291 5529 1 0 553695 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3260.52 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 31006 0 0 0 325531 521 0 0 20 0 20 0 39880627 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 856 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3276.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.26 4.24 5/333 33739
/proc/meminfo: memFree=88832992/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3336.48 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 69408 0 0 0 332959 689 0 0 20 0 20 0 39880624 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443291 5529 1 0 553724 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3320.18 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 31150 0 0 0 331490 528 0 0 20 0 20 0 39880627 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 856 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=2432 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3336.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.24 5/333 33741
/proc/meminfo: memFree=88314496/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3396.26 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 70009 0 0 0 338927 699 0 0 20 0 20 0 39880624 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443291 5529 1 0 553724 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3379.91 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 31745 0 0 0 337456 535 0 0 20 0 20 0 39880627 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=-6000919472706578796 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 856 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3396.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.25 5/333 33742
/proc/meminfo: memFree=88823432/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3456.11 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 70941 0 0 0 344904 707 0 0 20 0 20 0 39880624 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443291 5529 1 0 553724 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3439.61 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 32452 0 0 0 343420 541 0 0 20 0 20 0 39880627 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=14352 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443291 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3456.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.26 4.25 5/334 33745
/proc/meminfo: memFree=88606924/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773292 CPUtime=3516 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 71616 0 0 0 350883 717 0 0 20 0 20 0 39880624 19521036288 443323 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443323 5529 1 0 553756 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773164 CPUtime=3499.24 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 32904 0 0 0 349376 548 0 0 20 0 20 0 39880627 19521036288 443323 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443323 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=14352 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 985 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443323 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=1773292 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443323 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3516 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.03 4.20 4.23 3/284 33822
/proc/meminfo: memFree=122266988/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773420 CPUtime=3575.94 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 71784 0 0 0 356866 728 0 0 20 0 20 0 39880624 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443355 5529 1 0 553799 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773420 CPUtime=3558.94 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 33028 0 0 0 355338 556 0 0 20 0 20 0 39880627 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=1773420 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 985 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=1773420 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3575.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.5 s]
/proc/loadavg: 3.48 4.05 4.18 3/283 33823
/proc/meminfo: memFree=122272876/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19063512 memory=1773420 CPUtime=3600.07 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 71807 0 0 0 359275 732 0 0 20 0 20 0 39880624 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4765878 443355 5529 1 0 553799 0
[pid=33463/tid=33474] ppid=33458 vsize=19063512 memory=1773420 CPUtime=3583.05 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) R 33458 33463 33405 0 -1 4194368 33048 0 0 0 357747 558 0 0 20 0 20 0 39880627 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19063512 memory=14352 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880632 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19063512 memory=1773164 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 985 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33547] ppid=33458 vsize=19063512 memory=1773420 CPUtime=0 cores=4,6
/proc/33463/task/33547/stat : 33547 (Timer-0) S 33458 33463 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880669 19521036288 443355 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1773420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.93 s, system=7.33949 s

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

[startup+3606.61 s]
/proc/loadavg: 3.48 4.05 4.18 3/283 33823
/proc/meminfo: memFree=122272876/131382116 swapFree=33010684/33010684
[pid=33463] ppid=33458 vsize=19263204 memory=1774316 CPUtime=3600.21 cores=4,6
/proc/33463/stat : 33463 (java) S 33458 33463 33405 0 -1 4194304 74122 0 0 0 359289 732 0 0 20 0 21 0 39880624 19725520896 443579 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
/proc/33463/statm: 4815801 443579 5529 1 0 554719 0
[pid=33463/tid=33474] ppid=33458 vsize=19263204 memory=3328 CPUtime=3583.07 cores=4,6
/proc/33463/task/33474/stat : 33474 (java) S 33458 33463 33405 0 -1 4194368 33433 0 0 0 357749 558 0 0 20 0 21 0 39880627 19725520896 443579 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33507] ppid=33458 vsize=19263204 memory=4764 CPUtime=0 cores=4,6
/proc/33463/task/33507/stat : 33507 (Finalizer) S 33458 33463 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39880632 19725520896 443579 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
[pid=33463/tid=33523] ppid=33458 vsize=19263204 memory=2888 CPUtime=0 cores=4,6
/proc/33463/task/33523/stat : 33523 (Common-Cleaner) S 33458 33463 33405 0 -1 4194368 985 0 0 0 0 0 0 0 20 0 21 0 39880633 19725520896 443579 18446744073709551615 94065695535104 94065695538800 140727326924816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065695546616 94065695547408 94065702137856 140727326927152 140727326927334 140727326927334 140727326932936 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1774316 KiB

Child status: 143

Real time (s): 3606.65
CPU time (s): 3600.27
CPU user time (s): 3592.93
CPU system time (s): 7.33949
CPU usage (%): 99.823
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1774316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.93
system time used= 7.33948
maximum resident set size= 1774316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4432504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106574
involuntary context switches= 9013


# summary of solver processes directly reported to runsolver:
#   pid: 33463
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3592.93
#   total CPU system time (s): 7.33949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7249 second user time and 38.8677 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 02:06:52
IDJOB=4516831
IDBENCH=175833
IDSOLVER=3364
FILE ID=nodeC010/4516831-1751242012
RUNJOBID= nodeC010-1751242012-33418
SLURM_JOB_ID= 9587733
Free space on /tmp= 432692 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516831-1751242012/watcher-4516831-1751242012 -o /tmp/evaluation-result-4516831-1751242012/solver-4516831-1751242012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751242012-33418 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516831-1751242012 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516831-1751242012.opb

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

MD5SUM BENCH= 16b4b2caf6bd669646fef9041566c258
RANDOM SEED=242914678

nodeC010 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.146
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.36
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.291
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.36
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		: 1197.698
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.36
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.36
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		: 1197.137
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.36
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		: 1197.151
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.36
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.584
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.36
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.150
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129698408 kB
MemAvailable:   129942380 kB
Buffers:            3280 kB
Cached:          1053352 kB
SwapCached:            0 kB
Active:           357624 kB
Inactive:         760864 kB
Active(anon):      79816 kB
Inactive(anon):        0 kB
Active(file):     277808 kB
Inactive(file):   760864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               984 kB
Writeback:             0 kB
AnonPages:         65028 kB
Mapped:           103460 kB
Shmem:             17960 kB
KReclaimable:      89856 kB
Slab:             172048 kB
SReclaimable:      89856 kB
SUnreclaim:        82192 kB
KernelStack:        3828 kB
PageTables:         2500 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432692 MiB
End job on nodeC010 at 2025-06-30 03:06:59