Trace number 4453612

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.26 3601.68

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1500.shuf-2.opb
MD5SUM2ad33d7cf1ba27c2d511e3154b862a9b
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.112601
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6001
Total number of constraints3000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)355
Number of constraints which are nor clauses,nor cardinality constraints2645
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4453612-1721843543.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.34/0.23	c ... done. Wall clock time 0.102s.
0.34/0.23	c declared #vars     6001
0.34/0.23	c #constraints  3000
0.34/0.23	c constraints type 
0.34/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3000
0.34/0.23	c 3000 constraints processed.
2.67/1.43	c cleaning 2492 clauses out of 5000 with flag 43088/5000
4.32/2.48	c cleaning 4243 clauses out of 8511 with flag 121944/11003
5.73/3.79	c cleaning 5624 clauses out of 11265 with flag 232829/18000
7.50/5.42	c cleaning 6808 clauses out of 13642 with flag 359650/26001
9.01/6.93	c cleaning 7904 clauses out of 15833 with flag 477939/35000
10.54/8.39	c cleaning 8934 clauses out of 17929 with flag 604119/45000
12.54/10.31	c cleaning 9968 clauses out of 19997 with flag 752984/56002
14.93/12.75	c cleaning 10978 clauses out of 22029 with flag 932851/68002
18.03/15.70	c cleaning 11990 clauses out of 24049 with flag 1128080/81000
20.82/18.52	c cleaning 12982 clauses out of 26059 with flag 1352789/95000
23.92/21.65	c cleaning 13996 clauses out of 28080 with flag 1591517/110003
27.46/25.12	c cleaning 14997 clauses out of 30081 with flag 1842104/126000
31.66/29.32	c cleaning 15993 clauses out of 32084 with flag 2127592/143000
35.01/32.68	c cleaning 17022 clauses out of 34091 with flag 2400774/161000
38.08/36.04	c cleaning 18023 clauses out of 36069 with flag 2681013/180000
41.68/39.69	c cleaning 19010 clauses out of 38047 with flag 3035899/200001
45.89/43.85	c cleaning 20005 clauses out of 40037 with flag 3410595/221001
50.09/48.04	c cleaning 20993 clauses out of 42031 with flag 3779853/243000
54.78/52.70	c cleaning 21998 clauses out of 44039 with flag 4176307/266001
60.09/58.05	c cleaning 22999 clauses out of 46040 with flag 4586070/290000
65.89/64.11	c cleaning 24002 clauses out of 48041 with flag 5037232/315000
72.28/70.51	c cleaning 24995 clauses out of 50039 with flag 5515826/341000
79.29/77.54	c cleaning 26000 clauses out of 52044 with flag 6045298/368000
84.53/82.75	c cleaning 27010 clauses out of 54045 with flag 6522743/396001
88.15/86.30	c cleaning 28009 clauses out of 56036 with flag 6900339/425002
91.36/89.56	c cleaning 28991 clauses out of 58026 with flag 7282977/455001
95.29/93.48	c cleaning 29997 clauses out of 60036 with flag 7737463/486002
98.92/97.48	c cleaning 30979 clauses out of 62040 with flag 8143963/518003
102.77/101.23	c cleaning 32007 clauses out of 64058 with flag 8590202/551000
106.52/104.95	c cleaning 32995 clauses out of 66051 with flag 9042777/585000
110.41/108.88	c cleaning 33994 clauses out of 68058 with flag 9547082/620002
115.46/113.82	c cleaning 34986 clauses out of 70064 with flag 10059265/656002
119.36/117.77	c cleaning 36007 clauses out of 72076 with flag 10533637/693000
123.71/122.09	c cleaning 36974 clauses out of 74069 with flag 11064296/731000
128.64/127.37	c cleaning 38015 clauses out of 76095 with flag 11686934/770000
133.19/131.84	c cleaning 38966 clauses out of 78080 with flag 12263696/810000
138.03/136.57	c cleaning 40008 clauses out of 80114 with flag 12815582/851000
142.72/141.17	c cleaning 41024 clauses out of 82108 with flag 13431568/893002
147.68/146.01	c cleaning 41983 clauses out of 84083 with flag 14070435/936001
152.53/150.85	c cleaning 43002 clauses out of 86103 with flag 14702125/980004
158.54/157.74	c cleaning 44006 clauses out of 88097 with flag 15373330/1025000
163.69/162.83	c cleaning 44988 clauses out of 90092 with flag 16070822/1071001
169.13/168.28	c cleaning 45998 clauses out of 92103 with flag 16786580/1118000
174.54/173.62	c cleaning 46995 clauses out of 94107 with flag 17514189/1166002
180.22/179.28	c cleaning 48016 clauses out of 96111 with flag 18306995/1215001
185.86/184.81	c cleaning 49014 clauses out of 98094 with flag 19078482/1265000
191.46/190.78	c cleaning 49977 clauses out of 100082 with flag 19882796/1316002
197.42/196.60	c cleaning 50963 clauses out of 102104 with flag 20678506/1368001
203.41/202.53	c cleaning 51969 clauses out of 104140 with flag 21518610/1421000
209.46/208.57	c cleaning 53026 clauses out of 106171 with flag 22414939/1475000
215.59/214.68	c cleaning 54011 clauses out of 108145 with flag 23290213/1530000
221.95/221.24	c cleaning 54973 clauses out of 110134 with flag 24168038/1586000
228.40/227.61	c cleaning 55991 clauses out of 112161 with flag 25099246/1643000
234.96/234.12	c cleaning 57012 clauses out of 114170 with flag 26049433/1701000
241.54/240.68	c cleaning 58004 clauses out of 116158 with flag 27012967/1760000
248.28/247.34	c cleaning 59021 clauses out of 118157 with flag 28009086/1820003
255.06/254.47	c cleaning 59989 clauses out of 120135 with flag 29030120/1881002
262.22/261.47	c cleaning 60986 clauses out of 122144 with flag 30106268/1943000
269.35/268.51	c cleaning 61979 clauses out of 124159 with flag 31168162/2006001
276.39/275.50	c cleaning 63001 clauses out of 126179 with flag 32240099/2070000
283.66/283.21	c cleaning 64012 clauses out of 128178 with flag 33337763/2135000
291.14/290.75	c cleaning 65020 clauses out of 130170 with flag 34500454/2201004
298.77/298.34	c cleaning 66008 clauses out of 132146 with flag 35651415/2268000
306.64/306.11	c cleaning 66993 clauses out of 134138 with flag 36837108/2336000
314.40/314.22	c cleaning 68004 clauses out of 136145 with flag 38039113/2405000
322.28/322.04	c cleaning 68981 clauses out of 138141 with flag 39250344/2475000
330.77/330.45	c cleaning 70005 clauses out of 140161 with flag 40451383/2546001
338.96/338.69	c cleaning 70996 clauses out of 142155 with flag 41722959/2618000
347.28/347.30	c cleaning 71998 clauses out of 144163 with flag 43031039/2691004
355.72/355.79	c cleaning 73010 clauses out of 146161 with flag 44351064/2765000
364.22/364.17	c cleaning 73997 clauses out of 148153 with flag 45685873/2840002
372.92/373.19	c cleaning 74973 clauses out of 150154 with flag 47042768/2916000
381.44/381.69	c cleaning 76020 clauses out of 152181 with flag 48405040/2993000
390.30/390.47	c cleaning 77027 clauses out of 154162 with flag 49820552/3071001
399.18/399.27	c cleaning 77991 clauses out of 156135 with flag 51234272/3150001
408.21/408.57	c cleaning 78966 clauses out of 158143 with flag 52644080/3230000
417.37/417.67	c cleaning 80022 clauses out of 160180 with flag 54095533/3311003
426.78/426.90	c cleaning 80976 clauses out of 162156 with flag 55593336/3393001
436.08/436.52	c cleaning 82036 clauses out of 164184 with flag 57079143/3476005
445.76/446.13	c cleaning 83009 clauses out of 166147 with flag 58635061/3560004
455.31/455.64	c cleaning 83988 clauses out of 168135 with flag 60138014/3645001
465.02/467.87	c cleaning 84994 clauses out of 170147 with flag 61676618/3731001
475.09/477.82	c cleaning 85996 clauses out of 172152 with flag 63255445/3818000
485.08/487.79	c cleaning 86981 clauses out of 174156 with flag 64874849/3906000
495.26/497.81	c cleaning 88014 clauses out of 176175 with flag 66505544/3995000
505.43/509.53	c cleaning 88992 clauses out of 178161 with flag 68138431/4085000
515.84/519.89	c cleaning 90003 clauses out of 180169 with flag 69829360/4176000
526.43/530.33	c cleaning 91083 clauses out of 182166 with flag 71451589/4268000
537.53/541.90	c cleaning 91950 clauses out of 184083 with flag 73167749/4361000
548.65/552.81	c cleaning 92979 clauses out of 186133 with flag 74917098/4455000
559.52/563.66	c cleaning 94005 clauses out of 188154 with flag 76667730/4550000
570.70/575.21	c cleaning 95006 clauses out of 190150 with flag 78478892/4646001
581.89/586.49	c cleaning 95988 clauses out of 192144 with flag 80289980/4743001
593.35/598.11	c cleaning 97070 clauses out of 194156 with flag 82144514/4841001
604.98/609.72	c cleaning 97999 clauses out of 196085 with flag 84012837/4940000
616.73/621.41	c cleaning 98953 clauses out of 198086 with flag 85905713/5040000
628.47/633.47	c cleaning 99991 clauses out of 200135 with flag 87746352/5141002
640.49/645.30	c cleaning 101014 clauses out of 202142 with flag 89629511/5243000
652.48/657.28	c cleaning 101986 clauses out of 204128 with flag 91566672/5346000
664.80/669.89	c cleaning 102994 clauses out of 206145 with flag 93529889/5450003
677.08/682.02	c cleaning 103990 clauses out of 208148 with flag 95554003/5555000
689.81/695.03	c cleaning 104982 clauses out of 210158 with flag 97579521/5661000
702.29/707.44	c cleaning 106004 clauses out of 212177 with flag 99620486/5768001
715.32/720.73	c cleaning 106985 clauses out of 214172 with flag 101657276/5876000
728.27/733.57	c cleaning 107996 clauses out of 216189 with flag 103757188/5985002
741.23/746.46	c cleaning 109032 clauses out of 218194 with flag 105877955/6095003
754.55/760.04	c cleaning 109995 clauses out of 220159 with flag 108012968/6206000
767.96/773.32	c cleaning 111013 clauses out of 222164 with flag 110195258/6318000
781.36/787.07	c cleaning 112072 clauses out of 224152 with flag 112384737/6431001
794.86/800.46	c cleaning 112987 clauses out of 226080 with flag 114562552/6545001
808.74/814.61	c cleaning 113988 clauses out of 228092 with flag 116822772/6660000
822.70/828.54	c cleaning 114983 clauses out of 230104 with flag 119050469/6776000
836.83/842.88	c cleaning 115978 clauses out of 232123 with flag 121323604/6893002
851.06/856.93	c cleaning 116998 clauses out of 234146 with flag 123632046/7011003
865.47/871.24	c cleaning 118001 clauses out of 236145 with flag 125952170/7130000
879.93/885.97	c cleaning 118978 clauses out of 238144 with flag 128294860/7250000
894.73/900.69	c cleaning 120014 clauses out of 240166 with flag 130718189/7371000
909.63/915.72	c cleaning 120977 clauses out of 242152 with flag 133109430/7493000
924.56/930.53	c cleaning 122023 clauses out of 244175 with flag 135541157/7616000
939.64/945.89	c cleaning 122994 clauses out of 246152 with flag 138012742/7740000
954.79/960.89	c cleaning 123990 clauses out of 248159 with flag 140448072/7865001
970.05/976.46	c cleaning 125001 clauses out of 250171 with flag 142939795/7991003
985.30/991.40	c cleaning 126005 clauses out of 252167 with flag 145469731/8118000
1000.47/1006.80	c cleaning 127014 clauses out of 254162 with flag 148016394/8246000
1015.60/1021.80	c cleaning 127998 clauses out of 256151 with flag 150544979/8375003
1031.03/1037.77	c cleaning 128996 clauses out of 258151 with flag 153125492/8505001
1046.55/1053.14	c cleaning 130055 clauses out of 260154 with flag 155685567/8636000
1062.44/1069.34	c cleaning 130974 clauses out of 262099 with flag 158379953/8768000
1078.53/1085.28	c cleaning 131964 clauses out of 264125 with flag 161068032/8901000
1094.81/1101.83	c cleaning 133010 clauses out of 266162 with flag 163751174/9035001
1111.04/1117.91	c cleaning 133983 clauses out of 268151 with flag 166483653/9170000
1127.53/1135.04	c cleaning 134985 clauses out of 270168 with flag 169285706/9306000
1144.20/1151.78	c cleaning 136092 clauses out of 272184 with flag 172064552/9443001
1160.74/1168.12	c cleaning 136983 clauses out of 274092 with flag 174826144/9581001
1177.48/1185.13	c cleaning 137972 clauses out of 276109 with flag 177618952/9720001
1194.56/1202.09	c cleaning 139006 clauses out of 278138 with flag 180497289/9860002
1211.92/1219.65	c cleaning 139985 clauses out of 280131 with flag 183432581/10001001
1229.24/1236.81	c cleaning 140977 clauses out of 282146 with flag 186356531/10143001
1246.63/1254.48	c cleaning 142008 clauses out of 284169 with flag 189257904/10286001
1264.32/1272.53	c cleaning 143012 clauses out of 286160 with flag 192216434/10430000
1282.26/1290.28	c cleaning 143979 clauses out of 288148 with flag 195167445/10575000
1299.99/1309.81	c cleaning 145017 clauses out of 290169 with flag 198145571/10721000
1318.08/1327.75	c cleaning 145994 clauses out of 292152 with flag 201130403/10868000
1336.00/1346.06	c cleaning 147006 clauses out of 294158 with flag 204121340/11016000
1354.76/1364.97	c cleaning 148004 clauses out of 296153 with flag 207267422/11165001
1373.28/1383.39	c cleaning 148991 clauses out of 298149 with flag 210383911/11315001
1391.76/1401.98	c cleaning 149971 clauses out of 300157 with flag 213393080/11466000
1410.62/1420.38	c cleaning 150986 clauses out of 302186 with flag 216485420/11618000
1429.61/1439.42	c cleaning 152010 clauses out of 304200 with flag 219640341/11771000
1448.79/1458.86	c cleaning 153030 clauses out of 306190 with flag 222850830/11925000
1468.28/1478.14	c cleaning 154054 clauses out of 308160 with flag 226086649/12080000
1487.66/1497.64	c cleaning 154997 clauses out of 310107 with flag 229288109/12236001
1507.39/1517.12	c cleaning 155970 clauses out of 312109 with flag 232559345/12393000
1527.53/1537.29	c cleaning 156981 clauses out of 314139 with flag 235821394/12551000
1547.35/1557.19	c cleaning 157962 clauses out of 316160 with flag 239099268/12710002
1567.78/1577.31	c cleaning 159034 clauses out of 318196 with flag 242440402/12870000
1588.06/1597.80	c cleaning 160019 clauses out of 320162 with flag 245827440/13031000
1608.19/1618.07	c cleaning 161017 clauses out of 322143 with flag 249211415/13193000
1628.95/1638.69	c cleaning 161993 clauses out of 324127 with flag 252606704/13356001
1649.87/1659.54	c cleaning 163010 clauses out of 326133 with flag 256135543/13520000
1670.45/1680.27	c cleaning 163978 clauses out of 328123 with flag 259552824/13685000
1691.53/1701.18	c cleaning 164981 clauses out of 330147 with flag 263076461/13851002
1712.62/1722.39	c cleaning 165991 clauses out of 332164 with flag 266607146/14018000
1733.91/1743.74	c cleaning 167018 clauses out of 334173 with flag 270165543/14186000
1755.31/1765.27	c cleaning 168012 clauses out of 336155 with flag 273761480/14355000
1777.15/1786.81	c cleaning 168998 clauses out of 338143 with flag 277369685/14525000
1798.48/1808.34	c cleaning 170001 clauses out of 340148 with flag 280911390/14696003
1820.78/1830.51	c cleaning 171007 clauses out of 342144 with flag 284620537/14868000
1842.80/1852.38	c cleaning 172012 clauses out of 344138 with flag 288268022/15041001
1865.39/1874.91	c cleaning 173000 clauses out of 346125 with flag 292027169/15215000
1887.86/1897.29	c cleaning 174011 clauses out of 348129 with flag 295735543/15390004
1910.77/1920.12	c cleaning 174986 clauses out of 350116 with flag 299543750/15566002
1933.53/1942.68	c cleaning 175983 clauses out of 352130 with flag 303354185/15743002
1956.58/1965.65	c cleaning 177013 clauses out of 354145 with flag 307181385/15921000
1979.90/1988.93	c cleaning 177999 clauses out of 356135 with flag 311054825/16100003
2003.74/2012.50	c cleaning 178986 clauses out of 358134 with flag 314944399/16280001
2027.17/2035.83	c cleaning 180015 clauses out of 360148 with flag 318778891/16461001
2051.00/2059.79	c cleaning 180999 clauses out of 362132 with flag 322728497/16643000
2075.23/2083.94	c cleaning 181996 clauses out of 364136 with flag 326707963/16826003
2099.77/2108.00	c cleaning 182987 clauses out of 366137 with flag 330697192/17010000
2123.96/2132.33	c cleaning 183998 clauses out of 368150 with flag 334705545/17195000
2148.06/2156.26	c cleaning 185022 clauses out of 370152 with flag 338731085/17381000
2172.56/2180.60	c cleaning 185971 clauses out of 372130 with flag 342780154/17568000
2197.50/2205.37	c cleaning 186997 clauses out of 374160 with flag 346930967/17756001
2222.59/2230.37	c cleaning 188013 clauses out of 376163 with flag 351092515/17945001
2247.61/2255.30	c cleaning 188980 clauses out of 378149 with flag 355247348/18135000
2272.96/2280.40	c cleaning 190030 clauses out of 380171 with flag 359418240/18326002
2299.05/2306.22	c cleaning 191012 clauses out of 382140 with flag 363660503/18518001
2324.48/2331.61	c cleaning 191990 clauses out of 384128 with flag 367904440/18711001
2350.41/2357.72	c cleaning 192992 clauses out of 386137 with flag 372203803/18905000
2376.21/2383.45	c cleaning 194005 clauses out of 388145 with flag 376469393/19100000
2402.95/2409.92	c cleaning 195005 clauses out of 390140 with flag 380830033/19296000
2429.17/2435.94	c cleaning 195994 clauses out of 392135 with flag 385165216/19493000
2455.42/2462.36	c cleaning 196994 clauses out of 394143 with flag 389469888/19691002
2482.86/2489.98	c cleaning 198009 clauses out of 396148 with flag 393819071/19890001
2509.54/2516.78	c cleaning 198994 clauses out of 398138 with flag 398202066/20090000
2536.48/2543.84	c cleaning 200003 clauses out of 400145 with flag 402699349/20291001
2563.57/2570.78	c cleaning 200991 clauses out of 402141 with flag 407146298/20493000
2590.74/2598.04	c cleaning 202012 clauses out of 404150 with flag 411554727/20696000
2617.73/2625.14	c cleaning 203006 clauses out of 406138 with flag 416048072/20900000
2645.78/2652.68	c cleaning 203997 clauses out of 408132 with flag 420553232/21105000
2673.71/2680.63	c cleaning 204985 clauses out of 410135 with flag 425161392/21311000
2701.76/2708.66	c cleaning 205987 clauses out of 412154 with flag 429782876/21518004
2730.61/2737.63	c cleaning 207003 clauses out of 414163 with flag 434434644/21726000
2759.16/2766.07	c cleaning 208003 clauses out of 416161 with flag 439094669/21935001
2787.68/2794.60	c cleaning 209012 clauses out of 418158 with flag 443768908/22145001
2816.76/2823.24	c cleaning 209978 clauses out of 420146 with flag 448532339/22356001
2845.48/2851.80	c cleaning 211026 clauses out of 422167 with flag 453246811/22568000
2874.28/2880.56	c cleaning 212016 clauses out of 424141 with flag 458025818/22781000
2904.10/2909.82	c cleaning 212975 clauses out of 426125 with flag 462905789/22995000
2933.63/2939.54	c cleaning 214008 clauses out of 428150 with flag 467735162/23210000
2962.92/2968.87	c cleaning 215001 clauses out of 430142 with flag 472546471/23426000
2993.03/2998.77	c cleaning 215992 clauses out of 432141 with flag 477511732/23643000
3022.87/3028.58	c cleaning 216990 clauses out of 434149 with flag 482444381/23861000
3053.41/3059.03	c cleaning 218068 clauses out of 436160 with flag 487410522/24080001
3083.96/3089.39	c cleaning 218963 clauses out of 438091 with flag 492413894/24300000
3114.18/3120.05	c cleaning 219992 clauses out of 440129 with flag 497357945/24521001
3145.72/3150.86	c cleaning 220991 clauses out of 442137 with flag 502371406/24743001
3176.83/3181.95	c cleaning 222016 clauses out of 444145 with flag 507467297/24966000
3208.68/3213.11	c cleaning 223009 clauses out of 446129 with flag 512569869/25190000
3239.61/3243.98	c cleaning 223986 clauses out of 448120 with flag 517691061/25415000
3271.62/3275.23	c cleaning 225053 clauses out of 450134 with flag 522820288/25641000
3303.43/3306.96	c cleaning 225950 clauses out of 452081 with flag 528004950/25868000
3335.75/3338.97	c cleaning 226988 clauses out of 454132 with flag 533200213/26096001
3367.80/3371.09	c cleaning 228022 clauses out of 456144 with flag 538423004/26325001
3400.49/3403.26	c cleaning 228969 clauses out of 458121 with flag 543677806/26555000
3432.59/3435.26	c cleaning 230014 clauses out of 460152 with flag 548986503/26786000
3465.77/3467.80	c cleaning 231000 clauses out of 462138 with flag 554303986/27018000
3498.42/3500.33	c cleaning 232068 clauses out of 464140 with flag 559634989/27251002
3532.07/3533.35	c cleaning 232959 clauses out of 466071 with flag 565021151/27485001
3565.77/3566.87	c cleaning 233993 clauses out of 468114 with flag 570495018/27720003
3599.79/3601.22	c cleaning 234963 clauses out of 470118 with flag 575978104/27956000
3600.10/3601.52	c starts		: 113536
3600.10/3601.52	c timeout
3600.10/3601.52	c conflicts		: 27958330
3600.10/3601.52	c decisions		: 314611767
3600.10/3601.52	c propagations		: 5727822586
3600.10/3601.52	c inspects		: 20293421607
3600.10/3601.52	c shortcuts		: 0
3600.10/3601.52	c learnt literals	: 0
3600.10/3601.52	c learnt binary clauses	: 0
3600.10/3601.52	c learnt ternary clauses	: 0
3600.10/3601.52	c learnt constraints	: 27958330
3600.10/3601.52	c ignored constraints	: 0
3600.10/3601.52	c root simplifications	: 0
3600.10/3601.52	c removed literals (reason simplification)	: 48089356
3600.10/3601.52	c reason swapping (by a shorter reason)	: 0
3600.10/3601.52	c Calls to reduceDB	: 232
3600.10/3601.52	c Number of update (reduction) of LBD	: 12184661
3600.10/3601.52	c Imported unit clauses	: 0
3600.10/3601.52	c No decision after first conflict	: false
3600.10/3601.52	c number of reductions to clauses (during analyze)	: 0
3600.10/3601.52	c number of learned constraints concerned by reduction	: 0
3600.10/3601.52	c number of learning phase by resolution	: 0
3600.10/3601.52	c number of learning phase by cutting planes	: 0
3600.10/3601.52	c number of rounding to 1 operations	: 0
3600.10/3601.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3601.52	c number of reductions of the coefficients by power 2 	: 0
3600.10/3601.52	c number of right shift for reduction by power 2 	: 0
3600.10/3601.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3601.52	c number of ending skipping 	: 0
3600.10/3601.52	c number of internal skipping 	: 0
3600.10/3601.52	c number of derivation steps 	: 0
3600.10/3601.52	c number of skipped derivation steps 	: 0
3600.10/3601.52	c number of remaining unassigned 	: 0
3600.10/3601.52	c number of remaining assigned 	: 0
3600.10/3601.52	c number of falsified literals weakened from reason	: 0
3600.10/3601.52	c number of falsified literals weakened from conflict	: 0
3600.10/3601.52	c time for arithmetic operations	: 0
3600.10/3601.52	c minimum degree of deleted constraints	: null
3600.10/3601.52	c maximum degree of deleted constraints	: null
3600.10/3601.52	c number of deleted constraints	: 0
3600.10/3601.52	c speed (assignments/second)	: 1590498.0862338794
3600.10/3601.52	c non guided choices	: 13833366
3600.10/3601.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237485
3600.10/3601.58	s UNKNOWN
3600.10/3601.58	c Total wall clock time (in seconds): 3601.459

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=208625, runsolver pid=208622
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.36 4.20 4.12 6/335 208643
/proc/meminfo: memFree=102825448/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=18975048 memory=64592 CPUtime=0.14 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 7224 0 0 0 12 2 0 0 20 0 18 0 20882996 19430449152 16148 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4743762 16148 5541 1 0 549331 0
[pid=208625/tid=208627] ppid=208622 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 20882996 19430449152 16148 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20882999 19430449152 16148 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=18975048 memory=14979961989030310 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20883000 19430449152 16148 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64592 KiB

[startup+0.20621 s]*
/proc/loadavg: 4.36 4.20 4.12 8/335 208643
/proc/meminfo: memFree=102710024/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19041612 memory=157808 CPUtime=0.34 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 7791 0 0 0 30 4 0 0 20 0 19 0 20882996 19498610688 39452 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4760403 39452 5816 1 0 549909 0
[pid=208625/tid=208627] ppid=208622 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 5968 0 0 0 15 3 0 0 20 0 19 0 20882996 19498610688 39452 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19041612 memory=1499814 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20882999 19498610688 39452 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19041612 memory=14135537057400351 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20883000 19498610688 39452 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157808 KiB

[startup+0.306777 s]*
/proc/loadavg: 4.36 4.20 4.12 7/337 208645
/proc/meminfo: memFree=102681644/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=162384 CPUtime=0.53 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 9445 0 0 0 49 4 0 0 20 0 20 0 20882996 19566772224 40596 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 40596 5816 1 0 551310 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=-9032923860132668092 CPUtime=0.26 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 6047 0 0 0 23 3 0 0 20 0 20 0 20882996 19566772224 40596 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 40596 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 40596 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 40596 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 162384 KiB

[startup+0.700779 s]
/proc/loadavg: 4.36 4.20 4.12 8/337 208645
/proc/meminfo: memFree=102620928/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=170860 CPUtime=1.29 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 12240 0 0 0 124 5 0 0 20 0 20 0 20882996 19566772224 42715 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 42715 5854 1 0 553203 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=12316 CPUtime=0.64 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 6057 0 0 0 60 4 0 0 20 0 20 0 20882996 19566772224 42715 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 42715 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 42715 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=32140 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 42715 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 170860 KiB

[startup+1.50178 s]
/proc/loadavg: 4.36 4.20 4.12 7/337 208645
/proc/meminfo: memFree=102493368/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=194440 CPUtime=2.88 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 19853 0 0 0 281 7 0 0 20 0 20 0 20882996 19566772224 48610 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 48610 5854 1 0 554303 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=12316 CPUtime=1.41 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 7149 0 0 0 137 4 0 0 20 0 20 0 20882996 19566772224 48610 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 48610 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 48610 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 48610 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194440 KiB

[startup+3.10605 s]
/proc/loadavg: 4.41 4.21 4.12 5/337 208645
/proc/meminfo: memFree=101924232/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=414480 CPUtime=5.13 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 22116 0 0 0 500 13 0 0 20 0 20 0 20882996 19566772224 103620 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 103620 5870 1 0 554324 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=0 CPUtime=2.99 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 7754 0 0 0 288 11 0 0 20 0 20 0 20882996 19566772224 103620 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 103620 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=205036 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 103620 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 103620 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 414480 KiB

[startup+6.30028 s]
/proc/loadavg: 4.41 4.21 4.12 5/337 208645
/proc/meminfo: memFree=101546744/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=802960 CPUtime=8.39 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 22690 0 0 0 816 23 0 0 20 0 20 0 20882996 19566772224 200740 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 200740 5870 1 0 554325 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=12316 CPUtime=6.17 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 8244 0 0 0 597 20 0 0 20 0 20 0 20882996 19566772224 200740 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 200740 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=6154845556027052626 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 200740 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=5440 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 200740 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 802960 KiB

[startup+12.7003 s]
/proc/loadavg: 4.43 4.22 4.13 7/337 208714
/proc/meminfo: memFree=107603800/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=1150088 CPUtime=14.93 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 25131 0 0 0 1457 36 0 0 20 0 20 0 20882996 19566772224 287522 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 287522 5885 1 0 554325 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=0 CPUtime=12.5 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 9356 0 0 0 1219 31 0 0 20 0 20 0 20882996 19566772224 287522 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=1150088 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 287522 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=903312 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 287522 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=16084 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 287522 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1150088 KiB

[startup+25.5003 s]
/proc/loadavg: 4.36 4.21 4.12 5/337 208716
/proc/meminfo: memFree=106279648/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=1326540 CPUtime=27.87 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 31626 0 0 0 2738 49 0 0 20 0 20 0 20882996 19566772224 331635 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 331635 5885 1 0 554325 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=16084 CPUtime=25.18 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 10420 0 0 0 2476 42 0 0 20 0 20 0 20882996 19566772224 331635 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=1150088 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 331635 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 331635 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 331635 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 27.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326540 KiB

[startup+51.1061 s]
/proc/loadavg: 4.36 4.23 4.13 5/337 208721
/proc/meminfo: memFree=104064232/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=1361360 CPUtime=53.19 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 34718 0 0 0 5252 67 0 0 20 0 20 0 20882996 19566772224 340340 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 340340 5885 1 0 554325 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=1342928 CPUtime=50.25 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 12338 0 0 0 4967 58 0 0 20 0 20 0 20882996 19566772224 340340 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0

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

[startup+3282.3 s]
/proc/loadavg: 3.10 3.15 3.25 4/316 210715
/proc/meminfo: memFree=57904840/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2177508 CPUtime=3278.67 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 326508 0 0 0 325648 2219 0 0 20 0 20 0 20882996 19566772224 544377 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544377 5901 1 0 556923 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2177500 CPUtime=3186.18 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 116148 0 0 0 316534 2084 0 0 20 0 20 0 20882996 19566772224 544377 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3894 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544377 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3128 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544377 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=37140 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544377 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3278.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177508 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.14 3.24 4/316 210726
/proc/meminfo: memFree=56883792/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178840 CPUtime=3339.13 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 331665 0 0 0 331658 2255 0 0 20 0 20 0 20882996 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544710 5901 1 0 557256 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=11384 CPUtime=3244.42 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 118098 0 0 0 322325 2117 0 0 20 0 20 0 20882996 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3951 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=5440 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=2177508 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3222 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=2177508 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3339.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178840 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.14 3.23 4/316 210736
/proc/meminfo: memFree=55859264/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178840 CPUtime=3399.5 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 336112 0 0 0 337662 2288 0 0 20 0 20 0 20882996 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544710 5901 1 0 557256 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2177508 CPUtime=3302.72 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 119688 0 0 0 328124 2148 0 0 20 0 20 0 20882996 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3984 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3302 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=2178840 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544710 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3399.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178840 KiB

[startup+3462.3 s]
/proc/loadavg: 3.15 3.14 3.23 4/316 210750
/proc/meminfo: memFree=54843720/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178888 CPUtime=3459.65 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 338568 0 0 0 343640 2325 0 0 20 0 20 0 20882996 19566772224 544722 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544722 5901 1 0 557268 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2177508 CPUtime=3361.16 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 120867 0 0 0 333932 2184 0 0 20 0 20 0 20882996 19566772224 544722 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4033 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544722 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3312 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544722 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=16084 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544722 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3459.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178888 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.13 3.22 4/316 210763
/proc/meminfo: memFree=53817996/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178892 CPUtime=3520.48 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 343305 0 0 0 349685 2363 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544723 5901 1 0 557268 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2178888 CPUtime=3419.78 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 122980 0 0 0 339758 2220 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4065 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=-9032923860132668092 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3340 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3520.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178892 KiB

[startup+3582.3 s]
/proc/loadavg: 3.20 3.15 3.21 4/315 210774
/proc/meminfo: memFree=52815700/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178892 CPUtime=3580.18 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 347479 0 0 0 355621 2397 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544723 5901 1 0 557268 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2178892 CPUtime=3477.43 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 124553 0 0 0 345491 2252 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4199 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3370 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3580.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.5 s]
/proc/loadavg: 3.14 3.14 3.21 4/315 210777
/proc/meminfo: memFree=52498548/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19108176 memory=2178892 CPUtime=3600.1 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 351067 0 0 0 357601 2409 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4777044 544723 5901 1 0 557268 0
[pid=208625/tid=208627] ppid=208622 vsize=19108176 memory=2178892 CPUtime=3496.17 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) R 208622 208625 206418 0 -1 4194368 125457 0 0 0 347355 2262 0 0 20 0 20 0 20882996 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4199 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882999 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19108176 memory=2177508 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3370 0 0 0 0 0 0 0 20 0 20 0 20883000 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208645] ppid=208622 vsize=19108176 memory=2178892 CPUtime=0 cores=1,3
/proc/208625/task/208645/stat : 208645 (Timer-0) S 208622 208625 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20883020 19566772224 544723 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.13 s, system=24.1298 s

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

[startup+3601.6 s]
/proc/loadavg: 3.14 3.14 3.21 4/315 210777
/proc/meminfo: memFree=52498548/131524600 swapFree=131059368/131071996
[pid=208625] ppid=208622 vsize=19307868 memory=2179460 CPUtime=3600.23 cores=1,3
/proc/208625/stat : 208625 (java) S 208622 208625 206418 0 -1 1077936128 352558 0 0 0 357612 2411 0 0 20 0 15 0 20882996 19771256832 544865 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
/proc/208625/statm: 4826967 544865 5897 1 0 558171 0
[pid=208625/tid=208627] ppid=208622 vsize=19307868 memory=11384 CPUtime=3496.2 cores=1,3
/proc/208625/task/208627/stat : 208627 (java) D 208622 208625 206418 0 -1 4194368 125648 0 0 0 347356 2264 0 0 20 0 15 0 20882996 19771256832 544865 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4207 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208636] ppid=208622 vsize=19307868 memory=75604 CPUtime=0 cores=1,3
/proc/208625/task/208636/stat : 208636 (Finalizer) S 208622 208625 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20882999 19771256832 544865 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
[pid=208625/tid=208643] ppid=208622 vsize=19307868 memory=2178892 CPUtime=0 cores=1,3
/proc/208625/task/208643/stat : 208643 (Common-Cleaner) S 208622 208625 206418 0 -1 1077936192 3370 0 0 0 0 0 0 0 20 0 15 0 20883000 19771256832 544865 134679101440 93869406441472 93869406445168 140735625447280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93869406452984 93869406453776 93869425668096 140735625454507 140735625454689 140735625454689 140735625461704 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2179460 KiB

Child status: 143

Real time (s): 3601.68
CPU time (s): 3600.26
CPU user time (s): 3576.13
CPU system time (s): 24.1298
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2179460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.13
system time used= 24.1298
maximum resident set size= 2180384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50572992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142543
involuntary context switches= 15713


# summary of solver processes directly reported to runsolver:
#   pid: 208625
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3576.13
#   total CPU system time (s): 24.1298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.52687 second user time and 18.448 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 19:52:23
IDJOB=4453612
IDBENCH=175665
IDSOLVER=3079
FILE ID=nodeC021/4453612-1721843543
RUNJOBID= nodeC021-1721839920-206430
SLURM_JOB_ID= 7891546
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1500.shuf-2.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-4453612-1721843543/watcher-4453612-1721843543 -o /tmp/evaluation-result-4453612-1721843543/solver-4453612-1721843543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206430 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453612-1721843543 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453612-1721843543.opb

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

MD5SUM BENCH= 2ad33d7cf1ba27c2d511e3154b862a9b
RANDOM SEED=57026723

nodeC021.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		: 3600.181
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.35
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		: 3656.020
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.41
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		: 3600.222
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.35
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		: 3655.311
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.41
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		: 3600.181
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.35
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		: 3671.062
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.41
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		: 3600.182
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.35
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		: 3628.045
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102901616 kB
MemAvailable:   124718520 kB
Buffers:          272512 kB
Cached:         22341536 kB
SwapCached:          440 kB
Active:          2579004 kB
Inactive:       25363704 kB
Active(anon):       1704 kB
Inactive(anon):  5380480 kB
Active(file):    2577300 kB
Inactive(file): 19983224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:             67584 kB
Writeback:            16 kB
AnonPages:       5326768 kB
Mapped:           126584 kB
Shmem:             53464 kB
KReclaimable:     192056 kB
Slab:             314380 kB
SReclaimable:     192056 kB
SUnreclaim:       122324 kB
KernelStack:        5056 kB
PageTables:        20768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7785136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4970496 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-24 20:52:25