Trace number 4516326

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.35 3517.79

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
MD5SUM6964b646467d268a62556124320c5d40
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.053684
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1585
Number of constraints which are clauses1584
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint792
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 805
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4516326-1751239001.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.052s.
0.13/0.18	c declared #vars     792
0.13/0.18	c #constraints  1585
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1584
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.18	c 1585 constraints processed.
1.46/0.87	c cleaning 2497 clauses out of 5002 with flag 10639/5002
1.99/1.28	c cleaning 4252 clauses out of 8504 with flag 23445/11001
2.71/1.80	c cleaning 5624 clauses out of 11251 with flag 38345/18000
3.37/2.49	c cleaning 6814 clauses out of 13627 with flag 55485/26000
4.07/3.15	c cleaning 7902 clauses out of 15814 with flag 74685/35001
4.91/3.98	c cleaning 8956 clauses out of 17912 with flag 95948/45001
5.90/4.83	c cleaning 9975 clauses out of 19955 with flag 119293/56000
6.95/5.86	c cleaning 10989 clauses out of 21980 with flag 144815/68000
8.25/7.04	c cleaning 11995 clauses out of 23992 with flag 172464/81001
9.55/8.31	c cleaning 12998 clauses out of 25996 with flag 202202/95000
11.13/9.87	c cleaning 13994 clauses out of 27999 with flag 234196/110001
12.62/11.20	c cleaning 15003 clauses out of 30005 with flag 268079/126001
14.42/12.93	c cleaning 16000 clauses out of 32001 with flag 304206/143000
16.45/14.84	c cleaning 17001 clauses out of 34001 with flag 342371/161000
18.15/16.59	c cleaning 17995 clauses out of 36000 with flag 382616/180000
20.13/18.46	c cleaning 19000 clauses out of 38006 with flag 425146/200001
22.44/20.62	c cleaning 20003 clauses out of 40005 with flag 469772/221000
24.54/22.64	c cleaning 20996 clauses out of 42003 with flag 516412/243001
27.01/25.09	c cleaning 22003 clauses out of 44007 with flag 565027/266001
29.93/27.80	c cleaning 22997 clauses out of 46003 with flag 615968/290000
33.04/30.81	c cleaning 24001 clauses out of 48008 with flag 669361/315002
36.36/34.05	c cleaning 24996 clauses out of 50006 with flag 724741/341001
40.50/38.05	c cleaning 26005 clauses out of 52010 with flag 782181/368001
44.02/41.44	c cleaning 26995 clauses out of 54004 with flag 841366/396000
48.43/45.28	c cleaning 27999 clauses out of 56010 with flag 902611/425001
51.70/48.42	c cleaning 29001 clauses out of 58010 with flag 965821/455000
54.58/51.21	c cleaning 29996 clauses out of 60010 with flag 1031020/486001
58.21/54.69	c cleaning 31004 clauses out of 62013 with flag 1098187/518000
62.13/58.47	c cleaning 32004 clauses out of 64009 with flag 1167596/551000
65.95/62.14	c cleaning 32999 clauses out of 66006 with flag 1239135/585001
70.22/66.21	c cleaning 33997 clauses out of 68007 with flag 1312902/620001
74.79/70.69	c cleaning 35003 clauses out of 70010 with flag 1388843/656001
79.07/74.88	c cleaning 36001 clauses out of 72009 with flag 1467264/693003
83.94/79.46	c cleaning 37000 clauses out of 74005 with flag 1547457/731000
88.67/84.08	c cleaning 37996 clauses out of 76007 with flag 1630235/770002
94.13/88.72	c cleaning 38998 clauses out of 78011 with flag 1714960/810002
99.89/94.49	c cleaning 39999 clauses out of 80011 with flag 1802193/851000
106.07/100.40	c cleaning 41006 clauses out of 82012 with flag 1891445/893000
111.87/106.01	c cleaning 42003 clauses out of 84006 with flag 1982203/936000
118.64/112.68	c cleaning 43000 clauses out of 86004 with flag 2075741/980001
125.51/119.34	c cleaning 44002 clauses out of 88003 with flag 2171403/1025000
131.66/125.34	c cleaning 44997 clauses out of 90001 with flag 2268148/1071000
138.54/132.19	c cleaning 45995 clauses out of 92005 with flag 2367013/1118001
145.05/138.53	c cleaning 46999 clauses out of 94009 with flag 2468261/1166000
151.93/145.30	c cleaning 48002 clauses out of 96012 with flag 2572350/1215002
162.03/154.36	c cleaning 49003 clauses out of 98008 with flag 2678567/1265000
171.03/163.14	c cleaning 49997 clauses out of 100005 with flag 2786697/1316000
180.30/172.24	c cleaning 51004 clauses out of 102009 with flag 2896855/1368001
189.29/180.91	c cleaning 52003 clauses out of 104005 with flag 3008973/1421001
201.52/193.10	c cleaning 53001 clauses out of 106001 with flag 3123575/1475000
209.63/200.86	c cleaning 53994 clauses out of 108002 with flag 3239427/1530002
217.69/208.67	c cleaning 54997 clauses out of 110006 with flag 3357622/1586000
225.28/216.19	c cleaning 55995 clauses out of 112009 with flag 3478552/1643000
234.80/225.38	c cleaning 57002 clauses out of 114014 with flag 3601128/1701000
243.14/233.55	c cleaning 58003 clauses out of 116013 with flag 3725982/1760001
252.51/242.63	c cleaning 59001 clauses out of 118011 with flag 3853387/1820002
263.51/252.33	c cleaning 60002 clauses out of 120010 with flag 3982750/1881002
275.68/264.36	c cleaning 60999 clauses out of 122008 with flag 4114395/1943002
286.18/274.57	c cleaning 62003 clauses out of 124007 with flag 4247890/2006000
297.40/285.49	c cleaning 63000 clauses out of 126004 with flag 4383555/2070000
308.28/296.11	c cleaning 64001 clauses out of 128006 with flag 4521270/2135002
321.36/308.92	c cleaning 64999 clauses out of 130004 with flag 4661151/2201001
333.89/321.14	c cleaning 65998 clauses out of 132005 with flag 4802910/2268001
347.59/334.56	c cleaning 66999 clauses out of 134006 with flag 4946950/2336000
361.05/347.88	c cleaning 67998 clauses out of 136007 with flag 5093266/2405000
376.03/362.55	c cleaning 69002 clauses out of 138012 with flag 5241404/2475003
390.49/376.73	c cleaning 69997 clauses out of 140007 with flag 5391698/2546000
405.23/391.11	c cleaning 71000 clauses out of 142011 with flag 5544438/2618001
421.42/406.03	c cleaning 72000 clauses out of 144010 with flag 5699064/2691000
435.99/420.24	c cleaning 73003 clauses out of 146010 with flag 5855932/2765000
449.53/433.45	c cleaning 73993 clauses out of 148007 with flag 6014595/2840000
464.08/447.83	c cleaning 75004 clauses out of 150016 with flag 6176388/2916002
478.36/461.85	c cleaning 76004 clauses out of 152010 with flag 6339620/2993000
493.20/476.21	c cleaning 76996 clauses out of 154008 with flag 6504429/3071002
508.97/491.66	c cleaning 77991 clauses out of 156011 with flag 6672026/3150001
527.34/509.86	c cleaning 79007 clauses out of 158021 with flag 6842445/3230002
547.91/530.03	c cleaning 80007 clauses out of 160013 with flag 7014796/3311001
564.59/546.35	c cleaning 80997 clauses out of 162006 with flag 7189076/3393001
589.91/571.30	c cleaning 82003 clauses out of 164008 with flag 7365369/3476000
607.07/588.14	c cleaning 82993 clauses out of 166005 with flag 7544157/3560000
622.69/603.35	c cleaning 84005 clauses out of 168012 with flag 7725193/3645000
649.07/628.13	c cleaning 84999 clauses out of 170007 with flag 7908127/3731000
662.65/641.20	c cleaning 85997 clauses out of 172008 with flag 8092786/3818000
678.19/656.54	c cleaning 87000 clauses out of 174012 with flag 8280183/3906001
693.30/671.13	c cleaning 88000 clauses out of 176011 with flag 8469502/3995000
707.88/685.49	c cleaning 89004 clauses out of 178012 with flag 8660149/4085001
723.13/700.23	c cleaning 89998 clauses out of 180008 with flag 8853168/4176001
739.20/715.79	c cleaning 91005 clauses out of 182010 with flag 9048705/4268001
752.35/728.67	c cleaning 91997 clauses out of 184004 with flag 9245575/4361000
765.34/741.16	c cleaning 93002 clauses out of 186008 with flag 9444827/4455001
778.42/754.09	c cleaning 93999 clauses out of 188006 with flag 9647010/4550001
792.68/767.88	c cleaning 94998 clauses out of 190006 with flag 9851068/4646000
806.43/781.17	c cleaning 96000 clauses out of 192009 with flag 10056361/4743001
822.29/796.89	c cleaning 97002 clauses out of 194009 with flag 10264191/4841001
835.60/809.89	c cleaning 97996 clauses out of 196006 with flag 10473637/4940000
853.70/827.40	c cleaning 98999 clauses out of 198011 with flag 10685110/5040001
873.60/845.36	c cleaning 100003 clauses out of 200013 with flag 10898329/5141002
892.12/863.30	c cleaning 101005 clauses out of 202010 with flag 11114136/5243002
909.38/880.38	c cleaning 101997 clauses out of 204003 with flag 11332135/5346000
927.28/897.74	c cleaning 103001 clauses out of 206006 with flag 11552333/5450000
951.97/922.15	c cleaning 103999 clauses out of 208005 with flag 11775746/5555000
970.85/940.86	c cleaning 104996 clauses out of 210006 with flag 12001135/5661000
988.47/957.93	c cleaning 106004 clauses out of 212010 with flag 12228538/5768000
1007.57/976.89	c cleaning 107002 clauses out of 214008 with flag 12457969/5876002
1029.37/998.08	c cleaning 108001 clauses out of 216005 with flag 12689776/5985001
1049.92/1018.39	c cleaning 109000 clauses out of 218004 with flag 12923480/6095001
1070.31/1038.26	c cleaning 110002 clauses out of 220003 with flag 13159596/6206000
1088.26/1055.90	c cleaning 110996 clauses out of 222001 with flag 13396691/6318000
1112.18/1079.28	c cleaning 112004 clauses out of 224007 with flag 13636958/6431002
1136.77/1103.51	c cleaning 112998 clauses out of 226001 with flag 13879492/6545000
1160.14/1126.49	c cleaning 113993 clauses out of 228004 with flag 14122883/6660001
1177.28/1143.34	c cleaning 115002 clauses out of 230012 with flag 14367540/6776002
1204.21/1169.89	c cleaning 115998 clauses out of 232008 with flag 14614602/6893000
1242.15/1204.60	c cleaning 117002 clauses out of 234011 with flag 14864132/7011001
1274.78/1236.86	c cleaning 118001 clauses out of 236009 with flag 15117050/7130001
1298.32/1260.03	c cleaning 118997 clauses out of 238007 with flag 15371718/7250000
1321.04/1282.49	c cleaning 119996 clauses out of 240010 with flag 15628873/7371000
1347.17/1308.32	c cleaning 121002 clauses out of 242014 with flag 15887445/7493000
1373.54/1334.05	c cleaning 121993 clauses out of 244012 with flag 16148460/7616000
1392.47/1352.55	c cleaning 123004 clauses out of 246019 with flag 16411630/7740000
1413.04/1372.89	c cleaning 123998 clauses out of 248016 with flag 16676930/7865001
1440.14/1399.76	c cleaning 125009 clauses out of 250018 with flag 16944321/7991001
1464.15/1423.05	c cleaning 126003 clauses out of 252009 with flag 17211331/8118001
1489.14/1447.79	c cleaning 126994 clauses out of 254006 with flag 17482410/8246001
1511.34/1469.71	c cleaning 128002 clauses out of 256011 with flag 17755830/8375000
1536.66/1494.37	c cleaning 129000 clauses out of 258011 with flag 18031673/8505002
1561.76/1519.01	c cleaning 129997 clauses out of 260009 with flag 18309447/8636000
1603.92/1561.09	c cleaning 130999 clauses out of 262012 with flag 18590059/8768000
1639.42/1595.81	c cleaning 132002 clauses out of 264013 with flag 18873063/8901000
1666.51/1622.58	c cleaning 132999 clauses out of 266011 with flag 19156889/9035000
1691.10/1646.83	c cleaning 134006 clauses out of 268013 with flag 19443232/9170001
1717.69/1672.75	c cleaning 134995 clauses out of 270007 with flag 19731815/9306001
1750.75/1703.17	c cleaning 136005 clauses out of 272012 with flag 20023200/9443001
1788.67/1740.30	c cleaning 136996 clauses out of 274008 with flag 20316085/9581002
1828.50/1779.78	c cleaning 138005 clauses out of 276012 with flag 20610486/9720002
1870.95/1821.90	c cleaning 138998 clauses out of 278006 with flag 20907242/9860001
1916.56/1866.88	c cleaning 140001 clauses out of 280008 with flag 21205392/10001001
1954.32/1904.24	c cleaning 141000 clauses out of 282008 with flag 21506557/10143002
1987.19/1936.74	c cleaning 141994 clauses out of 284006 with flag 21810279/10286000
2015.73/1964.46	c cleaning 143003 clauses out of 286014 with flag 22116106/10430002
2048.94/1997.47	c cleaning 144000 clauses out of 288010 with flag 22422821/10575001
2082.33/2030.26	c cleaning 145005 clauses out of 290010 with flag 22732202/10721001
2112.42/2060.00	c cleaning 145999 clauses out of 292006 with flag 23043569/10868002
2144.28/2091.22	c cleaning 147004 clauses out of 294007 with flag 23356461/11016002
2180.12/2126.78	c cleaning 147997 clauses out of 296001 with flag 23672725/11165000
2215.52/2161.33	c cleaning 149003 clauses out of 298006 with flag 23990490/11315002
2255.70/2201.11	c cleaning 149990 clauses out of 300001 with flag 24310082/11466000
2290.80/2235.53	c cleaning 151000 clauses out of 302011 with flag 24630801/11618000
2321.25/2262.99	c cleaning 152005 clauses out of 304011 with flag 24953075/11771000
2353.75/2294.75	c cleaning 153000 clauses out of 306008 with flag 25277394/11925002
2381.81/2322.46	c cleaning 153998 clauses out of 308006 with flag 25604494/12080000
2410.79/2350.60	c cleaning 154998 clauses out of 310008 with flag 25932360/12236000
2438.41/2378.00	c cleaning 156004 clauses out of 312010 with flag 26262890/12393000
2472.26/2411.17	c cleaning 157003 clauses out of 314007 with flag 26595653/12551001
2500.52/2439.06	c cleaning 157996 clauses out of 316003 with flag 26932752/12710000
2540.15/2478.12	c cleaning 159000 clauses out of 318007 with flag 27271726/12870000
2579.97/2517.22	c cleaning 159997 clauses out of 320007 with flag 27613507/13031000
2615.09/2551.96	c cleaning 161002 clauses out of 322010 with flag 27956908/13193000
2650.44/2586.63	c cleaning 162000 clauses out of 324009 with flag 28301495/13356001
2689.80/2625.77	c cleaning 162999 clauses out of 326008 with flag 28648505/13520000
2734.94/2670.39	c cleaning 164005 clauses out of 328009 with flag 28998172/13685000
2768.29/2702.90	c cleaning 164999 clauses out of 330005 with flag 29350501/13851001
2804.12/2738.42	c cleaning 166003 clauses out of 332006 with flag 29704297/14018001
2851.60/2782.64	c cleaning 166995 clauses out of 334002 with flag 30060900/14186000
2908.52/2838.74	c cleaning 167998 clauses out of 336007 with flag 30419878/14355000
2967.98/2897.80	c cleaning 169003 clauses out of 338010 with flag 30780919/14525001
3036.74/2965.86	c cleaning 169994 clauses out of 340006 with flag 31143998/14696000
3070.01/2998.29	c cleaning 170993 clauses out of 342012 with flag 31508097/14868000
3116.62/3044.49	c cleaning 172003 clauses out of 344020 with flag 31873889/15041001
3157.46/3084.50	c cleaning 172999 clauses out of 346016 with flag 32241736/15215000
3203.22/3129.68	c cleaning 174006 clauses out of 348018 with flag 32611706/15390001
3243.33/3168.95	c cleaning 175001 clauses out of 350012 with flag 32984170/15566001
3284.28/3209.51	c cleaning 176000 clauses out of 352010 with flag 33358153/15743000
3321.13/3245.65	c cleaning 177003 clauses out of 354011 with flag 33734116/15921001
3363.17/3284.21	c cleaning 178001 clauses out of 356007 with flag 34112629/16100000
3399.57/3319.74	c cleaning 178996 clauses out of 358006 with flag 34494186/16280000
3444.41/3364.29	c cleaning 180004 clauses out of 360010 with flag 34878145/16461000
3492.44/3411.50	c cleaning 181000 clauses out of 362006 with flag 35264474/16643000
3555.76/3474.18	c cleaning 181994 clauses out of 364007 with flag 35653360/16826001
3600.03/3517.62	c starts		: 1
3600.03/3517.63	c conflicts		: 17010001
3600.03/3517.63	c decisions		: 18106768
3600.03/3517.63	c propagations		: 88686055
3600.03/3517.63	c inspects		: 8800923740
3600.03/3517.63	c shortcuts		: 0
3600.03/3517.63	c learnt literals	: 0
3600.03/3517.63	c learnt binary clauses	: 0
3600.03/3517.63	c learnt ternary clauses	: 0
3600.03/3517.63	c learnt constraints	: 17010001
3600.03/3517.64	c ignored constraints	: 0
3600.03/3517.64	c root simplifications	: 0
3600.03/3517.64	c removed literals (reason simplification)	: 327090868
3600.03/3517.64	c reason swapping (by a shorter reason)	: 0
3600.03/3517.64	c Calls to reduceDB	: 180
3600.03/3517.64	c Number of update (reduction) of LBD	: 263634
3600.03/3517.64	c Imported unit clauses	: 0
3600.03/3517.64	c No decision after first conflict	: false
3600.03/3517.64	c number of reductions to clauses (during analyze)	: 0
3600.03/3517.64	c number of learned constraints concerned by reduction	: 0
3600.03/3517.64	c number of learning phase by resolution	: 0
3600.03/3517.64	c number of learning phase by cutting planes	: 0
3600.03/3517.64	c number of rounding to 1 operations	: 0
3600.03/3517.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3517.64	c number of reductions of the coefficients by power 2 	: 0
3600.03/3517.64	c number of right shift for reduction by power 2 	: 0
3600.03/3517.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3517.64	c number of ending skipping 	: 0
3600.03/3517.64	c number of internal skipping 	: 0
3600.03/3517.64	c number of derivation steps 	: 0
3600.03/3517.64	c number of skipped derivation steps 	: 0
3600.03/3517.65	c number of remaining unassigned 	: 0
3600.03/3517.65	c number of remaining assigned 	: 0
3600.03/3517.65	c number of falsified literals weakened from reason	: 0
3600.03/3517.65	c number of falsified literals weakened from conflict	: 0
3600.03/3517.65	c time for arithmetic operations	: 0
3600.03/3517.65	c minimum degree of deleted constraints	: null
3600.03/3517.66	c maximum degree of deleted constraints	: null
3600.03/3517.66	c number of deleted constraints	: 0
3600.03/3517.66	c speed (assignments/second)	: 25212.96650611603
3600.03/3517.66	c non guided choices	: 174
3600.22/3517.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 366013
3600.22/3517.74	s UNKNOWN
3600.22/3517.74	c Total wall clock time (in seconds): 3517.613

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: 63708 MiB (53946 MiB free)
  memory of node 1: 64465 MiB (59048 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516326-1751239001/watcher-4516326-1751239001 -o /tmp/evaluation-result-4516326-1751239001/solver-4516326-1751239001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32352 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516326-1751239001.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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33444, runsolver pid=33441
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.18 4.26 4.26 5/336 33462
/proc/meminfo: memFree=115687792/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=18930384 memory=57816 CPUtime=0.13 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 6586 0 0 0 11 2 0 0 20 0 18 0 39577941 19384713216 14454 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4732596 14454 5350 1 0 547622 0
[pid=33444/tid=33446] ppid=33441 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 5087 0 0 0 7 1 0 0 20 0 18 0 39577942 19384713216 14454 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39577944 19384713216 14454 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39577944 19384713216 14454 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57816 KiB

[startup+0.205872 s]*
/proc/loadavg: 4.18 4.26 4.26 7/337 33463
/proc/meminfo: memFree=115681176/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=18996948 memory=63944 CPUtime=0.33 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 7168 0 0 0 31 2 0 0 20 0 19 0 39577941 19452874752 15986 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4749237 15986 5414 1 0 548300 0
[pid=33444/tid=33446] ppid=33441 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 5309 0 0 0 17 1 0 0 20 0 19 0 39577942 19452874752 15986 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=18996948 memory=16099 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 15986 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 15986 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39577959 19452874752 15986 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63944 KiB

[startup+0.305835 s]*
/proc/loadavg: 4.18 4.26 4.26 6/337 33463
/proc/meminfo: memFree=115675380/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=18996948 memory=70652 CPUtime=0.52 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 9338 0 0 0 49 3 0 0 20 0 19 0 39577941 19452874752 17663 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4749237 17663 5446 1 0 549249 0
[pid=33444/tid=33446] ppid=33441 vsize=18996948 memory=-6000919502788127084 CPUtime=0.26 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 5313 0 0 0 25 1 0 0 20 0 19 0 39577942 19452874752 17663 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 17663 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 17663 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39577959 19452874752 17663 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70652 KiB

[startup+0.700245 s]
/proc/loadavg: 4.18 4.26 4.26 6/337 33463
/proc/meminfo: memFree=115666936/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=18996948 memory=95348 CPUtime=1.28 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 10868 0 0 0 124 4 0 0 20 0 19 0 39577941 19452874752 23837 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4749237 23837 5446 1 0 550205 0
[pid=33444/tid=33446] ppid=33441 vsize=18996948 memory=17536 CPUtime=0.64 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 5346 0 0 0 62 2 0 0 20 0 19 0 39577942 19452874752 23837 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 23837 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39577944 19452874752 23837 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39577959 19452874752 23837 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95348 KiB

[startup+1.50025 s]
/proc/loadavg: 4.18 4.26 4.26 5/337 33463
/proc/meminfo: memFree=115612240/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=200016 CPUtime=2.41 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 15239 0 0 0 234 7 0 0 20 0 20 0 39577941 19521036288 50004 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 50004 5446 1 0 550878 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=0 CPUtime=1.39 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 5830 0 0 0 136 3 0 0 20 0 20 0 39577942 19521036288 50004 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 50004 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 50004 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 50004 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200016 KiB

[startup+3.10562 s]
/proc/loadavg: 4.18 4.26 4.26 5/338 33464
/proc/meminfo: memFree=115413648/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=265636 CPUtime=4.07 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 16640 0 0 0 399 8 0 0 20 0 20 0 39577941 19521036288 66409 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 66409 5446 1 0 550881 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=10880 CPUtime=2.91 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 6082 0 0 0 288 3 0 0 20 0 20 0 39577942 19521036288 66409 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=-6000919502788127084 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 66409 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 66409 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 66409 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 265636 KiB

[startup+6.30022 s]
/proc/loadavg: 4.17 4.25 4.26 5/338 33464
/proc/meminfo: memFree=115130276/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=549420 CPUtime=7.45 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 17682 0 0 0 730 15 0 0 20 0 20 0 39577941 19521036288 137355 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 137355 5446 1 0 776461 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=0 CPUtime=5.91 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 6225 0 0 0 586 5 0 0 20 0 20 0 39577942 19521036288 137355 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 137355 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 137355 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=200016 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 137355 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 549420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.25 4.26 5/338 33464
/proc/meminfo: memFree=114442156/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=1098320 CPUtime=14.22 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 22130 0 0 0 1395 27 0 0 20 0 20 0 39577941 19521036288 274580 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 274580 5446 1 0 1027129 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=200016 CPUtime=11.92 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 6890 0 0 0 1185 7 0 0 20 0 20 0 39577942 19521036288 274580 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=1007952 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 274580 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 274580 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 274580 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1098320 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.24 4.25 5/338 33464
/proc/meminfo: memFree=113210088/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=1938032 CPUtime=27.51 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 24761 0 0 0 2705 46 0 0 20 0 20 0 39577941 19521036288 484508 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 484508 5478 1 0 1150375 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=1007952 CPUtime=24.14 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 7841 0 0 0 2403 11 0 0 20 0 20 0 39577942 19521036288 484508 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 484508 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=1586496 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 484508 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 484508 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1938032 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.25 4.26 5/338 33465
/proc/meminfo: memFree=111257524/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=2896164 CPUtime=54.48 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 38298 0 0 0 5379 69 0 0 20 0 20 0 39577941 19521036288 724041 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 724041 5478 1 0 1150871 0

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

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/341 33701
/proc/meminfo: memFree=96105812/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14958152 CPUtime=3236.74 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 315188 0 0 0 323234 440 0 0 20 0 20 0 39577941 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3739538 5478 1 0 4082949 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=3200 CPUtime=3090.65 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 157892 0 0 0 308964 101 0 0 20 0 20 0 39577942 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=14958152 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 2579 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=14958152 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3236.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14958152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.50 4.25 4.17 5/341 33703
/proc/meminfo: memFree=95528144/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14958152 CPUtime=3297.36 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 320784 0 0 0 329293 443 0 0 20 0 20 0 39577941 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3739538 5478 1 0 4082949 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=3200 CPUtime=3149.76 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 162184 0 0 0 314874 102 0 0 20 0 20 0 39577942 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=14958152 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=14958152 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 2622 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=-6000919502788127084 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3739538 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3297.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14958152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.25 4.17 5/341 33705
/proc/meminfo: memFree=94970228/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3361.28 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 329297 0 0 0 335680 448 0 0 20 0 20 0 39577941 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3740107 5478 1 0 4082982 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3208.28 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 165976 0 0 0 320725 103 0 0 20 0 20 0 39577942 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 2664 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3361.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14960428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.17 5/341 33707
/proc/meminfo: memFree=94198600/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3422.54 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 336247 0 0 0 341803 451 0 0 20 0 20 0 39577941 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3740107 5478 1 0 4082982 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=14156 CPUtime=3266.75 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 170152 0 0 0 326571 104 0 0 20 0 20 0 39577942 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 2755 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3422.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14960428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.17 4/316 33748
/proc/meminfo: memFree=107655692/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3483.26 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 341719 0 0 0 347873 453 0 0 20 0 20 0 39577941 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3740107 5478 1 0 4082982 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3325.75 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 173614 0 0 0 332470 105 0 0 20 0 20 0 39577942 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 2878 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=14958152 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3483.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14960428 KiB

[startup+3462.3 s]
/proc/loadavg: 3.47 4.00 4.10 4/317 33754
/proc/meminfo: memFree=107437060/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3543.98 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 347514 0 0 0 353942 456 0 0 20 0 20 0 39577941 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3740107 5478 1 0 4082982 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=17536 CPUtime=3384.76 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 177078 0 0 0 338370 106 0 0 20 0 20 0 39577942 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 3013 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3543.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14960428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3517.6 s]
/proc/loadavg: 3.15 3.82 4.03 3/291 33789
/proc/meminfo: memFree=110724584/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19063512 memory=14960428 CPUtime=3600.03 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 352218 0 0 0 359545 458 0 0 20 0 20 0 39577941 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4765878 3740107 5478 1 0 4082982 0
[pid=33444/tid=33446] ppid=33441 vsize=19063512 memory=3200 CPUtime=3439.03 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 180100 0 0 0 343796 107 0 0 20 0 20 0 39577942 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 3151 0 0 0 0 0 0 0 20 0 20 0 39577944 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33463] ppid=33441 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/33444/task/33463/stat : 33463 (Timer-0) S 33441 33444 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39577959 19521036288 3740107 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14960428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.72 s, system=4.62693 s

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

[startup+3517.7 s]
/proc/loadavg: 3.15 3.82 4.03 3/291 33789
/proc/meminfo: memFree=110724584/131249996 swapFree=33010684/33010684
[pid=33444] ppid=33441 vsize=19263204 memory=14961324 CPUtime=3600.22 cores=4,6
/proc/33444/stat : 33444 (java) S 33441 33444 29257 0 -1 4194304 354161 0 0 0 359564 458 0 0 20 0 21 0 39577941 19725520896 3740331 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
/proc/33444/statm: 4815801 3740331 5510 1 0 4083885 0
[pid=33444/tid=33446] ppid=33441 vsize=19263204 memory=14960428 CPUtime=3439.13 cores=4,6
/proc/33444/task/33446/stat : 33446 (java) R 33441 33444 29257 0 -1 4194368 180102 0 0 0 343806 107 0 0 20 0 21 0 39577942 19725520896 3740331 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33455] ppid=33441 vsize=19263204 memory=14156 CPUtime=0 cores=4,6
/proc/33444/task/33455/stat : 33455 (Finalizer) S 33441 33444 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39577944 19725520896 3740331 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
[pid=33444/tid=33462] ppid=33441 vsize=19263204 memory=14960428 CPUtime=0 cores=4,6
/proc/33444/task/33462/stat : 33462 (Common-Cleaner) S 33441 33444 29257 0 -1 4194368 3151 0 0 0 0 0 0 0 20 0 21 0 39577944 19725520896 3740331 18446744073709551615 94681765171200 94681765174896 140734818315904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94681765182712 94681765183504 94681775132672 140734818318721 140734818318822 140734818318822 140734818324424 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14961324 KiB

Child status: 143

Real time (s): 3517.79
CPU time (s): 3600.35
CPU user time (s): 3595.72
CPU system time (s): 4.62693
CPU usage (%): 102.347
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14961324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.72
system time used= 4.62693
maximum resident set size= 14961452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116063
involuntary context switches= 8492


# summary of solver processes directly reported to runsolver:
#   pid: 33444
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.72
#   total CPU system time (s): 4.62693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13203 second user time and 18.4005 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 01:16:41
IDJOB=4516326
IDBENCH=170631
IDSOLVER=3363
FILE ID=nodeC023/4516326-1751239001
RUNJOBID= nodeC023-1751235489-32352
SLURM_JOB_ID= 9587704
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516326-1751239001/watcher-4516326-1751239001 -o /tmp/evaluation-result-4516326-1751239001/solver-4516326-1751239001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32352 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516326-1751239001.opb

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

MD5SUM BENCH= 6964b646467d268a62556124320c5d40
RANDOM SEED=222753117

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.899
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.78
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.888
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.78
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		: 3601.171
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.78
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.947
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.78
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		: 3590.027
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.78
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.186
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.78
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		: 3599.891
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115706316 kB
MemAvailable:   117588492 kB
Buffers:            3280 kB
Cached:          2685536 kB
SwapCached:            0 kB
Active:         12537316 kB
Inactive:        2380488 kB
Active(anon):   12247052 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  2380488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               752 kB
Writeback:             0 kB
AnonPages:      12232080 kB
Mapped:           122728 kB
Shmem:             18064 kB
KReclaimable:     101324 kB
Slab:             189208 kB
SReclaimable:     101324 kB
SUnreclaim:        87884 kB
KernelStack:        5184 kB
PageTables:        27636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15118884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11960320 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC023 at 2025-06-30 02:15:19