Trace number 4453132

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 2024 2024-07-07? (TO) 3600.21 3539.86

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
MD5SUMadd936bb86ecdde22f6655365824bd6d
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 benchmark1.88567
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables440
Total number of constraints881
Number of constraints which are clauses880
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 constraint440
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 460
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.16	c See www.sat4j.org for details.
0.05/0.16	c version CUSTOM.v20240707
0.05/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.17	c java.vm.version	22.0.1+8-16
0.05/0.17	c java.vm.vendor	Oracle Corporation
0.05/0.17	c sun.arch.data.model	64
0.05/0.17	c java.version		22.0.1
0.05/0.17	c os.name		Linux
0.05/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.17	c os.arch		amd64
0.05/0.18	c Free memory 		2104792832
0.05/0.18	c Max memory 		16282288128
0.05/0.18	c Total memory 		2113929216
0.05/0.18	c Number of processors 	2
0.15/0.25	--- Begin Solver configuration ---
0.15/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.25	Learn all clauses as in MiniSAT
0.15/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.25	Expensive reason simplification
0.15/0.25	Glucose 2.1 dynamic restart strategy
0.15/0.25	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.15/0.25	timeout=2147483s
0.15/0.25	DB Simplification allowed=false
0.15/0.25	Listener: none
0.15/0.25	--- End Solver configuration ---
0.15/0.25	c Pseudo Boolean Optimization by upper bound
0.15/0.25	c --- Begin Solver configuration ---
0.15/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.25	c Learn all clauses as in MiniSAT
0.15/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.25	c Expensive reason simplification
0.15/0.25	c Glucose 2.1 dynamic restart strategy
0.15/0.25	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.15/0.25	c timeout=2147483s
0.15/0.25	c DB Simplification allowed=false
0.15/0.25	c Listener: none
0.15/0.25	c --- End Solver configuration ---
0.15/0.25	c solving HOME/instance-4453132-1721842415.opb
0.15/0.25	c reading problem ... 
0.15/0.25	c using VERIPB proof format
0.15/0.26	c  no objective function found
0.15/0.29	c ... done. Wall clock time 0.041s.
0.15/0.29	c declared #vars     440
0.15/0.29	c #constraints  881
0.15/0.29	c constraints type 
0.15/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 880
0.15/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.15/0.29	c 881 constraints processed.
2.21/1.36	c cleaning 2500 clauses out of 5000 with flag 10633/5000
3.55/2.06	c cleaning 4250 clauses out of 8502 with flag 23394/11002
4.31/2.71	c cleaning 5624 clauses out of 11250 with flag 38233/18000
4.96/3.38	c cleaning 6812 clauses out of 13626 with flag 55132/26000
5.96/4.24	c cleaning 7903 clauses out of 15814 with flag 74341/35000
6.95/5.13	c cleaning 8956 clauses out of 17911 with flag 95507/45000
8.15/6.24	c cleaning 9978 clauses out of 19955 with flag 118617/56000
9.40/7.43	c cleaning 10985 clauses out of 21977 with flag 144046/68000
11.04/9.00	c cleaning 11992 clauses out of 23992 with flag 171680/81000
12.43/10.42	c cleaning 13000 clauses out of 26002 with flag 201480/95002
13.97/11.95	c cleaning 14001 clauses out of 28001 with flag 233327/110001
15.91/13.83	c cleaning 14998 clauses out of 30001 with flag 267364/126002
18.08/15.96	c cleaning 15996 clauses out of 32001 with flag 303324/143000
20.59/18.32	c cleaning 17003 clauses out of 34006 with flag 341645/161001
22.66/20.36	c cleaning 17996 clauses out of 36002 with flag 381960/180000
24.84/22.56	c cleaning 19003 clauses out of 38006 with flag 424141/200000
27.22/24.99	c cleaning 19999 clauses out of 40003 with flag 468854/221000
29.85/27.51	c cleaning 21000 clauses out of 42004 with flag 515338/243000
32.63/30.21	c cleaning 22003 clauses out of 44005 with flag 563998/266001
35.38/35.69	c cleaning 22997 clauses out of 46001 with flag 614816/290000
38.28/38.62	c cleaning 24000 clauses out of 48004 with flag 667695/315000
41.39/41.63	c cleaning 25002 clauses out of 50004 with flag 722929/341000
45.08/45.11	c cleaning 26002 clauses out of 52004 with flag 780217/368002
48.34/48.26	c cleaning 26994 clauses out of 54001 with flag 839116/396001
51.97/51.83	c cleaning 27998 clauses out of 56006 with flag 900589/425000
56.25/55.86	c cleaning 28998 clauses out of 58008 with flag 963893/455000
60.24/59.85	c cleaning 30000 clauses out of 60010 with flag 1029423/486000
64.45/63.96	c cleaning 30998 clauses out of 62011 with flag 1097178/518001
68.78/68.94	c cleaning 32006 clauses out of 64012 with flag 1167077/551000
72.95/72.91	c cleaning 33001 clauses out of 66009 with flag 1239068/585003
77.29/77.17	c cleaning 33998 clauses out of 68005 with flag 1313368/620000
81.89/81.71	c cleaning 34999 clauses out of 70007 with flag 1389896/656000
85.82/85.65	c cleaning 36002 clauses out of 72010 with flag 1468293/693002
89.87/89.56	c cleaning 37003 clauses out of 74006 with flag 1548984/731000
94.43/93.99	c cleaning 38000 clauses out of 76003 with flag 1631786/770000
98.83/98.25	c cleaning 38997 clauses out of 78004 with flag 1716608/810001
103.01/106.23	c cleaning 40000 clauses out of 80007 with flag 1803261/851001
107.79/110.94	c cleaning 40999 clauses out of 82008 with flag 1892185/893002
113.10/116.19	c cleaning 42000 clauses out of 84008 with flag 1983432/936001
119.24/122.18	c cleaning 42994 clauses out of 86007 with flag 2076912/980000
125.22/127.97	c cleaning 44007 clauses out of 88014 with flag 2171971/1025001
131.63/135.90	c cleaning 44997 clauses out of 90006 with flag 2269518/1071000
138.23/142.43	c cleaning 46001 clauses out of 92011 with flag 2368976/1118002
144.52/148.63	c cleaning 47003 clauses out of 94008 with flag 2470870/1166000
150.18/154.22	c cleaning 48002 clauses out of 96005 with flag 2574271/1215000
156.90/160.81	c cleaning 48997 clauses out of 98003 with flag 2680090/1265000
162.90/167.11	c cleaning 50000 clauses out of 100006 with flag 2787647/1316000
169.11/173.16	c cleaning 50999 clauses out of 102007 with flag 2897331/1368001
176.32/180.20	c cleaning 51995 clauses out of 104007 with flag 3009206/1421000
183.79/187.44	c cleaning 53003 clauses out of 106012 with flag 3123930/1475000
190.81/194.36	c cleaning 54002 clauses out of 108010 with flag 3240538/1530001
198.26/202.05	c cleaning 54996 clauses out of 110007 with flag 3359420/1586000
207.21/210.87	c cleaning 56005 clauses out of 112012 with flag 3480398/1643001
215.35/218.98	c cleaning 57000 clauses out of 114008 with flag 3603357/1701002
226.27/229.79	c cleaning 57995 clauses out of 116006 with flag 3728178/1760000
234.84/238.28	c cleaning 59005 clauses out of 118012 with flag 3854948/1820001
243.43/246.70	c cleaning 59998 clauses out of 120006 with flag 3984426/1881000
252.28/255.43	c cleaning 60998 clauses out of 122008 with flag 4116376/1943000
261.42/264.88	c cleaning 61996 clauses out of 124012 with flag 4250223/2006002
270.73/273.84	c cleaning 63005 clauses out of 126014 with flag 4385917/2070000
281.04/284.02	c cleaning 63998 clauses out of 128009 with flag 4523594/2135000
294.44/297.57	c cleaning 65002 clauses out of 130012 with flag 4663705/2201001
305.28/308.28	c cleaning 66001 clauses out of 132011 with flag 4805789/2268002
313.54/316.36	c cleaning 67003 clauses out of 134009 with flag 4949592/2336001
324.03/327.06	c cleaning 67997 clauses out of 136005 with flag 5095911/2405000
336.20/339.00	c cleaning 69000 clauses out of 138009 with flag 5244564/2475001
346.50/349.54	c cleaning 70000 clauses out of 140008 with flag 5395131/2546000
356.70/359.65	c cleaning 70998 clauses out of 142009 with flag 5547954/2618001
368.86/371.50	c cleaning 71997 clauses out of 144011 with flag 5702975/2691001
380.27/383.04	c cleaning 73001 clauses out of 146013 with flag 5859871/2765000
394.46/396.96	c cleaning 74006 clauses out of 148013 with flag 6019236/2840001
404.57/406.94	c cleaning 74996 clauses out of 150008 with flag 6179773/2916002
415.86/419.56	c cleaning 75999 clauses out of 152010 with flag 6342425/2993000
427.63/431.16	c cleaning 77004 clauses out of 154012 with flag 6508099/3071001
439.33/442.94	c cleaning 78004 clauses out of 156009 with flag 6674966/3150002
454.62/458.18	c cleaning 78997 clauses out of 158003 with flag 6844344/3230000
470.38/474.02	c cleaning 80003 clauses out of 160008 with flag 7016004/3311002
483.83/487.23	c cleaning 81000 clauses out of 162004 with flag 7189858/3393001
498.09/500.79	c cleaning 81996 clauses out of 164004 with flag 7366435/3476001
513.14/515.95	c cleaning 83002 clauses out of 166007 with flag 7544764/3560000
530.11/532.75	c cleaning 83996 clauses out of 168006 with flag 7723917/3645001
549.15/551.84	c cleaning 84994 clauses out of 170009 with flag 7905222/3731000
570.07/572.62	c cleaning 86002 clauses out of 172016 with flag 8089242/3818001
586.89/589.19	c cleaning 87002 clauses out of 174014 with flag 8276019/3906001
602.69/604.97	c cleaning 88007 clauses out of 176013 with flag 8464791/3995002
621.39/623.47	c cleaning 89002 clauses out of 178004 with flag 8655122/4085000
640.61/642.65	c cleaning 89992 clauses out of 180003 with flag 8847978/4176001
656.28/658.42	c cleaning 90998 clauses out of 182010 with flag 9042749/4268000
672.10/674.09	c cleaning 92000 clauses out of 184012 with flag 9240001/4361000
688.56/690.53	c cleaning 93001 clauses out of 186012 with flag 9439124/4455000
704.99/706.54	c cleaning 93998 clauses out of 188012 with flag 9640561/4550001
720.48/722.11	c cleaning 95000 clauses out of 190014 with flag 9843873/4646001
737.69/739.14	c cleaning 96002 clauses out of 192013 with flag 10049605/4743000
754.75/756.24	c cleaning 96998 clauses out of 194011 with flag 10257161/4841000
771.73/772.49	c cleaning 98006 clauses out of 196014 with flag 10467096/4940001
789.64/790.40	c cleaning 98995 clauses out of 198007 with flag 10678936/5040000
809.00/809.39	c cleaning 100006 clauses out of 200013 with flag 10893061/5141001
835.63/836.34	c cleaning 100996 clauses out of 202007 with flag 11109120/5243001
855.50/856.15	c cleaning 102001 clauses out of 204011 with flag 11326562/5346001
878.62/878.12	c cleaning 103001 clauses out of 206009 with flag 11546780/5450000
897.24/896.58	c cleaning 103996 clauses out of 208008 with flag 11768568/5555000
915.88/915.19	c cleaning 105000 clauses out of 210013 with flag 11993316/5661001
936.46/935.58	c cleaning 106006 clauses out of 212012 with flag 12220280/5768000
956.91/955.74	c cleaning 107000 clauses out of 214007 with flag 12447846/5876001
977.97/976.77	c cleaning 108001 clauses out of 216006 with flag 12677468/5985000
1003.36/1001.43	c cleaning 108998 clauses out of 218005 with flag 12910486/6095000
1025.30/1022.95	c cleaning 109999 clauses out of 220009 with flag 13145611/6206002
1046.61/1044.18	c cleaning 110999 clauses out of 222010 with flag 13382857/6318002
1071.93/1068.73	c cleaning 111995 clauses out of 224009 with flag 13622496/6431000
1096.25/1092.82	c cleaning 113006 clauses out of 226016 with flag 13864135/6545002
1116.92/1113.35	c cleaning 114003 clauses out of 228011 with flag 14106860/6660003
1138.94/1134.49	c cleaning 115001 clauses out of 230005 with flag 14352659/6776000
1164.32/1159.73	c cleaning 115998 clauses out of 232004 with flag 14600197/6893000
1191.90/1186.42	c cleaning 116995 clauses out of 234006 with flag 14850427/7011000
1217.34/1211.71	c cleaning 118001 clauses out of 236014 with flag 15102881/7130003
1246.67/1240.94	c cleaning 118998 clauses out of 238011 with flag 15357223/7250001
1279.80/1273.20	c cleaning 120003 clauses out of 240012 with flag 15613438/7371000
1309.61/1302.80	c cleaning 121002 clauses out of 242009 with flag 15872117/7493000
1345.40/1337.55	c cleaning 121993 clauses out of 244007 with flag 16132465/7616000
1374.03/1365.95	c cleaning 122998 clauses out of 246014 with flag 16393558/7740000
1399.58/1390.48	c cleaning 124005 clauses out of 248017 with flag 16658641/7865001
1429.78/1420.57	c cleaning 125001 clauses out of 250013 with flag 16925341/7991002
1460.48/1450.03	c cleaning 125998 clauses out of 252011 with flag 17194949/8118001
1490.19/1479.64	c cleaning 127005 clauses out of 254012 with flag 17466097/8246000
1516.64/1504.79	c cleaning 128001 clauses out of 256007 with flag 17739706/8375000
1545.71/1533.85	c cleaning 129001 clauses out of 258007 with flag 18015593/8505001
1579.44/1566.37	c cleaning 130003 clauses out of 260008 with flag 18293073/8636003
1616.99/1603.64	c cleaning 130998 clauses out of 262002 with flag 18573163/8768000
1652.87/1638.32	c cleaning 132002 clauses out of 264005 with flag 18854593/8901001
1686.65/1672.02	c cleaning 133000 clauses out of 266002 with flag 19138876/9035000
1716.31/1700.67	c cleaning 134002 clauses out of 268003 with flag 19423776/9170001
1745.51/1729.49	c cleaning 134993 clauses out of 270001 with flag 19710920/9306001
1776.50/1759.54	c cleaning 135999 clauses out of 272007 with flag 19999009/9443000
1810.17/1791.66	c cleaning 136996 clauses out of 274008 with flag 20290664/9581000
1839.42/1820.69	c cleaning 137997 clauses out of 276012 with flag 20585319/9720000
1871.21/1851.46	c cleaning 139004 clauses out of 278016 with flag 20881774/9860001
1902.95/1881.88	c cleaning 140007 clauses out of 280013 with flag 21180502/10001002
1932.03/1910.70	c cleaning 141001 clauses out of 282004 with flag 21481830/10143000
1963.99/1941.76	c cleaning 141992 clauses out of 284004 with flag 21784859/10286001
1999.50/1976.93	c cleaning 143006 clauses out of 286011 with flag 22090009/10430000
2035.00/2011.44	c cleaning 144001 clauses out of 288005 with flag 22395864/10575000
2076.17/2053.36	c cleaning 144995 clauses out of 290005 with flag 22704734/10721001
2114.61/2090.20	c cleaning 145998 clauses out of 292011 with flag 23016165/10868002
2152.60/2126.62	c cleaning 147000 clauses out of 294012 with flag 23329944/11016001
2188.27/2160.63	c cleaning 148004 clauses out of 296011 with flag 23645098/11165000
2227.56/2198.40	c cleaning 148994 clauses out of 298009 with flag 23962628/11315002
2269.96/2239.19	c cleaning 150000 clauses out of 300013 with flag 24282927/11466000
2313.61/2281.33	c cleaning 150999 clauses out of 302014 with flag 24604942/11618001
2352.12/2318.55	c cleaning 151997 clauses out of 304015 with flag 24929391/11771001
2405.30/2370.16	c cleaning 153005 clauses out of 306018 with flag 25255520/11925001
2447.38/2410.74	c cleaning 154004 clauses out of 308013 with flag 25583965/12080001
2486.83/2448.77	c cleaning 154994 clauses out of 310009 with flag 25914590/12236001
2523.93/2484.32	c cleaning 156004 clauses out of 312015 with flag 26246879/12393001
2568.26/2527.15	c cleaning 156995 clauses out of 314010 with flag 26582240/12551000
2609.73/2567.11	c cleaning 158004 clauses out of 316017 with flag 26919316/12710002
2655.44/2611.43	c cleaning 159006 clauses out of 318012 with flag 27258541/12870001
2696.31/2650.75	c cleaning 160000 clauses out of 320005 with flag 27599447/13031000
2735.93/2688.99	c cleaning 160997 clauses out of 322005 with flag 27942336/13193000
2777.25/2728.89	c cleaning 161996 clauses out of 324010 with flag 28287988/13356002
2824.21/2774.12	c cleaning 163002 clauses out of 326013 with flag 28635007/13520001
2873.14/2823.10	c cleaning 164001 clauses out of 328010 with flag 28984940/13685000
2923.18/2873.17	c cleaning 165002 clauses out of 330010 with flag 29337186/13851001
2972.59/2921.05	c cleaning 165996 clauses out of 332007 with flag 29690495/14018000
3025.03/2973.04	c cleaning 167000 clauses out of 334013 with flag 30047126/14186002
3092.50/3040.08	c cleaning 168002 clauses out of 336011 with flag 30405286/14355000
3147.43/3094.22	c cleaning 168998 clauses out of 338009 with flag 30766297/14525000
3194.09/3139.95	c cleaning 170000 clauses out of 340012 with flag 31127756/14696001
3243.73/3189.64	c cleaning 171000 clauses out of 342011 with flag 31492511/14868000
3313.76/3260.77	c cleaning 172004 clauses out of 344011 with flag 31858191/15041000
3376.23/3320.60	c cleaning 172997 clauses out of 346008 with flag 32227118/15215001
3437.77/3380.83	c cleaning 174000 clauses out of 348012 with flag 32597361/15390002
3493.50/3435.61	c cleaning 175002 clauses out of 350010 with flag 32970027/15566000
3560.54/3501.41	c cleaning 176000 clauses out of 352010 with flag 33344293/15743002
3600.04/3539.72	c starts		: 1
3600.04/3539.72	c timeout
3600.04/3539.72	c conflicts		: 15876155
3600.04/3539.72	c decisions		: 17228744
3600.04/3539.72	c propagations		: 86430249
3600.04/3539.72	c inspects		: 9795243312
3600.04/3539.72	c shortcuts		: 0
3600.04/3539.72	c learnt literals	: 0
3600.04/3539.72	c learnt binary clauses	: 0
3600.04/3539.72	c learnt ternary clauses	: 0
3600.04/3539.72	c learnt constraints	: 15876155
3600.04/3539.72	c ignored constraints	: 0
3600.04/3539.72	c root simplifications	: 0
3600.04/3539.72	c removed literals (reason simplification)	: 327217109
3600.04/3539.72	c reason swapping (by a shorter reason)	: 0
3600.04/3539.72	c Calls to reduceDB	: 173
3600.04/3539.72	c Number of update (reduction) of LBD	: 277256
3600.04/3539.72	c Imported unit clauses	: 0
3600.04/3539.72	c No decision after first conflict	: false
3600.04/3539.72	c number of reductions to clauses (during analyze)	: 0
3600.04/3539.72	c number of learned constraints concerned by reduction	: 0
3600.04/3539.72	c number of learning phase by resolution	: 0
3600.04/3539.72	c number of learning phase by cutting planes	: 0
3600.04/3539.72	c number of rounding to 1 operations	: 0
3600.04/3539.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3539.72	c number of reductions of the coefficients by power 2 	: 0
3600.04/3539.72	c number of right shift for reduction by power 2 	: 0
3600.04/3539.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3539.72	c number of ending skipping 	: 0
3600.04/3539.72	c number of internal skipping 	: 0
3600.04/3539.72	c number of derivation steps 	: 0
3600.04/3539.72	c number of skipped derivation steps 	: 0
3600.04/3539.72	c number of remaining unassigned 	: 0
3600.04/3539.72	c number of remaining assigned 	: 0
3600.04/3539.72	c number of falsified literals weakened from reason	: 0
3600.04/3539.72	c number of falsified literals weakened from conflict	: 0
3600.04/3539.72	c time for arithmetic operations	: 0
3600.04/3539.72	c minimum degree of deleted constraints	: null
3600.04/3539.72	c maximum degree of deleted constraints	: null
3600.04/3539.72	c number of deleted constraints	: 0
3600.04/3539.72	c speed (assignments/second)	: 24419.304784988966
3600.04/3539.72	c non guided choices	: 110
3600.04/3539.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309163
3600.04/3539.78	s UNKNOWN
3600.04/3539.78	c Total wall clock time (in seconds): 3539.531

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: 63931 MiB (61618 MiB free)
  memory of node 1: 64510 MiB (61974 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=242287, runsolver pid=242276
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126403252/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=18975048 memory=55680 CPUtime=0.05 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 6428 0 16 0 3 2 0 0 20 0 18 0 20771076 19430449152 13920 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4743762 13920 5643 1 0 548656 0
[pid=242287/tid=242296] ppid=242276 vsize=18975048 memory=4026531971 CPUtime=0.03 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 5366 0 12 0 2 1 0 0 20 0 18 0 20771077 19430449152 13920 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=18975048 memory=1613749 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 13920 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 13920 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55680 KiB

[startup+0.207401 s]*
/proc/loadavg: 1.05 1.16 1.99 2/333 242364
/proc/meminfo: memFree=126362460/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=18975048 memory=67492 CPUtime=0.15 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 7305 0 16 0 13 2 0 0 20 0 18 0 20771076 19430449152 16873 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4743762 16873 5695 1 0 549374 0
[pid=242287/tid=242296] ppid=242276 vsize=18975048 memory=664970851429515395 CPUtime=0.09 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) D 242276 242287 242221 0 -1 4194368 5817 0 12 0 7 2 0 0 20 0 18 0 20771077 19430449152 16873 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=18975048 memory=1613749 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 16873 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 16873 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67492 KiB

[startup+0.312654 s]*
/proc/loadavg: 1.05 1.16 1.99 17/337 242368
/proc/meminfo: memFree=126345112/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19041612 memory=71480 CPUtime=0.3 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 7713 0 16 0 27 3 0 0 20 0 19 0 20771076 19498610688 17870 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4760403 17870 5835 1 0 549917 0
[pid=242287/tid=242296] ppid=242276 vsize=19041612 memory=-8599175344770753212 CPUtime=0.17 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 6043 0 12 0 15 2 0 0 20 0 19 0 20771077 19498610688 17870 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19041612 memory=1468801770340581977 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19498610688 17870 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 20771084 19498610688 17870 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20771106 19498610688 17870 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71480 KiB

[startup+0.704654 s]
/proc/loadavg: 1.05 1.16 1.99 15/337 242368
/proc/meminfo: memFree=126189264/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19041612 memory=165812 CPUtime=1.05 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 11042 0 17 0 100 5 0 0 20 0 19 0 20771076 19498610688 41453 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4760403 41453 5855 1 0 551843 0
[pid=242287/tid=242296] ppid=242276 vsize=19041612 memory=11420 CPUtime=0.5 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 6104 0 12 0 46 4 0 0 20 0 19 0 20771077 19498610688 41453 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19498610688 41453 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19041612 memory=752916092454666654 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 20771084 19498610688 41453 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19041612 memory=32944 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20771106 19498610688 41453 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165812 KiB

[startup+1.50266 s]
/proc/loadavg: 1.85 1.33 2.04 12/341 242372
/proc/meminfo: memFree=125923296/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=188704 CPUtime=2.6 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 13355 0 17 0 252 8 0 0 20 0 20 0 20771076 19566772224 47176 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 47176 5878 1 0 553588 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=11420 CPUtime=1.22 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 6155 0 12 0 117 5 0 0 20 0 20 0 20771077 19566772224 47176 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=32944 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 47176 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 47176 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 47176 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188704 KiB

[startup+3.10666 s]
/proc/loadavg: 1.85 1.33 2.04 6/341 242372
/proc/meminfo: memFree=124260780/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=594480 CPUtime=4.76 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 14132 0 18 0 456 20 0 0 20 0 20 0 20771076 19566772224 148620 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 148620 5878 1 0 706253 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=0 CPUtime=2.7 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 6325 0 12 0 255 15 0 0 20 0 20 0 20771077 19566772224 148620 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 148620 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 148620 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=12148 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 148620 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 594480 KiB

[startup+6.30065 s]
/proc/loadavg: 2.02 1.37 2.05 10/341 242374
/proc/meminfo: memFree=120455556/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=1475568 CPUtime=8.25 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 15702 0 18 0 781 44 0 0 20 0 20 0 20771076 19566772224 368892 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 368892 5879 1 0 1167906 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=11420 CPUtime=5.7 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 6679 0 12 0 535 35 0 0 20 0 20 0 20771077 19566772224 368892 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 368892 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 368892 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=12148 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 368892 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 8.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1475568 KiB

[startup+12.7007 s]
/proc/loadavg: 2.18 1.42 2.06 8/341 242374
/proc/meminfo: memFree=116038400/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=2356160 CPUtime=14.82 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 17354 0 18 0 1409 73 0 0 20 0 20 0 20771076 19566772224 589040 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 589040 5879 1 0 1364268 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=2327488 CPUtime=11.77 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 7702 0 12 0 1115 62 0 0 20 0 20 0 20771077 19566772224 589040 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 589040 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 589040 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 589040 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2356160 KiB

[startup+25.5007 s]
/proc/loadavg: 2.46 1.50 2.08 8/341 242377
/proc/meminfo: memFree=111849720/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3426176 CPUtime=27.87 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 23750 0 18 0 2676 111 0 0 20 0 20 0 20771076 19566772224 856544 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 856544 5879 1 0 1364274 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=2606808 CPUtime=24.03 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 9640 0 12 0 2307 96 0 0 20 0 20 0 20771077 19566772224 856544 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=3217112 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 856544 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=2273 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 856544 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=2315 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 856544 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 27.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3426176 KiB

[startup+51.1069 s]
/proc/loadavg: 3.24 1.79 2.16 8/341 242381
/proc/meminfo: memFree=106464076/131524600 swapFree=131059112/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3742240 CPUtime=51.27 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 29197 0 18 0 4975 152 0 0 20 0 20 0 20771076 19566772224 935560 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 935560 5879 1 0 1364275 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=-8743290532846609084 CPUtime=45.91 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.45 4.37 4.29 8/338 243964
/proc/meminfo: memFree=11066396/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3276.94 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 731472 0 18 0 324846 2848 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=12148 CPUtime=3111.28 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 200482 0 12 0 308539 2589 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4027 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=27864 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=64696 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2391 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3276.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.38 4.30 10/341 244147
/proc/meminfo: memFree=10063272/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3336.39 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 747384 0 18 0 330762 2877 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=12148 CPUtime=3168.43 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 203138 0 12 0 314229 2614 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4232 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2474 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3336.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.37 4.30 10/341 244157
/proc/meminfo: memFree=9003900/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3398.82 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 750622 0 18 0 336967 2915 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=12148 CPUtime=3227.05 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 204480 0 12 0 320057 2648 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4266 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2474 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3398.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.36 4.30 9/344 244227
/proc/meminfo: memFree=7861088/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3460.08 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 765578 0 18 0 343059 2949 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3285.79 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 207861 0 12 0 325901 2678 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4289 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=64696 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2553 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3460.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.33 4.28 8/344 244240
/proc/meminfo: memFree=6733476/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3521.27 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 767647 0 18 0 349142 2985 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3344.36 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 208841 0 12 0 331725 2711 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4311 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2553 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3521.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

[startup+3522.3 s]
/proc/loadavg: 3.94 4.24 4.26 4/292 244321
/proc/meminfo: memFree=55515660/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3582.43 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 783342 0 18 0 355221 3022 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3403.25 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 211375 0 12 0 337582 2743 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4332 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=27864 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2642 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3582.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.7 s]
/proc/loadavg: 3.51 4.13 4.22 4/292 244324
/proc/meminfo: memFree=55313524/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3600.04 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 783823 0 18 0 356973 3031 0 0 20 0 20 0 20771076 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4777044 811854 5929 1 0 823897 0
[pid=242287/tid=242296] ppid=242276 vsize=19108176 memory=3247416 CPUtime=3420.24 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) R 242276 242287 242221 0 -1 4194368 211540 0 12 0 339272 2752 0 0 20 0 20 0 20771077 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4332 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19108176 memory=3247416 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2642 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242365] ppid=242276 vsize=19108176 memory=2336 CPUtime=0 cores=5,7
/proc/242287/task/242365/stat : 242365 (Timer-0) S 242276 242287 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 811854 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3247416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3569.86 s, system=30.3432 s

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

[startup+3539.8 s]
/proc/loadavg: 3.51 4.13 4.22 4/292 244324
/proc/meminfo: memFree=55313524/131524600 swapFree=131058856/131071996
[pid=242287] ppid=242276 vsize=19307868 memory=3248100 CPUtime=3600.18 cores=5,7
/proc/242287/stat : 242287 (java) S 242276 242287 242221 0 -1 1077936128 785996 0 18 0 356986 3032 0 0 20 0 15 0 20771076 19771256832 812025 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
/proc/242287/statm: 4826967 812025 5926 1 0 824845 0
[pid=242287/tid=242296] ppid=242276 vsize=19307868 memory=-8743290532846609084 CPUtime=3420.27 cores=5,7
/proc/242287/task/242296/stat : 242296 (java) D 242276 242287 242221 0 -1 4194368 211741 0 12 0 339274 2753 0 0 20 0 15 0 20771077 19771256832 812025 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4340 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242336] ppid=242276 vsize=19307868 memory=64696 CPUtime=0 cores=5,7
/proc/242287/task/242336/stat : 242336 (Finalizer) S 242276 242287 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20771083 19771256832 812025 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
[pid=242287/tid=242361] ppid=242276 vsize=19307868 memory=12148 CPUtime=0 cores=5,7
/proc/242287/task/242361/stat : 242361 (Common-Cleaner) S 242276 242287 242221 0 -1 1077936192 2642 0 0 0 0 0 0 0 20 0 15 0 20771084 19771256832 812025 134679101440 94010738225152 94010738228848 140734989830464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010738236664 94010738237456 94010770841600 140734989837227 140734989837409 140734989837409 140734989844424 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3248100 KiB

Child status: 143

Real time (s): 3539.86
CPU time (s): 3600.21
CPU user time (s): 3569.86
CPU system time (s): 30.3432
CPU usage (%): 101.705
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5305672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.86
system time used= 30.3432
maximum resident set size= 5305784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786046
page faults= 18
swaps= 0
block input operations= 5504
block output operations= 45583312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131354
involuntary context switches= 17884


# summary of solver processes directly reported to runsolver:
#   pid: 242287
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3569.86
#   total CPU system time (s): 30.3432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55002 second user time and 22.6151 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-24 19:33:35
IDJOB=4453132
IDBENCH=168735
IDSOLVER=3079
FILE ID=nodeC031/4453132-1721842415
RUNJOBID= nodeC031-1721842415-242234
SLURM_JOB_ID= 7891574
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453132-1721842415/watcher-4453132-1721842415 -o /tmp/evaluation-result-4453132-1721842415/solver-4453132-1721842415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721842415-242234 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453132-1721842415 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453132-1721842415.opb

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

MD5SUM BENCH= add936bb86ecdde22f6655365824bd6d
RANDOM SEED=46535795

nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3350.746
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.44
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		: 3762.974
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.12
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		: 3667.786
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.44
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		: 3662.658
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.12
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		: 3716.528
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.44
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		: 3791.195
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.12
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		: 3621.746
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.44
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		: 3793.435
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126560336 kB
MemAvailable:   129563232 kB
Buffers:          263192 kB
Cached:          3408984 kB
SwapCached:         2384 kB
Active:          2105588 kB
Inactive:        1942364 kB
Active(anon):       1636 kB
Inactive(anon):   427436 kB
Active(file):    2103952 kB
Inactive(file):  1514928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              2988 kB
Writeback:             0 kB
AnonPages:        371560 kB
Mapped:           100524 kB
Shmem:             53296 kB
KReclaimable:     445248 kB
Slab:             566256 kB
SReclaimable:     445248 kB
SUnreclaim:       121008 kB
KernelStack:        3952 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     773784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-24 20:32:35