Trace number 4516003

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.29 3602.32

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
MD5SUM794d54e57ea9d36ec364612fc10f9ae6
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.149377
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables132
Total number of constraints265
Number of constraints which are clauses264
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 constraint132
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 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 137
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.20	c Free memory 		2104792832
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2113929216
0.28/0.22	c Number of processors 	2
0.28/0.31	c Pseudo Boolean Optimization by upper bound
0.28/0.31	c --- Begin Solver configuration ---
0.28/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.28/0.31	c Learn all clauses as in MiniSAT
0.28/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.31	c Expensive reason simplification
0.28/0.31	c Glucose 2.1 dynamic restart strategy
0.28/0.31	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.28/0.31	c timeout=2147483s
0.28/0.31	c DB Simplification allowed=false
0.28/0.31	c Listener: none
0.28/0.31	c --- End Solver configuration ---
0.28/0.32	c solving HOME/instance-4516003-1751236349.opb
0.28/0.32	c reading problem ... 
0.43/0.32	c using VERIPB proof format
0.43/0.32	c  no objective function found
0.43/0.37	c ... done. Wall clock time 0.053s.
0.43/0.37	c declared #vars     132
0.43/0.37	c #constraints  265
0.43/0.37	c constraints type 
0.43/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 264
0.43/0.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.43/0.37	c 265 constraints processed.
2.13/1.20	c cleaning 2501 clauses out of 5002 with flag 10693/5002
3.05/1.74	c cleaning 4250 clauses out of 8500 with flag 23494/11001
3.85/2.15	c cleaning 5626 clauses out of 11251 with flag 38422/18002
4.63/2.51	c cleaning 6811 clauses out of 13624 with flag 55507/26001
5.14/2.89	c cleaning 7907 clauses out of 15813 with flag 74745/35001
5.68/3.31	c cleaning 8952 clauses out of 17906 with flag 96111/45001
6.27/3.78	c cleaning 9974 clauses out of 19955 with flag 119514/56002
6.87/4.30	c cleaning 10985 clauses out of 21979 with flag 145268/68000
7.38/4.88	c cleaning 11993 clauses out of 23995 with flag 173076/81001
7.98/5.47	c cleaning 12997 clauses out of 26001 with flag 202792/95000
8.68/6.13	c cleaning 14001 clauses out of 28007 with flag 234754/110003
9.34/6.78	c cleaning 15001 clauses out of 30003 with flag 268949/126000
10.11/7.47	c cleaning 15999 clauses out of 32004 with flag 305114/143002
11.07/8.34	c cleaning 17000 clauses out of 34003 with flag 343390/161000
11.95/9.25	c cleaning 18001 clauses out of 36003 with flag 383892/180000
12.94/10.28	c cleaning 19000 clauses out of 38004 with flag 426388/200002
14.04/11.34	c cleaning 19997 clauses out of 40002 with flag 471366/221000
15.30/12.54	c cleaning 20994 clauses out of 42006 with flag 519559/243001
17.10/13.85	c cleaning 22006 clauses out of 44011 with flag 573390/266000
19.06/15.73	c cleaning 22999 clauses out of 46005 with flag 634647/290000
21.04/17.71	c cleaning 24001 clauses out of 48006 with flag 696318/315000
22.82/19.55	c cleaning 24998 clauses out of 50006 with flag 760173/341001
25.40/22.11	c cleaning 25998 clauses out of 52007 with flag 828244/368000
27.48/24.26	c cleaning 27002 clauses out of 54012 with flag 901306/396003
30.07/26.82	c cleaning 27999 clauses out of 56008 with flag 975987/425001
33.36/30.14	c cleaning 29006 clauses out of 58011 with flag 1055991/455003
35.94/32.74	c cleaning 30002 clauses out of 60003 with flag 1137686/486001
39.26/36.20	c cleaning 30998 clauses out of 62001 with flag 1215229/518001
41.98/39.00	c cleaning 31996 clauses out of 64002 with flag 1293754/551000
44.60/41.55	c cleaning 33001 clauses out of 66006 with flag 1371651/585000
47.99/44.98	c cleaning 33996 clauses out of 68005 with flag 1452898/620000
51.28/48.23	c cleaning 35004 clauses out of 70010 with flag 1539000/656001
53.87/50.82	c cleaning 35999 clauses out of 72005 with flag 1621081/693000
57.08/54.07	c cleaning 37001 clauses out of 74006 with flag 1706874/731000
59.67/56.65	c cleaning 38001 clauses out of 76005 with flag 1794345/770000
62.35/59.33	c cleaning 38999 clauses out of 78005 with flag 1883646/810001
65.73/62.63	c cleaning 40002 clauses out of 80005 with flag 1972738/851000
68.90/65.93	c cleaning 41002 clauses out of 82004 with flag 2065561/893001
72.20/69.21	c cleaning 41997 clauses out of 84001 with flag 2159919/936000
76.56/73.54	c cleaning 42994 clauses out of 86004 with flag 2263394/980000
81.17/78.18	c cleaning 44005 clauses out of 88011 with flag 2364959/1025001
84.85/81.85	c cleaning 45000 clauses out of 90005 with flag 2469317/1071000
88.83/85.35	c cleaning 45993 clauses out of 92005 with flag 2574898/1118000
93.33/89.88	c cleaning 47005 clauses out of 94013 with flag 2687086/1166001
97.82/94.38	c cleaning 48000 clauses out of 96008 with flag 2801591/1215001
100.90/97.51	c cleaning 49001 clauses out of 98008 with flag 2913916/1265001
104.09/100.76	c cleaning 50003 clauses out of 100006 with flag 3027654/1316000
107.08/103.77	c cleaning 50999 clauses out of 102005 with flag 3138168/1368002
110.65/107.25	c cleaning 51996 clauses out of 104004 with flag 3251044/1421000
114.47/111.10	c cleaning 52998 clauses out of 106009 with flag 3366428/1475001
117.96/114.51	c cleaning 54002 clauses out of 108012 with flag 3483614/1530002
122.15/118.73	c cleaning 54998 clauses out of 110008 with flag 3603537/1586000
127.03/123.62	c cleaning 56004 clauses out of 112011 with flag 3725171/1643001
131.96/128.96	c cleaning 57004 clauses out of 114007 with flag 3848645/1701001
137.01/134.03	c cleaning 57994 clauses out of 116003 with flag 3974984/1760001
141.60/138.64	c cleaning 58999 clauses out of 118008 with flag 4103237/1820000
146.39/143.49	c cleaning 60002 clauses out of 120010 with flag 4232881/1881001
149.62/146.69	c cleaning 60996 clauses out of 122008 with flag 4365172/1943001
153.71/150.71	c cleaning 62004 clauses out of 124011 with flag 4499410/2006000
157.50/154.50	c cleaning 63002 clauses out of 126007 with flag 4635774/2070000
162.45/160.38	c cleaning 63993 clauses out of 128005 with flag 4774528/2135000
167.24/165.14	c cleaning 65003 clauses out of 130012 with flag 4915242/2201000
171.83/169.80	c cleaning 66000 clauses out of 132010 with flag 5057541/2268001
176.98/174.89	c cleaning 67003 clauses out of 134009 with flag 5202450/2336000
181.68/179.58	c cleaning 68000 clauses out of 136006 with flag 5349220/2405000
186.48/184.26	c cleaning 68999 clauses out of 138007 with flag 5498273/2475001
192.01/189.70	c cleaning 69995 clauses out of 140008 with flag 5649005/2546001
197.01/194.79	c cleaning 71003 clauses out of 142013 with flag 5802781/2618001
202.86/200.56	c cleaning 71997 clauses out of 144010 with flag 5958434/2691001
208.85/206.56	c cleaning 73005 clauses out of 146012 with flag 6115935/2765000
214.96/212.65	c cleaning 73999 clauses out of 148007 with flag 6275287/2840000
221.87/219.50	c cleaning 75002 clauses out of 150008 with flag 6436144/2916000
231.13/228.75	c cleaning 75998 clauses out of 152006 with flag 6599432/2993000
239.43/237.07	c cleaning 77004 clauses out of 154009 with flag 6765621/3071001
247.98/245.68	c cleaning 77996 clauses out of 156004 with flag 6934247/3150000
257.52/255.49	c cleaning 78998 clauses out of 158008 with flag 7105177/3230000
266.38/264.28	c cleaning 80002 clauses out of 160011 with flag 7277802/3311001
274.65/272.41	c cleaning 81000 clauses out of 162009 with flag 7452391/3393001
282.14/279.98	c cleaning 82004 clauses out of 164010 with flag 7629198/3476002
290.28/287.62	c cleaning 83000 clauses out of 166006 with flag 7807096/3560002
299.89/297.21	c cleaning 83998 clauses out of 168004 with flag 7987690/3645000
308.31/305.69	c cleaning 85002 clauses out of 170006 with flag 8171066/3731000
316.85/314.30	c cleaning 85996 clauses out of 172004 with flag 8356956/3818000
326.70/324.17	c cleaning 86998 clauses out of 174009 with flag 8544512/3906001
338.51/335.97	c cleaning 88001 clauses out of 176010 with flag 8734281/3995000
349.64/347.16	c cleaning 89003 clauses out of 178010 with flag 8926330/4085001
359.00/356.46	c cleaning 89999 clauses out of 180008 with flag 9120101/4176002
367.10/364.55	c cleaning 91002 clauses out of 182007 with flag 9315692/4268000
375.71/373.14	c cleaning 91998 clauses out of 184008 with flag 9513497/4361003
385.93/383.32	c cleaning 92998 clauses out of 186007 with flag 9713294/4455000
395.34/392.70	c cleaning 93996 clauses out of 188010 with flag 9915153/4550001
407.31/404.72	c cleaning 95002 clauses out of 190013 with flag 10119406/4646000
421.15/419.02	c cleaning 95999 clauses out of 192012 with flag 10325710/4743001
434.44/432.38	c cleaning 97001 clauses out of 194013 with flag 10534969/4841001
445.05/442.99	c cleaning 98003 clauses out of 196013 with flag 10745744/4940002
457.30/455.29	c cleaning 99004 clauses out of 198010 with flag 10957548/5040002
467.61/465.55	c cleaning 99996 clauses out of 200005 with flag 11171943/5141001
481.22/479.33	c cleaning 100998 clauses out of 202009 with flag 11388204/5243001
494.65/492.72	c cleaning 102000 clauses out of 204010 with flag 11606082/5346000
507.56/505.63	c cleaning 103001 clauses out of 206012 with flag 11825990/5450002
521.94/520.03	c cleaning 103996 clauses out of 208010 with flag 12048513/5555001
537.66/535.93	c cleaning 105002 clauses out of 210013 with flag 12273029/5661000
552.84/551.16	c cleaning 106005 clauses out of 212011 with flag 12499999/5768000
569.81/568.25	c cleaning 107000 clauses out of 214007 with flag 12728858/5876001
585.53/584.08	c cleaning 107991 clauses out of 216007 with flag 12960705/5985001
602.06/600.75	c cleaning 108992 clauses out of 218015 with flag 13201036/6095000
617.69/616.44	c cleaning 110007 clauses out of 220023 with flag 13441934/6206000
635.51/634.45	c cleaning 111005 clauses out of 222016 with flag 13679969/6318000
670.69/669.71	c cleaning 111995 clauses out of 224012 with flag 13938720/6431001
711.74/710.82	c cleaning 113002 clauses out of 226016 with flag 14195229/6545000
753.94/753.25	c cleaning 114005 clauses out of 228015 with flag 14454601/6660001
796.29/795.73	c cleaning 114998 clauses out of 230010 with flag 14713681/6776001
843.05/842.62	c cleaning 116001 clauses out of 232011 with flag 14977208/6893000
885.76/885.51	c cleaning 116999 clauses out of 234011 with flag 15235195/7011001
935.12/935.20	c cleaning 117999 clauses out of 236011 with flag 15496029/7130000
954.01/954.02	c cleaning 119003 clauses out of 238012 with flag 15760486/7250000
989.89/989.90	c cleaning 120005 clauses out of 240010 with flag 16039693/7371001
1022.41/1022.86	c cleaning 120995 clauses out of 242004 with flag 16309104/7493000
1050.67/1051.18	c cleaning 122005 clauses out of 244011 with flag 16574998/7616002
1099.71/1100.42	c cleaning 123000 clauses out of 246006 with flag 16848693/7740002
1146.21/1147.12	c cleaning 123994 clauses out of 248005 with flag 17124118/7865001
1204.74/1205.80	c cleaning 124997 clauses out of 250010 with flag 17407132/7991000
1243.21/1244.34	c cleaning 126007 clauses out of 252015 with flag 17686321/8118002
1294.05/1295.35	c cleaning 127003 clauses out of 254007 with flag 17968685/8246001
1368.23/1370.18	c cleaning 128000 clauses out of 256006 with flag 18279511/8375003
1422.15/1424.38	c cleaning 128995 clauses out of 258003 with flag 18578260/8505000
1466.50/1470.53	c cleaning 130003 clauses out of 260009 with flag 18868695/8636001
1488.89/1493.06	c cleaning 131000 clauses out of 262005 with flag 19155906/8768000
1515.06/1519.32	c cleaning 131997 clauses out of 264005 with flag 19449771/8901000
1545.98/1550.47	c cleaning 132996 clauses out of 266009 with flag 19745534/9035001
1607.26/1611.82	c cleaning 134006 clauses out of 268013 with flag 20044553/9170001
1666.07/1670.77	c cleaning 134993 clauses out of 270006 with flag 20351078/9306000
1695.19/1699.92	c cleaning 135996 clauses out of 272014 with flag 20661942/9443001
1725.16/1729.98	c cleaning 137004 clauses out of 274017 with flag 20964818/9581000
1740.67/1745.59	c cleaning 138005 clauses out of 276013 with flag 21266808/9720000
1771.89/1776.86	c cleaning 139001 clauses out of 278008 with flag 21588291/9860000
1820.32/1825.41	c cleaning 140003 clauses out of 280007 with flag 21922511/10001000
1875.94/1881.25	c cleaning 140994 clauses out of 282006 with flag 22255766/10143002
1897.87/1903.22	c cleaning 141995 clauses out of 284010 with flag 22560063/10286000
1919.67/1925.01	c cleaning 143002 clauses out of 286015 with flag 22867125/10430000
1950.98/1956.57	c cleaning 143997 clauses out of 288013 with flag 23180604/10575000
2006.25/2011.88	c cleaning 145000 clauses out of 290016 with flag 23518586/10721000
2056.99/2062.61	c cleaning 146005 clauses out of 292019 with flag 23858540/10868003
2113.91/2119.63	c cleaning 147006 clauses out of 294011 with flag 24201264/11016000
2168.77/2174.44	c cleaning 147997 clauses out of 296005 with flag 24553990/11165000
2211.80/2217.54	c cleaning 148998 clauses out of 298008 with flag 24899559/11315000
2272.82/2278.75	c cleaning 150007 clauses out of 300014 with flag 25260636/11466004
2331.40/2337.56	c cleaning 151001 clauses out of 302005 with flag 25619931/11618002
2369.57/2375.83	c cleaning 151994 clauses out of 304003 with flag 25964435/11771001
2408.17/2415.08	c cleaning 153002 clauses out of 306008 with flag 26316171/11925000
2456.99/2464.09	c cleaning 154003 clauses out of 308006 with flag 26684846/12080000
2493.07/2500.29	c cleaning 154997 clauses out of 310003 with flag 27024123/12236000
2525.87/2533.22	c cleaning 155996 clauses out of 312006 with flag 27372953/12393000
2567.00/2574.49	c cleaning 157006 clauses out of 314012 with flag 27721071/12551002
2602.43/2610.00	c cleaning 157997 clauses out of 316004 with flag 28073298/12710000
2681.28/2689.08	c cleaning 158997 clauses out of 318008 with flag 28437741/12870001
2722.67/2730.86	c cleaning 160001 clauses out of 320012 with flag 28811951/13031002
2749.28/2757.57	c cleaning 160998 clauses out of 322009 with flag 29186610/13193000
2788.23/2796.57	c cleaning 162001 clauses out of 324011 with flag 29566716/13356000
2808.52/2816.98	c cleaning 162999 clauses out of 326011 with flag 29919604/13520001
2831.07/2839.56	c cleaning 164004 clauses out of 328012 with flag 30281521/13685001
2854.70/2863.23	c cleaning 165001 clauses out of 330008 with flag 30642577/13851001
2873.41/2882.07	c cleaning 166004 clauses out of 332008 with flag 30998660/14018002
2907.54/2916.34	c cleaning 166993 clauses out of 334002 with flag 31376423/14186000
2933.30/2942.17	c cleaning 167998 clauses out of 336009 with flag 31750317/14355000
2956.77/2965.55	c cleaning 168997 clauses out of 338012 with flag 32121087/14525001
2990.17/2999.08	c cleaning 170002 clauses out of 340014 with flag 32505981/14696000
3024.33/3033.37	c cleaning 171000 clauses out of 342012 with flag 32886184/14868000
3052.96/3061.98	c cleaning 172003 clauses out of 344012 with flag 33265025/15041000
3086.52/3095.83	c cleaning 173000 clauses out of 346010 with flag 33649028/15215001
3122.46/3131.81	c cleaning 173998 clauses out of 348010 with flag 34051170/15390001
3153.05/3162.46	c cleaning 174993 clauses out of 350011 with flag 34448324/15566000
3180.52/3189.67	c cleaning 176005 clauses out of 352019 with flag 34840926/15743001
3204.49/3213.57	c cleaning 177003 clauses out of 354014 with flag 35235334/15921001
3231.52/3240.55	c cleaning 178004 clauses out of 356011 with flag 35626917/16100001
3261.26/3269.98	c cleaning 178996 clauses out of 358006 with flag 36024170/16280000
3291.12/3299.59	c cleaning 180005 clauses out of 360011 with flag 36434434/16461001
3321.86/3330.10	c cleaning 180995 clauses out of 362007 with flag 36823142/16643002
3346.51/3354.32	c cleaning 182000 clauses out of 364011 with flag 37213083/16826001
3368.36/3375.70	c cleaning 183003 clauses out of 366010 with flag 37604268/17010000
3397.26/3403.84	c cleaning 183998 clauses out of 368009 with flag 37999473/17195002
3424.84/3430.59	c cleaning 185003 clauses out of 370012 with flag 38396802/17381003
3458.17/3463.45	c cleaning 185998 clauses out of 372006 with flag 38795655/17568000
3489.73/3494.62	c cleaning 187001 clauses out of 374010 with flag 39197367/17756002
3520.20/3524.29	c cleaning 187999 clauses out of 376008 with flag 39599339/17945001
3553.01/3556.10	c cleaning 188997 clauses out of 378008 with flag 40002927/18135000
3583.76/3586.52	c cleaning 190005 clauses out of 380012 with flag 40409691/18326001
3600.00/3602.13	c timeout
3600.00/3602.14	c starts		: 11876
3600.00/3602.15	c conflicts		: 18447593
3600.00/3602.15	c decisions		: 20818209
3600.00/3602.15	c propagations		: 98875705
3600.00/3602.15	c inspects		: 25616627559
3600.00/3602.15	c shortcuts		: 0
3600.00/3602.15	c learnt literals	: 0
3600.00/3602.15	c learnt binary clauses	: 0
3600.00/3602.15	c learnt ternary clauses	: 0
3600.00/3602.15	c learnt constraints	: 18447593
3600.00/3602.15	c ignored constraints	: 0
3600.00/3602.15	c root simplifications	: 0
3600.00/3602.15	c removed literals (reason simplification)	: 344668050
3600.00/3602.15	c reason swapping (by a shorter reason)	: 0
3600.00/3602.15	c Calls to reduceDB	: 187
3600.00/3602.16	c Number of update (reduction) of LBD	: 402943
3600.00/3602.16	c Imported unit clauses	: 0
3600.00/3602.16	c No decision after first conflict	: false
3600.00/3602.16	c number of reductions to clauses (during analyze)	: 0
3600.00/3602.16	c number of learned constraints concerned by reduction	: 0
3600.00/3602.16	c number of learning phase by resolution	: 0
3600.00/3602.16	c number of learning phase by cutting planes	: 0
3600.00/3602.16	c number of rounding to 1 operations	: 0
3600.00/3602.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3602.16	c number of reductions of the coefficients by power 2 	: 0
3600.00/3602.16	c number of right shift for reduction by power 2 	: 0
3600.00/3602.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3602.16	c number of ending skipping 	: 0
3600.00/3602.16	c number of internal skipping 	: 0
3600.00/3602.16	c number of derivation steps 	: 0
3600.00/3602.16	c number of skipped derivation steps 	: 0
3600.00/3602.16	c number of remaining unassigned 	: 0
3600.00/3602.17	c number of remaining assigned 	: 0
3600.00/3602.17	c number of falsified literals weakened from reason	: 0
3600.00/3602.17	c number of falsified literals weakened from conflict	: 0
3600.00/3602.17	c time for arithmetic operations	: 0
3600.00/3602.17	c minimum degree of deleted constraints	: null
3600.00/3602.17	c maximum degree of deleted constraints	: null
3600.00/3602.17	c number of deleted constraints	: 0
3600.00/3602.17	c speed (assignments/second)	: 27451.82395420055
3600.00/3602.17	c non guided choices	: 40
3600.16/3602.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 311599
3600.16/3602.28	s UNKNOWN
3600.16/3602.28	c Total wall clock time (in seconds): 3601.97

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100068 s]*
/proc/loadavg: 4.27 4.46 4.45 5/338 31962
/proc/meminfo: memFree=94108772/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=18930384 memory=48472 CPUtime=0.12 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 5801 0 0 0 9 3 0 0 20 0 18 0 39314065 19384713216 12118 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4732596 12118 5332 1 0 547003 0
[pid=31944/tid=31946] ppid=31941 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) S 31941 31944 28556 0 -1 4194368 4694 0 0 0 5 2 0 0 20 0 18 0 39314067 19384713216 12118 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 12118 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=18930384 memory=59593594261064 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 12118 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48472 KiB

[startup+0.21195 s]*
/proc/loadavg: 4.27 4.46 4.45 6/338 31962
/proc/meminfo: memFree=94096676/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=18930384 memory=55368 CPUtime=0.28 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 6489 0 0 0 24 4 0 0 20 0 18 0 39314065 19384713216 13842 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4732596 13842 5332 1 0 547569 0
[pid=31944/tid=31946] ppid=31941 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) S 31941 31944 28556 0 -1 4194368 4998 0 0 0 15 2 0 0 20 0 18 0 39314067 19384713216 13842 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=18930384 memory=15877 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 13842 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 13842 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55368 KiB

[startup+0.311774 s]*
/proc/loadavg: 4.27 4.46 4.45 6/338 31962
/proc/meminfo: memFree=94096216/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=18930384 memory=59040 CPUtime=0.43 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 6808 0 0 0 38 5 0 0 20 0 18 0 39314065 19384713216 14760 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4732596 14760 5428 1 0 547794 0
[pid=31944/tid=31946] ppid=31941 vsize=18930384 memory=-6000919502787799916 CPUtime=0.26 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 5213 0 0 0 24 2 0 0 20 0 18 0 39314067 19384713216 14760 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 14760 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39314071 19384713216 14760 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59040 KiB

[startup+0.700332 s]
/proc/loadavg: 4.27 4.46 4.45 7/339 31963
/proc/meminfo: memFree=94083048/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=18996948 memory=82500 CPUtime=1.14 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 8754 0 0 0 108 6 0 0 20 0 19 0 39314065 19452874752 20625 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4749237 20625 5460 1 0 549049 0
[pid=31944/tid=31946] ppid=31941 vsize=18996948 memory=17280 CPUtime=0.63 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 5357 0 0 0 60 3 0 0 20 0 19 0 39314067 19452874752 20625 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=18996948 memory=10496 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39314071 19452874752 20625 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39314071 19452874752 20625 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39314103 19452874752 20625 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82500 KiB

[startup+1.50029 s]
/proc/loadavg: 4.27 4.46 4.45 6/339 31963
/proc/meminfo: memFree=94001072/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=168540 CPUtime=2.65 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 18086 0 0 0 256 9 0 0 20 0 20 0 39314065 19521036288 42135 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 42135 5460 1 0 552210 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 6467 0 0 0 130 4 0 0 20 0 20 0 39314067 19521036288 42135 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 42135 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 42135 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 42135 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168540 KiB

[startup+3.10604 s]
/proc/loadavg: 4.27 4.46 4.45 5/340 31964
/proc/meminfo: memFree=93825016/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=257408 CPUtime=5.49 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 21167 0 0 0 534 15 0 0 20 0 20 0 39314065 19521036288 64352 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 64352 5460 1 0 552721 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=10496 CPUtime=2.9 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 7015 0 0 0 281 9 0 0 20 0 20 0 39314067 19521036288 64352 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=-6000919502787799916 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 64352 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 64352 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 64352 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257408 KiB

[startup+6.30024 s]
/proc/loadavg: 4.33 4.47 4.46 5/340 31964
/proc/meminfo: memFree=93179096/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=805936 CPUtime=8.93 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 23190 0 0 0 861 32 0 0 20 0 20 0 39314065 19521036288 201484 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 201484 5460 1 0 552739 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=0 CPUtime=6.05 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 7749 0 0 0 580 25 0 0 20 0 20 0 39314067 19521036288 201484 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 201484 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 201484 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=168668 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 201484 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 805936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.46 4.45 5/340 31964
/proc/meminfo: memFree=92411176/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1313780 CPUtime=15.54 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 26759 0 0 0 1504 50 0 0 20 0 20 0 39314065 19521036288 328445 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 328445 5460 1 0 552739 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=168668 CPUtime=12.32 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 8744 0 0 0 1189 43 0 0 20 0 20 0 39314067 19521036288 328445 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=1313780 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 328445 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 328445 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 328445 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1313780 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.45 4.45 5/340 31964
/proc/meminfo: memFree=91873200/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1328952 CPUtime=28.78 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 31355 0 0 0 2812 66 0 0 20 0 20 0 39314065 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 332238 5460 1 0 552739 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=-6000919502787799916 CPUtime=24.84 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 9634 0 0 0 2429 55 0 0 20 0 20 0 39314067 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=1328952 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 28.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328952 KiB

[startup+51.1147 s]
/proc/loadavg: 4.28 4.43 4.45 5/339 31965
/proc/meminfo: memFree=91149536/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1328952 CPUtime=54.19 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 34170 0 0 0 5333 86 0 0 20 0 20 0 39314065 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 332238 5460 1 0 552739 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=1328952 CPUtime=50.04 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 10857 0 0 0 4930 74 0 0 20 0 20 0 39314067 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 332238 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0

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

/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 46385 0 0 0 322473 1166 0 0 20 0 20 0 39314067 19521036288 649992 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 649992 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1761 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 649992 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 649992 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2599968 KiB

[startup+3342.3 s]
/proc/loadavg: 2.02 3.36 3.96 2/257 32262
/proc/meminfo: memFree=123856204/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1109148 CPUtime=3334.18 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 113916 0 0 0 332000 1418 0 0 20 0 20 0 39314065 19521036288 277287 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 277287 5524 1 0 287761 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=1490052 CPUtime=3295.59 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 49064 0 0 0 328365 1194 0 0 20 0 20 0 39314067 19521036288 277287 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 277287 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1761 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 277287 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 277287 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1109148 KiB

[startup+3402.3 s]
/proc/loadavg: 1.45 2.96 3.78 2/255 32264
/proc/meminfo: memFree=123905908/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=942032 CPUtime=3395.77 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 118922 0 0 0 338118 1459 0 0 20 0 20 0 39314065 19521036288 235508 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 235508 5524 1 0 246010 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=4764 CPUtime=3354.44 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 50850 0 0 0 334215 1229 0 0 20 0 20 0 39314067 19521036288 235508 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=992224 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 235508 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 235508 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 235508 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3395.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 942032 KiB

[startup+3462.3 s]
/proc/loadavg: 1.26 2.63 3.62 2/255 32266
/proc/meminfo: memFree=123701380/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1050240 CPUtime=3457.07 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 121127 0 0 0 344211 1496 0 0 20 0 20 0 39314065 19521036288 262560 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 262560 5524 1 0 273155 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=4764 CPUtime=3413.49 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 52070 0 0 0 340089 1260 0 0 20 0 20 0 39314067 19521036288 262560 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=992224 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 262560 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=1050240 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 262560 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 262560 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1050240 KiB

[startup+3522.3 s]
/proc/loadavg: 1.18 2.36 3.46 2/255 32269
/proc/meminfo: memFree=123713524/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=908568 CPUtime=3518.3 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 121171 0 0 0 350301 1529 0 0 20 0 20 0 39314065 19521036288 227142 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 227142 5524 1 0 237660 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=1050240 CPUtime=3472.5 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 52073 0 0 0 345963 1287 0 0 20 0 20 0 39314067 19521036288 227142 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 227142 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 227142 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=908568 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 227142 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3518.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 908568 KiB

[startup+3582.3 s]
/proc/loadavg: 1.28 2.17 3.33 2/255 32271
/proc/meminfo: memFree=123485728/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1025276 CPUtime=3579.63 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 122147 0 0 0 356396 1567 0 0 20 0 20 0 39314065 19521036288 256319 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 256319 5524 1 0 266893 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=908568 CPUtime=3531.66 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 52325 0 0 0 351847 1319 0 0 20 0 20 0 39314067 19521036288 256319 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=908568 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 256319 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 256319 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 256319 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3579.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1025276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 1.40 2.14 3.29 2/254 32271
/proc/meminfo: memFree=123447352/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19063512 memory=1025660 CPUtime=3600 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 122635 0 0 0 358422 1578 0 0 20 0 20 0 39314065 19521036288 256415 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4765878 256415 5524 1 0 267004 0
[pid=31944/tid=31946] ppid=31941 vsize=19063512 memory=942032 CPUtime=3551.1 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) R 31941 31944 28556 0 -1 4194368 52804 0 0 0 353782 1328 0 0 20 0 20 0 39314067 19521036288 256415 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19063512 memory=1025276 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 256415 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 20 0 39314071 19521036288 256415 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31963] ppid=31941 vsize=19063512 memory=1025660 CPUtime=0 cores=4,6
/proc/31944/task/31963/stat : 31963 (Timer-0) S 31941 31944 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39314103 19521036288 256415 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1025660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.47 s, system=15.8154 s

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

[startup+3602.2 s]
/proc/loadavg: 1.40 2.14 3.29 2/254 32271
/proc/meminfo: memFree=123447352/131382120 swapFree=33010160/33010684
[pid=31944] ppid=31941 vsize=19263204 memory=1026556 CPUtime=3600.16 cores=4,6
/proc/31944/stat : 31944 (java) S 31941 31944 28556 0 -1 4194304 124134 0 0 0 358436 1580 0 0 20 0 21 0 39314065 19725520896 256639 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
/proc/31944/statm: 4815801 256639 5556 1 0 267969 0
[pid=31944/tid=31946] ppid=31941 vsize=19263204 memory=2688 CPUtime=3551.13 cores=4,6
/proc/31944/task/31946/stat : 31946 (java) S 31941 31944 28556 0 -1 4194368 53031 0 0 0 353784 1329 0 0 20 0 21 0 39314067 19725520896 256639 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31955] ppid=31941 vsize=19263204 memory=2432 CPUtime=0 cores=4,6
/proc/31944/task/31955/stat : 31955 (Finalizer) S 31941 31944 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39314071 19725520896 256639 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
[pid=31944/tid=31962] ppid=31941 vsize=19263204 memory=3456 CPUtime=0 cores=4,6
/proc/31944/task/31962/stat : 31962 (Common-Cleaner) S 31941 31944 28556 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 21 0 39314071 19725520896 256639 18446744073709551615 93990822653952 93990822657648 140726407440608 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990822665464 93990822666256 93990844006400 140726407444784 140726407444966 140726407444966 140726407450568 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1026556 KiB

[startup+3602.3 s]*
/proc/loadavg: 1.40 2.14 3.29 2/236 32274
/proc/meminfo: memFree=124432144/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3602.32
CPU time (s): 3600.29
CPU user time (s): 3584.47
CPU system time (s): 15.8154
CPU usage (%): 99.9436
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2599968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.47
system time used= 15.8154
maximum resident set size= 2599968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11946032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119473
involuntary context switches= 14277


# summary of solver processes directly reported to runsolver:
#   pid: 31944
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3584.47
#   total CPU system time (s): 15.8154

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6684 second user time and 38.2996 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 00:32:30
IDJOB=4516003
IDBENCH=168944
IDSOLVER=3364
FILE ID=nodeC008/4516003-1751236349
RUNJOBID= nodeC008-1751232781-31325
SLURM_JOB_ID= 9587698
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516003-1751236349/watcher-4516003-1751236349 -o /tmp/evaluation-result-4516003-1751236349/solver-4516003-1751236349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31325 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516003-1751236349 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516003-1751236349.opb

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

MD5SUM BENCH= 794d54e57ea9d36ec364612fc10f9ae6
RANDOM SEED=1740147597

nodeC008 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		: 3491.872
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.72
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.207
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.72
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.584
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.72
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		: 1696.585
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.72
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.205
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.72
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		: 3662.602
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.72
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		: 1596.809
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.72
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.844
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        94140760 kB
MemAvailable:   101040532 kB
Buffers:            2144 kB
Cached:          7703336 kB
SwapCached:            4 kB
Active:         29106044 kB
Inactive:        7508488 kB
Active(anon):   28887960 kB
Inactive(anon):    38856 kB
Active(file):     218084 kB
Inactive(file):  7469632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            999516 kB
Writeback:             4 kB
AnonPages:      28909984 kB
Mapped:           122316 kB
Shmem:             17916 kB
KReclaimable:     103368 kB
Slab:             216972 kB
SReclaimable:     103368 kB
SUnreclaim:       113604 kB
KernelStack:        5200 kB
PageTables:        60136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   30472016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28502016 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC008 at 2025-06-30 01:32:32