Trace number 4516722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.36 3576.18

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
MD5SUM4265bbe025469237f5d61ba95458ed2b
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.153389
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12001
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6000
Number of constraints which are nor clauses,nor cardinality constraints0
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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.20	c Free memory 		2104792832
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.31/0.30	c Pseudo Boolean Optimization by upper bound
0.31/0.30	c --- Begin Solver configuration ---
0.31/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.30	c Learn all clauses as in MiniSAT
0.31/0.30	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	c Expensive reason simplification
0.31/0.30	c Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	c timeout=2147483s
0.31/0.30	c DB Simplification allowed=false
0.31/0.30	c Listener: none
0.31/0.30	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4516722-1751240844.opb
0.31/0.30	c reading problem ... 
0.31/0.31	c  no objective function found
1.35/0.83	c ... done. Wall clock time 0.528s.
1.35/0.84	c declared #vars     12001
1.35/0.84	c #constraints  12000
1.35/0.84	c constraints type 
1.35/0.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12000
1.35/0.84	c 12000 constraints processed.
2.74/1.51	c cleaning 2479 clauses out of 5000 with flag 24855/5000
3.74/2.01	c cleaning 4256 clauses out of 8521 with flag 56902/11000
4.53/2.42	c cleaning 5613 clauses out of 11265 with flag 92927/18000
4.93/2.60	c cleaning 6783 clauses out of 13652 with flag 133598/26000
5.32/2.80	c cleaning 7913 clauses out of 15870 with flag 184537/35001
5.52/2.98	c cleaning 8910 clauses out of 17956 with flag 240926/45000
5.82/3.17	c cleaning 9963 clauses out of 20046 with flag 301511/56000
6.02/3.38	c cleaning 10982 clauses out of 22083 with flag 367678/68000
6.32/3.64	c cleaning 12023 clauses out of 24101 with flag 441664/81000
6.52/3.88	c cleaning 13008 clauses out of 26080 with flag 520433/95002
6.84/4.16	c cleaning 14006 clauses out of 28074 with flag 602503/110004
7.13/4.45	c cleaning 15029 clauses out of 30064 with flag 685070/126000
7.50/4.77	c cleaning 15920 clauses out of 32038 with flag 772792/143003
7.98/5.12	c cleaning 17023 clauses out of 34115 with flag 870358/161000
8.27/5.48	c cleaning 18020 clauses out of 36092 with flag 967583/180000
8.66/5.86	c cleaning 18880 clauses out of 38075 with flag 1075397/200003
9.06/6.26	c cleaning 20087 clauses out of 40192 with flag 1190108/221000
11.12/7.39	c cleaning 21033 clauses out of 42107 with flag 1311767/243002
11.64/7.89	c cleaning 22001 clauses out of 44073 with flag 1454011/266001
12.24/8.44	c cleaning 23036 clauses out of 46073 with flag 1601719/290002
12.74/8.92	c cleaning 23969 clauses out of 48035 with flag 1745896/315000
13.24/9.49	c cleaning 25003 clauses out of 50070 with flag 1886213/341004
13.74/9.99	c cleaning 25985 clauses out of 52064 with flag 2029528/368001
14.44/10.62	c cleaning 27034 clauses out of 54078 with flag 2179444/396000
15.04/11.23	c cleaning 28010 clauses out of 56045 with flag 2329598/425001
15.64/11.84	c cleaning 28999 clauses out of 58034 with flag 2495372/455000
16.44/12.61	c cleaning 29996 clauses out of 60035 with flag 2670160/486000
17.04/13.28	c cleaning 30995 clauses out of 62039 with flag 2837442/518000
17.73/13.95	c cleaning 31976 clauses out of 64045 with flag 3014053/551001
18.53/14.74	c cleaning 32971 clauses out of 66068 with flag 3197111/585000
19.43/15.69	c cleaning 33996 clauses out of 68098 with flag 3390853/620001
20.63/16.84	c cleaning 35007 clauses out of 70102 with flag 3601060/656001
21.43/17.63	c cleaning 36016 clauses out of 72094 with flag 3796098/693000
22.23/18.42	c cleaning 36998 clauses out of 74078 with flag 3989393/731000
23.23/19.48	c cleaning 38002 clauses out of 76080 with flag 4195494/770000
24.13/20.37	c cleaning 38960 clauses out of 78078 with flag 4415718/810000
25.42/21.61	c cleaning 40027 clauses out of 80119 with flag 4638952/851001
26.32/22.56	c cleaning 41014 clauses out of 82091 with flag 4854129/893000
27.22/23.40	c cleaning 41973 clauses out of 84078 with flag 5069067/936001
28.22/24.43	c cleaning 43038 clauses out of 86104 with flag 5295415/980000
29.21/25.47	c cleaning 44011 clauses out of 88066 with flag 5522885/1025000
30.42/26.63	c cleaning 44945 clauses out of 90055 with flag 5769752/1071000
31.41/27.63	c cleaning 45979 clauses out of 92110 with flag 6011038/1118000
32.51/28.77	c cleaning 47027 clauses out of 94131 with flag 6258427/1166000
33.71/29.96	c cleaning 48036 clauses out of 96104 with flag 6517121/1215000
35.60/31.84	c cleaning 48980 clauses out of 98068 with flag 6788682/1265000
36.91/33.14	c cleaning 49971 clauses out of 100089 with flag 7051468/1316001
38.91/35.17	c cleaning 51007 clauses out of 102117 with flag 7324084/1368000
40.60/36.88	c cleaning 52015 clauses out of 104110 with flag 7627434/1421000
41.80/38.10	c cleaning 53036 clauses out of 106096 with flag 7912325/1475001
43.39/39.64	c cleaning 54006 clauses out of 108059 with flag 8211656/1530000
44.59/40.87	c cleaning 55001 clauses out of 110055 with flag 8498058/1586002
46.49/42.73	c cleaning 55980 clauses out of 112053 with flag 8812505/1643001
47.79/44.06	c cleaning 57031 clauses out of 114073 with flag 9119668/1701001
49.47/45.77	c cleaning 57993 clauses out of 116041 with flag 9442672/1760000
51.18/47.49	c cleaning 59015 clauses out of 118050 with flag 9755114/1820002
52.67/48.96	c cleaning 59997 clauses out of 120034 with flag 10078610/1881001
54.17/50.48	c cleaning 60947 clauses out of 122036 with flag 10404392/1943000
55.57/51.88	c cleaning 61987 clauses out of 124089 with flag 10733188/2006000
57.78/54.02	c cleaning 62988 clauses out of 126102 with flag 11111183/2070000
59.36/55.67	c cleaning 64008 clauses out of 128115 with flag 11460405/2135001
61.05/57.32	c cleaning 65026 clauses out of 130107 with flag 11805748/2201001
63.16/59.40	c cleaning 65977 clauses out of 132080 with flag 12163184/2268000
64.86/61.12	c cleaning 67041 clauses out of 134105 with flag 12503176/2336002
66.44/62.79	c cleaning 68001 clauses out of 136063 with flag 12853997/2405001
68.34/64.69	c cleaning 69016 clauses out of 138061 with flag 13217605/2475000
70.76/67.04	c cleaning 69980 clauses out of 140045 with flag 13603751/2546000
72.76/69.01	c cleaning 71011 clauses out of 142067 with flag 13991654/2618002
74.44/70.71	c cleaning 71994 clauses out of 144054 with flag 14371358/2691000
76.14/72.41	c cleaning 72990 clauses out of 146061 with flag 14758161/2765001
78.13/74.42	c cleaning 73966 clauses out of 148070 with flag 15164842/2840000
80.04/76.35	c cleaning 75037 clauses out of 150108 with flag 15560372/2916004
82.84/79.16	c cleaning 76003 clauses out of 152067 with flag 15989691/2993000
85.13/81.46	c cleaning 77008 clauses out of 154065 with flag 16418510/3071001
87.27/83.54	c cleaning 77987 clauses out of 156056 with flag 16846295/3150000
89.46/85.76	c cleaning 79017 clauses out of 158069 with flag 17270000/3230000
91.66/87.94	c cleaning 79959 clauses out of 160052 with flag 17699194/3311000
94.27/90.56	c cleaning 80975 clauses out of 162095 with flag 18165029/3393002
96.37/92.60	c cleaning 81999 clauses out of 164118 with flag 18601888/3476000
98.97/95.24	c cleaning 83009 clauses out of 166120 with flag 19058954/3560001
101.36/97.68	c cleaning 84040 clauses out of 168110 with flag 19493491/3645000
103.90/100.19	c cleaning 85026 clauses out of 170072 with flag 19945845/3731002
106.59/102.83	c cleaning 86000 clauses out of 172044 with flag 20421232/3818000
109.08/105.33	c cleaning 86963 clauses out of 174046 with flag 20882147/3906002
112.01/108.23	c cleaning 88012 clauses out of 176081 with flag 21368370/3995000
114.61/110.87	c cleaning 89017 clauses out of 178069 with flag 21845276/4085000
118.21/114.40	c cleaning 89972 clauses out of 180054 with flag 22348967/4176002
120.30/116.58	c cleaning 91030 clauses out of 182081 with flag 22806597/4268001
123.26/119.40	c cleaning 92006 clauses out of 184051 with flag 23303281/4361001
125.87/122.03	c cleaning 92949 clauses out of 186044 with flag 23792432/4455000
128.76/125.01	c cleaning 94014 clauses out of 188095 with flag 24291582/4550000
132.41/128.56	c cleaning 94987 clauses out of 190082 with flag 24810254/4646001
135.52/131.60	c cleaning 96026 clauses out of 192095 with flag 25332598/4743001
138.41/134.54	c cleaning 96983 clauses out of 194069 with flag 25859659/4841001
141.45/137.59	c cleaning 97997 clauses out of 196087 with flag 26386325/4940002
144.36/140.47	c cleaning 99027 clauses out of 198089 with flag 26926929/5040001
147.55/143.67	c cleaning 99913 clauses out of 200063 with flag 27456409/5141002
151.67/147.74	c cleaning 101063 clauses out of 202148 with flag 28008406/5243000
154.65/150.72	c cleaning 101985 clauses out of 204086 with flag 28540935/5346001
157.43/153.51	c cleaning 103034 clauses out of 206101 with flag 29088112/5450001
161.59/157.62	c cleaning 103995 clauses out of 208068 with flag 29673319/5555002
164.48/160.53	c cleaning 104991 clauses out of 210074 with flag 30217097/5661003
167.38/163.49	c cleaning 105978 clauses out of 212082 with flag 30770852/5768002
171.59/167.66	c cleaning 106981 clauses out of 214102 with flag 31400035/5876000
175.18/171.23	c cleaning 108012 clauses out of 216122 with flag 31988219/5985001
178.99/175.08	c cleaning 109017 clauses out of 218111 with flag 32593247/6095002
182.40/178.43	c cleaning 110006 clauses out of 220093 with flag 33183158/6206001
185.91/181.94	c cleaning 111020 clauses out of 222086 with flag 33775422/6318000
190.16/186.16	c cleaning 112014 clauses out of 224066 with flag 34395427/6431000
194.72/190.79	c cleaning 112980 clauses out of 226052 with flag 35019725/6545000
198.14/194.19	c cleaning 113993 clauses out of 228073 with flag 35626578/6660001
201.70/197.68	c cleaning 115032 clauses out of 230081 with flag 36242188/6776002
204.80/200.74	c cleaning 115996 clauses out of 232047 with flag 36859965/6893000
207.69/203.66	c cleaning 116963 clauses out of 234051 with flag 37471428/7011000
211.85/207.72	c cleaning 118013 clauses out of 236088 with flag 38122124/7130000
215.35/211.27	c cleaning 118994 clauses out of 238078 with flag 38789297/7250003
219.64/215.50	c cleaning 120012 clauses out of 240081 with flag 39432248/7371000
223.24/219.05	c cleaning 121031 clauses out of 242070 with flag 40080602/7493001
226.82/222.64	c cleaning 121988 clauses out of 244039 with flag 40747483/7616001
230.62/226.44	c cleaning 122965 clauses out of 246051 with flag 41396943/7740001
234.72/230.58	c cleaning 124017 clauses out of 248085 with flag 42068985/7865000
238.48/234.21	c cleaning 125024 clauses out of 250069 with flag 42729599/7991001
242.47/238.24	c cleaning 125986 clauses out of 252046 with flag 43423068/8118002
245.78/241.58	c cleaning 127018 clauses out of 254058 with flag 44100728/8246000
249.77/245.53	c cleaning 127993 clauses out of 256040 with flag 44781311/8375000
255.98/250.94	c cleaning 128937 clauses out of 258047 with flag 45486035/8505000
259.97/254.91	c cleaning 130038 clauses out of 260111 with flag 46192699/8636001
263.86/258.83	c cleaning 131023 clauses out of 262073 with flag 46907001/8768001
267.64/262.58	c cleaning 131966 clauses out of 264051 with flag 47593424/8901002
271.25/266.18	c cleaning 132968 clauses out of 266084 with flag 48303622/9035001
275.63/270.52	c cleaning 133979 clauses out of 268115 with flag 49038041/9170000
279.92/274.84	c cleaning 135032 clauses out of 270137 with flag 49791280/9306001
286.41/281.25	c cleaning 136026 clauses out of 272104 with flag 50567480/9443000
291.37/286.21	c cleaning 137014 clauses out of 274078 with flag 51336726/9581000
295.33/290.24	c cleaning 137960 clauses out of 276065 with flag 52071918/9720001
299.95/294.86	c cleaning 138994 clauses out of 278104 with flag 52815797/9860000
306.23/301.02	c cleaning 140035 clauses out of 280110 with flag 53581807/10001000
310.90/305.76	c cleaning 141005 clauses out of 282075 with flag 54366941/10143000
315.00/309.83	c cleaning 142021 clauses out of 284071 with flag 55147464/10286001
319.83/314.68	c cleaning 143015 clauses out of 286053 with flag 55939943/10430004
325.22/319.94	c cleaning 143958 clauses out of 288035 with flag 56739445/10575001
330.43/325.15	c cleaning 145022 clauses out of 290076 with flag 57540076/10721000
335.31/330.10	c cleaning 145986 clauses out of 292054 with flag 58328942/10868000
340.92/335.54	c cleaning 147021 clauses out of 294068 with flag 59178579/11016000
345.31/339.90	c cleaning 147977 clauses out of 296048 with flag 59998583/11165001
350.19/344.89	c cleaning 149024 clauses out of 298071 with flag 60824180/11315001
355.08/349.77	c cleaning 149992 clauses out of 300047 with flag 61653181/11466001
360.45/355.01	c cleaning 150995 clauses out of 302055 with flag 62526771/11618001
365.12/359.76	c cleaning 151988 clauses out of 304060 with flag 63345266/11771001
370.59/365.11	c cleaning 153016 clauses out of 306071 with flag 64219326/11925000
374.98/369.53	c cleaning 153957 clauses out of 308055 with flag 65039212/12080000
378.91/373.49	c cleaning 155025 clauses out of 310099 with flag 65846036/12236001
384.35/378.88	c cleaning 156016 clauses out of 312073 with flag 66697609/12393000
389.14/383.69	c cleaning 156997 clauses out of 314059 with flag 67525611/12551002
394.16/388.61	c cleaning 158005 clauses out of 316060 with flag 68397947/12710000
399.65/394.16	c cleaning 158993 clauses out of 318055 with flag 69296541/12870000
404.82/399.37	c cleaning 160009 clauses out of 320062 with flag 70170171/13031000
410.32/404.80	c cleaning 160991 clauses out of 322055 with flag 71061051/13193002
415.37/409.82	c cleaning 161974 clauses out of 324063 with flag 71952083/13356001
421.81/415.41	c cleaning 162981 clauses out of 326088 with flag 72855023/13520000
426.90/420.59	c cleaning 164040 clauses out of 328107 with flag 73755753/13685000
431.97/425.57	c cleaning 165009 clauses out of 330067 with flag 74645824/13851000
438.02/431.56	c cleaning 165955 clauses out of 332059 with flag 75574350/14018001
444.80/438.25	c cleaning 167005 clauses out of 334106 with flag 76515313/14186003
449.90/443.36	c cleaning 168034 clauses out of 336099 with flag 77436099/14355001
456.07/449.47	c cleaning 168992 clauses out of 338065 with flag 78396060/14525001
461.68/455.07	c cleaning 170013 clauses out of 340072 with flag 79329656/14696000
467.09/460.36	c cleaning 170980 clauses out of 342059 with flag 80265772/14868000
472.18/465.48	c cleaning 172018 clauses out of 344079 with flag 81207767/15041000
478.73/471.91	c cleaning 173008 clauses out of 346063 with flag 82178166/15215002
484.62/477.89	c cleaning 173967 clauses out of 348054 with flag 83158822/15390001
492.51/485.69	c cleaning 174963 clauses out of 350087 with flag 84142519/15566001
498.19/491.37	c cleaning 176040 clauses out of 352123 with flag 85121560/15743000
505.56/498.63	c cleaning 176951 clauses out of 354085 with flag 86093769/15921002
512.24/505.35	c cleaning 177991 clauses out of 356133 with flag 87104310/16100001
519.04/512.06	c cleaning 179044 clauses out of 358144 with flag 88131436/16280003
524.82/517.83	c cleaning 179993 clauses out of 360097 with flag 89128906/16461000
530.33/523.36	c cleaning 181020 clauses out of 362104 with flag 90125440/16643000
537.89/530.84	c cleaning 182026 clauses out of 364085 with flag 91157685/16826001
544.09/537.10	c cleaning 182991 clauses out of 366058 with flag 92175971/17010000
550.47/543.42	c cleaning 184010 clauses out of 368067 with flag 93211168/17195000
556.59/549.56	c cleaning 185007 clauses out of 370058 with flag 94214598/17381001
563.27/556.27	c cleaning 186011 clauses out of 372050 with flag 95261375/17568000
571.81/563.95	c cleaning 186985 clauses out of 374039 with flag 96311466/17756000
578.48/570.60	c cleaning 188009 clauses out of 376054 with flag 97368052/17945000
585.00/577.16	c cleaning 189014 clauses out of 378046 with flag 98445876/18135001
591.73/583.83	c cleaning 189973 clauses out of 380032 with flag 99506659/18326001
598.42/590.57	c cleaning 190980 clauses out of 382058 with flag 100585315/18518000
605.21/597.33	c cleaning 192001 clauses out of 384079 with flag 101666039/18711001
613.19/605.25	c cleaning 193023 clauses out of 386077 with flag 102753019/18905000
620.58/612.66	c cleaning 194001 clauses out of 388054 with flag 103861011/19100000
627.46/619.50	c cleaning 194976 clauses out of 390053 with flag 104949450/19296000
634.25/626.25	c cleaning 196005 clauses out of 392078 with flag 106021882/19493001
641.05/633.05	c cleaning 197016 clauses out of 394072 with flag 107148342/19691000
648.27/640.18	c cleaning 198001 clauses out of 396057 with flag 108251835/19890001
654.95/646.83	c cleaning 198987 clauses out of 398057 with flag 109363037/20090002
662.47/654.26	c cleaning 199998 clauses out of 400068 with flag 110458271/20291000
669.46/661.21	c cleaning 201020 clauses out of 402071 with flag 111601117/20493001
676.33/667.93	c cleaning 202000 clauses out of 404052 with flag 112706138/20696002
682.92/674.56	c cleaning 203010 clauses out of 406051 with flag 113830175/20900001
690.66/682.15	c cleaning 204002 clauses out of 408041 with flag 114957077/21105001
697.64/689.14	c cleaning 204987 clauses out of 410040 with flag 116119225/21311002
706.82/698.23	c cleaning 206002 clauses out of 412051 with flag 117263879/21518000
713.91/705.34	c cleaning 207000 clauses out of 414051 with flag 118408032/21726002
721.87/713.28	c cleaning 208009 clauses out of 416050 with flag 119569212/21935001
729.15/720.58	c cleaning 208964 clauses out of 418041 with flag 120736944/22145001
738.54/729.97	c cleaning 210016 clauses out of 420077 with flag 121951052/22356001
747.23/738.58	c cleaning 210994 clauses out of 422063 with flag 123145680/22568003
754.32/745.69	c cleaning 211919 clauses out of 424066 with flag 124307972/22781000
761.41/752.74	c cleaning 213040 clauses out of 426147 with flag 125483383/22995000
769.02/760.23	c cleaning 214033 clauses out of 428108 with flag 126678722/23210001
779.20/770.45	c cleaning 215006 clauses out of 430076 with flag 127923552/23426002
787.48/778.73	c cleaning 216020 clauses out of 432068 with flag 129149285/23643000
794.95/786.01	c cleaning 217003 clauses out of 434048 with flag 130322420/23861000
802.22/793.30	c cleaning 218000 clauses out of 436045 with flag 131517008/24080000
810.32/801.48	c cleaning 218952 clauses out of 438045 with flag 132770546/24300000
817.46/808.42	c cleaning 220012 clauses out of 440093 with flag 133968086/24521000
825.07/816.05	c cleaning 221014 clauses out of 442081 with flag 135189955/24743000
833.63/824.66	c cleaning 222013 clauses out of 444069 with flag 136417638/24966002
842.28/833.29	c cleaning 222987 clauses out of 446055 with flag 137669583/25190001
850.20/841.03	c cleaning 224013 clauses out of 448070 with flag 138879603/25415003
857.86/848.74	c cleaning 224999 clauses out of 450055 with flag 140143812/25641001
866.16/857.07	c cleaning 226004 clauses out of 452056 with flag 141411642/25868001
874.48/865.19	c cleaning 227008 clauses out of 454052 with flag 142653094/26096001
882.54/873.26	c cleaning 227990 clauses out of 456044 with flag 143927458/26325001
890.23/881.01	c cleaning 228995 clauses out of 458054 with flag 145185278/26555001
898.33/889.03	c cleaning 230003 clauses out of 460058 with flag 146458727/26786000
907.91/897.52	c cleaning 230995 clauses out of 462058 with flag 147738504/27018003
915.80/905.48	c cleaning 231993 clauses out of 464061 with flag 149045799/27251001
926.12/915.66	c cleaning 233022 clauses out of 466067 with flag 150390576/27485000
935.38/924.93	c cleaning 233982 clauses out of 468048 with flag 151684659/27720003
943.63/933.12	c cleaning 234991 clauses out of 470066 with flag 152970358/27956003
953.56/942.91	c cleaning 236012 clauses out of 472073 with flag 154264012/28193001
962.76/952.19	c cleaning 237013 clauses out of 474060 with flag 155616871/28431000
970.63/960.11	c cleaning 238000 clauses out of 476051 with flag 156929391/28670004
979.24/968.40	c cleaning 239011 clauses out of 478047 with flag 158259898/28910000
987.62/976.81	c cleaning 239982 clauses out of 480037 with flag 159584704/29151001
995.84/984.85	c cleaning 241014 clauses out of 482054 with flag 160919288/29393000
1004.23/993.28	c cleaning 241986 clauses out of 484040 with flag 162240137/29636000
1012.97/1001.96	c cleaning 243003 clauses out of 486054 with flag 163607046/29880000
1021.38/1010.21	c cleaning 243990 clauses out of 488053 with flag 164923007/30125002
1029.66/1018.57	c cleaning 244977 clauses out of 490062 with flag 166295064/30371001
1038.53/1027.24	c cleaning 246030 clauses out of 492085 with flag 167647361/30618001
1047.52/1036.21	c cleaning 246996 clauses out of 494054 with flag 168997197/30866000
1059.73/1048.37	c cleaning 248014 clauses out of 496059 with flag 170432098/31115001
1069.09/1057.74	c cleaning 248991 clauses out of 498044 with flag 171811608/31365000
1079.94/1068.40	c cleaning 249969 clauses out of 500053 with flag 173202673/31616000
1089.64/1078.20	c cleaning 251010 clauses out of 502084 with flag 174621621/31868000
1100.59/1089.04	c cleaning 252028 clauses out of 504074 with flag 176051041/32121000
1111.54/1100.01	c cleaning 252995 clauses out of 506047 with flag 177477126/32375001
1120.52/1109.06	c cleaning 253977 clauses out of 508051 with flag 178890650/32630000
1129.09/1117.64	c cleaning 254997 clauses out of 510074 with flag 180286735/32886000
1138.07/1126.50	c cleaning 255969 clauses out of 512077 with flag 181681158/33143000
1148.08/1136.49	c cleaning 257035 clauses out of 514110 with flag 183101763/33401002
1157.68/1146.05	c cleaning 258016 clauses out of 516075 with flag 184519209/33660002
1167.15/1155.56	c cleaning 259018 clauses out of 518058 with flag 185937199/33920001
1176.03/1164.45	c cleaning 259984 clauses out of 520040 with flag 187356743/34181001
1186.46/1174.69	c cleaning 261008 clauses out of 522055 with flag 188804655/34443000
1195.96/1184.18	c cleaning 261997 clauses out of 524047 with flag 190238557/34706000
1204.53/1192.78	c cleaning 263001 clauses out of 526053 with flag 191616000/34970003
1213.31/1201.54	c cleaning 264002 clauses out of 528051 with flag 193061950/35235002
1224.97/1213.06	c cleaning 264988 clauses out of 530048 with flag 194515691/35501001
1236.46/1224.62	c cleaning 265995 clauses out of 532060 with flag 196032518/35768001
1246.94/1235.17	c cleaning 267018 clauses out of 534064 with flag 197500758/36036000
1257.72/1245.92	c cleaning 267995 clauses out of 536047 with flag 199019494/36305001
1268.24/1256.29	c cleaning 269002 clauses out of 538052 with flag 200459511/36575001
1278.57/1266.60	c cleaning 269995 clauses out of 540050 with flag 201927536/36846001
1288.46/1276.55	c cleaning 270992 clauses out of 542055 with flag 203410965/37118001
1299.53/1287.69	c cleaning 272000 clauses out of 544062 with flag 204914824/37391000
1309.71/1297.70	c cleaning 273000 clauses out of 546062 with flag 206411786/37665000
1320.90/1308.89	c cleaning 273986 clauses out of 548063 with flag 207980007/37940001
1331.67/1319.67	c cleaning 274995 clauses out of 550079 with flag 209499229/38216003
1341.95/1329.93	c cleaning 275979 clauses out of 552081 with flag 210996717/38493000
1352.04/1340.06	c cleaning 277029 clauses out of 554102 with flag 212511575/38771000
1362.15/1350.00	c cleaning 277991 clauses out of 556075 with flag 214012226/39050002
1373.43/1361.28	c cleaning 279000 clauses out of 558083 with flag 215548203/39330001
1383.40/1371.26	c cleaning 280012 clauses out of 560083 with flag 217075726/39611001
1394.66/1382.41	c cleaning 281009 clauses out of 562071 with flag 218695276/39893001
1407.29/1393.84	c cleaning 282023 clauses out of 564062 with flag 220288338/40176001
1416.98/1403.56	c cleaning 282987 clauses out of 566039 with flag 221778820/40460001
1428.16/1414.71	c cleaning 284001 clauses out of 568052 with flag 223338990/40745001
1441.27/1427.75	c cleaning 284995 clauses out of 570051 with flag 224898921/41031001
1451.25/1437.78	c cleaning 286000 clauses out of 572055 with flag 226421686/41318000
1462.43/1448.92	c cleaning 287013 clauses out of 574057 with flag 228019633/41606002
1472.47/1458.85	c cleaning 287991 clauses out of 576042 with flag 229563794/41895000
1484.67/1470.93	c cleaning 288970 clauses out of 578053 with flag 231114747/42185002
1495.65/1481.91	c cleaning 290031 clauses out of 580083 with flag 232701817/42476002
1506.14/1492.42	c cleaning 290989 clauses out of 582053 with flag 234319606/42768003
1517.39/1503.55	c cleaning 292020 clauses out of 584062 with flag 235935380/43061001
1527.91/1513.93	c cleaning 292988 clauses out of 586041 with flag 237528222/43355000
1538.99/1525.09	c cleaning 293962 clauses out of 588053 with flag 239186459/43650000
1549.57/1535.64	c cleaning 295011 clauses out of 590092 with flag 240775536/43946001
1561.64/1547.43	c cleaning 296018 clauses out of 592082 with flag 242412755/44243002
1573.24/1559.10	c cleaning 296992 clauses out of 594064 with flag 244050808/44541002
1585.57/1571.51	c cleaning 298001 clauses out of 596070 with flag 245682200/44840000
1596.92/1582.72	c cleaning 298997 clauses out of 598070 with flag 247338240/45140001
1608.54/1594.25	c cleaning 300015 clauses out of 600072 with flag 248938977/45441000
1620.13/1605.85	c cleaning 300975 clauses out of 602059 with flag 250619184/45743002
1630.42/1616.16	c cleaning 302027 clauses out of 604083 with flag 252256931/46046001
1645.97/1631.59	c cleaning 302997 clauses out of 606055 with flag 253941203/46350000
1656.70/1642.28	c cleaning 304011 clauses out of 608062 with flag 255561838/46655004
1669.64/1655.05	c cleaning 304965 clauses out of 610048 with flag 257204114/46961001
1682.12/1667.43	c cleaning 306004 clauses out of 612083 with flag 258864979/47268001
1694.59/1679.82	c cleaning 307021 clauses out of 614079 with flag 260559559/47576001
1706.80/1691.94	c cleaning 307998 clauses out of 616057 with flag 262243532/47885000
1717.89/1703.03	c cleaning 309010 clauses out of 618059 with flag 263917248/48195000
1729.35/1714.59	c cleaning 309977 clauses out of 620050 with flag 265599323/48506001
1741.03/1726.21	c cleaning 310984 clauses out of 622072 with flag 267284792/48818000
1754.33/1739.40	c cleaning 312037 clauses out of 624088 with flag 269005972/49131000
1767.53/1752.50	c cleaning 312972 clauses out of 626052 with flag 270695305/49445001
1779.12/1764.16	c cleaning 314011 clauses out of 628079 with flag 272400342/49760000
1791.57/1776.61	c cleaning 314973 clauses out of 630068 with flag 274144286/50076000
1803.18/1788.17	c cleaning 316035 clauses out of 632095 with flag 275875080/50393000
1814.68/1799.59	c cleaning 317015 clauses out of 634062 with flag 277584681/50711002
1826.96/1811.83	c cleaning 317960 clauses out of 636045 with flag 279301016/51030000
1838.72/1823.49	c cleaning 319027 clauses out of 638085 with flag 281011126/51350000
1852.49/1837.28	c cleaning 319998 clauses out of 640059 with flag 282786231/51671001
1864.57/1849.30	c cleaning 320997 clauses out of 642061 with flag 284491751/51993001
1877.27/1861.92	c cleaning 321979 clauses out of 644063 with flag 286234748/52316000
1888.75/1873.45	c cleaning 323010 clauses out of 646084 with flag 287959955/52640000
1901.82/1886.51	c cleaning 324005 clauses out of 648075 with flag 289703834/52965001
1914.46/1898.97	c cleaning 324975 clauses out of 650069 with flag 291488189/53291000
1929.13/1913.68	c cleaning 326017 clauses out of 652094 with flag 293301400/53618000
1941.71/1926.28	c cleaning 327013 clauses out of 654078 with flag 295055663/53946001
1955.97/1940.46	c cleaning 327983 clauses out of 656066 with flag 296892202/54275002
1969.72/1954.16	c cleaning 329014 clauses out of 658081 with flag 298636669/54605000
1984.59/1969.02	c cleaning 330019 clauses out of 660070 with flag 300407771/54936003
1997.96/1982.48	c cleaning 330993 clauses out of 662049 with flag 302202398/55268001
2011.45/1995.72	c cleaning 332017 clauses out of 664055 with flag 304007929/55601000
2025.84/2010.17	c cleaning 332982 clauses out of 666038 with flag 305806455/55935000
2040.21/2024.30	c cleaning 334015 clauses out of 668058 with flag 307627226/56270002
2052.78/2036.99	c cleaning 334983 clauses out of 670041 with flag 309424525/56606000
2066.46/2050.61	c cleaning 335981 clauses out of 672058 with flag 311253134/56943000
2079.74/2063.72	c cleaning 337008 clauses out of 674078 with flag 313033435/57281001
2091.72/2075.73	c cleaning 338011 clauses out of 676071 with flag 314847593/57620002
2105.44/2089.43	c cleaning 339011 clauses out of 678058 with flag 316714008/57960000
2118.69/2102.50	c cleaning 340005 clauses out of 680048 with flag 318532907/58301001
2131.97/2115.80	c cleaning 340998 clauses out of 682042 with flag 320331788/58643000
2145.25/2129.16	c cleaning 341981 clauses out of 684045 with flag 322189703/58986001
2159.61/2143.39	c cleaning 343004 clauses out of 686063 with flag 324056131/59330000
2173.68/2157.43	c cleaning 344008 clauses out of 688059 with flag 325887997/59675000
2190.62/2172.86	c cleaning 344982 clauses out of 690052 with flag 327762419/60021001
2204.60/2186.81	c cleaning 346017 clauses out of 692070 with flag 329630110/60368001
2219.12/2201.28	c cleaning 346990 clauses out of 694054 with flag 331499758/60716002
2231.11/2213.23	c cleaning 347993 clauses out of 696062 with flag 333330693/61065000
2244.57/2226.74	c cleaning 348974 clauses out of 698070 with flag 335189147/61415001
2259.35/2241.33	c cleaning 350034 clauses out of 700096 with flag 337074201/61766001
2272.82/2254.69	c cleaning 351015 clauses out of 702061 with flag 338975986/62118000
2288.30/2270.12	c cleaning 351998 clauses out of 704046 with flag 340929628/62471000
2302.61/2284.33	c cleaning 352999 clauses out of 706049 with flag 342889306/62825001
2317.93/2299.54	c cleaning 353981 clauses out of 708049 with flag 344803920/63180000
2332.17/2313.85	c cleaning 354993 clauses out of 710068 with flag 346733524/63536000
2346.77/2328.35	c cleaning 355999 clauses out of 712078 with flag 348622153/63893003
2361.46/2343.03	c cleaning 357028 clauses out of 714076 with flag 350533561/64251000
2375.01/2356.47	c cleaning 357996 clauses out of 716050 with flag 352412113/64610002
2390.15/2371.42	c cleaning 359001 clauses out of 718052 with flag 354344215/64970000
2403.13/2384.49	c cleaning 359984 clauses out of 720051 with flag 356261036/65331000
2417.85/2398.86	c cleaning 361001 clauses out of 722067 with flag 358202264/65693000
2432.31/2413.39	c cleaning 361992 clauses out of 724067 with flag 360076973/66056001
2448.33/2429.27	c cleaning 363024 clauses out of 726075 with flag 362105735/66420001
2463.69/2444.66	c cleaning 364003 clauses out of 728050 with flag 364076102/66785000
2478.28/2459.24	c cleaning 364984 clauses out of 730047 with flag 366022395/67151000
2493.96/2474.87	c cleaning 366016 clauses out of 732063 with flag 367990052/67518000
2509.23/2489.98	c cleaning 366971 clauses out of 734047 with flag 369962506/67886000
2523.71/2504.49	c cleaning 368015 clauses out of 736078 with flag 371884925/68255002
2538.28/2519.07	c cleaning 368972 clauses out of 738062 with flag 373855988/68625001
2553.85/2534.68	c cleaning 370037 clauses out of 740090 with flag 375878643/68996001
2567.86/2548.51	c cleaning 370972 clauses out of 742052 with flag 377829001/69368000
2583.01/2563.56	c cleaning 372024 clauses out of 744082 with flag 379845524/69741002
2596.98/2577.56	c cleaning 373000 clauses out of 746056 with flag 381796360/70115000
2614.38/2594.81	c cleaning 374014 clauses out of 748058 with flag 383782754/70490002
2628.35/2608.81	c cleaning 375007 clauses out of 750042 with flag 385748175/70866000
2643.42/2623.85	c cleaning 375999 clauses out of 752035 with flag 387789376/71243000
2658.54/2638.94	c cleaning 376967 clauses out of 754036 with flag 389791933/71621000
2675.56/2655.90	c cleaning 378010 clauses out of 756069 with flag 391790016/72000000
2692.48/2672.73	c cleaning 378989 clauses out of 758060 with flag 393803333/72380001
2708.90/2689.24	c cleaning 379969 clauses out of 760070 with flag 395840846/72761000
2725.43/2705.67	c cleaning 381023 clauses out of 762101 with flag 397855185/73143000
2742.00/2722.20	c cleaning 382002 clauses out of 764078 with flag 399858771/73526000
2760.94/2741.16	c cleaning 383030 clauses out of 766076 with flag 401870654/73910000
2777.49/2757.82	c cleaning 383999 clauses out of 768046 with flag 403926798/74295000
2795.49/2775.72	c cleaning 385010 clauses out of 770047 with flag 405967914/74681000
2811.96/2792.21	c cleaning 385987 clauses out of 772039 with flag 408101496/75068002
2829.08/2809.14	c cleaning 386996 clauses out of 774053 with flag 410165683/75456003
2845.13/2825.22	c cleaning 388001 clauses out of 776054 with flag 412210415/75845000
2859.92/2839.80	c cleaning 389008 clauses out of 778053 with flag 414270759/76235000
2875.99/2855.96	c cleaning 389980 clauses out of 780045 with flag 416405642/76626000
2891.32/2871.23	c cleaning 391010 clauses out of 782067 with flag 418476569/77018002
2907.64/2887.44	c cleaning 392011 clauses out of 784056 with flag 420578646/77411001
2924.11/2903.95	c cleaning 393007 clauses out of 786044 with flag 422751668/77805000
2941.97/2921.66	c cleaning 393969 clauses out of 788039 with flag 424879912/78200002
2958.59/2938.36	c cleaning 394973 clauses out of 790068 with flag 426977854/78596000
2975.01/2954.55	c cleaning 396031 clauses out of 792096 with flag 429039217/78993001
2989.89/2969.40	c cleaning 396993 clauses out of 794066 with flag 431103199/79391002
3005.45/2984.92	c cleaning 397993 clauses out of 796073 with flag 433170687/79790002
3020.43/3000.01	c cleaning 399016 clauses out of 798078 with flag 435290141/80190000
3038.50/3018.01	c cleaning 399998 clauses out of 800062 with flag 437446856/80591000
3059.34/3038.84	c cleaning 401009 clauses out of 802065 with flag 439554988/80993001
3076.11/3055.67	c cleaning 401993 clauses out of 804055 with flag 441680521/81396000
3092.91/3072.36	c cleaning 403012 clauses out of 806062 with flag 443798660/81800000
3111.97/3091.37	c cleaning 404007 clauses out of 808050 with flag 445973733/82205000
3128.83/3108.27	c cleaning 405004 clauses out of 810045 with flag 448177753/82611002
3151.36/3130.72	c cleaning 405952 clauses out of 812040 with flag 450407594/83018001
3168.41/3147.67	c cleaning 406985 clauses out of 814087 with flag 452563776/83426000
3184.46/3163.78	c cleaning 408032 clauses out of 816102 with flag 454649766/83835000
3203.27/3182.42	c cleaning 409002 clauses out of 818070 with flag 456832898/84245000
3221.93/3200.91	c cleaning 410018 clauses out of 820068 with flag 459015558/84656000
3238.01/3217.03	c cleaning 411023 clauses out of 822050 with flag 461177894/85068000
3256.19/3235.17	c cleaning 411989 clauses out of 824028 with flag 463343215/85481001
3274.60/3251.93	c cleaning 412986 clauses out of 826039 with flag 465496423/85895001
3292.48/3269.80	c cleaning 414007 clauses out of 828052 with flag 467600361/86310000
3310.28/3287.43	c cleaning 415010 clauses out of 830047 with flag 469795852/86726002
3328.34/3305.59	c cleaning 416004 clauses out of 832036 with flag 471922740/87143001
3345.71/3322.90	c cleaning 416925 clauses out of 834032 with flag 474048179/87561001
3367.19/3344.21	c cleaning 418008 clauses out of 836106 with flag 476200772/87980000
3389.52/3366.64	c cleaning 419021 clauses out of 838098 with flag 478431278/88400000
3405.87/3382.78	c cleaning 420014 clauses out of 840077 with flag 480617627/88821000
3424.73/3401.66	c cleaning 421029 clauses out of 842063 with flag 482870365/89243000
3442.46/3419.46	c cleaning 422000 clauses out of 844035 with flag 485115923/89666001
3462.03/3438.65	c cleaning 422997 clauses out of 846036 with flag 487381976/90090002
3479.30/3455.98	c cleaning 424003 clauses out of 848038 with flag 489650681/90515001
3498.96/3475.30	c cleaning 424996 clauses out of 850035 with flag 491904301/90941001
3516.53/3492.94	c cleaning 426000 clauses out of 852038 with flag 494141061/91368000
3538.08/3514.25	c cleaning 426962 clauses out of 854038 with flag 496402808/91796000
3555.24/3531.41	c cleaning 428013 clauses out of 856076 with flag 498732382/92225000
3575.52/3551.41	c cleaning 429010 clauses out of 858064 with flag 501085172/92655001
3592.48/3568.42	c cleaning 430000 clauses out of 860055 with flag 503362673/93086002
3600.07/3576.03	c starts		: 42431
3600.07/3576.04	c conflicts		: 93305594
3600.07/3576.04	c decisions		: 189847318
3600.07/3576.04	c propagations		: 2016936412
3600.07/3576.04	c inspects		: 52956996931
3600.07/3576.04	c shortcuts		: 0
3600.07/3576.04	c learnt literals	: 0
3600.07/3576.04	c learnt binary clauses	: 0
3600.07/3576.04	c learnt ternary clauses	: 0
3600.07/3576.04	c learnt constraints	: 93305594
3600.07/3576.04	c ignored constraints	: 0
3600.07/3576.04	c root simplifications	: 0
3600.07/3576.04	c removed literals (reason simplification)	: 140888201
3600.07/3576.04	c reason swapping (by a shorter reason)	: 0
3600.07/3576.04	c Calls to reduceDB	: 427
3600.07/3576.04	c Number of update (reduction) of LBD	: 35118362
3600.07/3576.04	c Imported unit clauses	: 0
3600.07/3576.05	c No decision after first conflict	: false
3600.07/3576.05	c number of reductions to clauses (during analyze)	: 0
3600.07/3576.05	c number of learned constraints concerned by reduction	: 0
3600.07/3576.05	c number of learning phase by resolution	: 0
3600.07/3576.05	c timeout
3600.07/3576.05	c number of learning phase by cutting planes	: 0
3600.07/3576.05	c number of rounding to 1 operations	: 0
3600.07/3576.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3576.05	c number of reductions of the coefficients by power 2 	: 0
3600.07/3576.05	c number of right shift for reduction by power 2 	: 0
3600.07/3576.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3576.06	c number of ending skipping 	: 0
3600.07/3576.06	c number of internal skipping 	: 0
3600.07/3576.06	c number of derivation steps 	: 0
3600.07/3576.06	c number of skipped derivation steps 	: 0
3600.07/3576.06	c number of remaining unassigned 	: 0
3600.07/3576.06	c number of remaining assigned 	: 0
3600.07/3576.06	c number of falsified literals weakened from reason	: 0
3600.07/3576.06	c number of falsified literals weakened from conflict	: 0
3600.07/3576.06	c time for arithmetic operations	: 0
3600.07/3576.06	c minimum degree of deleted constraints	: null
3600.07/3576.06	c maximum degree of deleted constraints	: null
3600.07/3576.06	c number of deleted constraints	: 0
3600.07/3576.06	c speed (assignments/second)	: 564143.9320029895
3600.07/3576.06	c non guided choices	: 67567278
3600.27/3576.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 649647
3600.27/3576.13	s UNKNOWN
3600.27/3576.13	c Total wall clock time (in seconds): 3575.831

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61934 MiB free)
  memory of node 1: 64465 MiB (62648 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516722-1751240844/watcher-4516722-1751240844 -o /tmp/evaluation-result-4516722-1751240844/solver-4516722-1751240844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34859 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516722-1751240844.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100073 s]*
/proc/loadavg: 4.41 4.23 4.13 7/324 35510
/proc/meminfo: memFree=127544632/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=18930384 memory=48424 CPUtime=0.12 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 5793 0 0 0 9 3 0 0 20 0 18 0 39763813 19384713216 12106 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4732596 12106 5304 1 0 547003 0
[pid=35492/tid=35494] ppid=35489 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 4690 0 0 0 6 2 0 0 20 0 18 0 39763815 19384713216 12106 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39763819 19384713216 12106 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39763820 19384713216 12106 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48424 KiB

[startup+0.214515 s]*
/proc/loadavg: 4.41 4.23 4.13 7/324 35510
/proc/meminfo: memFree=127540536/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=18930384 memory=55640 CPUtime=0.31 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 6534 0 0 0 27 4 0 0 20 0 18 0 39763813 19384713216 13910 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4732596 13910 5368 1 0 547603 0
[pid=35492/tid=35494] ppid=35489 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 5051 0 0 0 17 2 0 0 20 0 18 0 39763815 19384713216 13910 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39763819 19384713216 13910 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39763820 19384713216 13910 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55640 KiB

[startup+0.314431 s]*
/proc/loadavg: 4.41 4.23 4.13 7/324 35510
/proc/meminfo: memFree=127540536/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=18930384 memory=65304 CPUtime=0.49 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 6832 0 0 0 44 5 0 0 20 0 18 0 39763813 19384713216 16326 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4732596 16326 5432 1 0 547800 0
[pid=35492/tid=35494] ppid=35489 vsize=18930384 memory=-6000919468361279340 CPUtime=0.29 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 5248 0 0 0 26 3 0 0 20 0 18 0 39763815 19384713216 16326 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39763819 19384713216 16326 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39763820 19384713216 16326 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65304 KiB

[startup+0.700338 s]
/proc/loadavg: 4.41 4.23 4.13 6/325 35511
/proc/meminfo: memFree=127436624/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=18996948 memory=505328 CPUtime=1.18 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 8894 0 0 0 103 15 0 0 20 0 19 0 39763813 19452874752 126332 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4749237 126332 5464 1 0 549308 0
[pid=35492/tid=35494] ppid=35489 vsize=18996948 memory=17408 CPUtime=0.62 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 5474 0 0 0 50 12 0 0 20 0 19 0 39763815 19452874752 126332 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39763819 19452874752 126332 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39763820 19452874752 126332 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 505328 KiB

[startup+1.50029 s]
/proc/loadavg: 4.41 4.23 4.13 6/326 35512
/proc/meminfo: memFree=126947312/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=654980 CPUtime=2.74 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 16083 0 0 0 254 20 0 0 20 0 20 0 39763813 19521036288 163745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 163745 5464 1 0 554614 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=3200 CPUtime=1.36 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 5600 0 0 0 121 15 0 0 20 0 20 0 39763815 19521036288 163745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 163745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 163745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 163745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 654980 KiB

[startup+3.10564 s]
/proc/loadavg: 4.46 4.24 4.13 6/326 35512
/proc/meminfo: memFree=126890476/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=656388 CPUtime=5.82 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 16409 0 0 0 562 20 0 0 20 0 20 0 39763813 19521036288 164097 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 164097 5528 1 0 554706 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=14720 CPUtime=2.94 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 5666 0 0 0 279 15 0 0 20 0 20 0 39763815 19521036288 164097 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 164097 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 164097 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 164097 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 656388 KiB

[startup+6.30043 s]
/proc/loadavg: 4.46 4.24 4.13 5/326 35512
/proc/meminfo: memFree=126816812/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=646196 CPUtime=9.16 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 19653 0 0 0 896 20 0 0 20 0 20 0 39763813 19521036288 161549 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 161549 5528 1 0 554708 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=0 CPUtime=6.13 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 6383 0 0 0 598 15 0 0 20 0 20 0 39763815 19521036288 161549 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 161549 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 161549 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=655492 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 161549 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 646196 KiB

[startup+12.7004 s]
/proc/loadavg: 4.46 4.25 4.14 5/326 35512
/proc/meminfo: memFree=126693940/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=650136 CPUtime=16.54 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 24397 0 0 0 1633 21 0 0 20 0 20 0 39763813 19521036288 162534 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 162534 5528 1 0 554708 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=655492 CPUtime=12.51 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 7212 0 0 0 1236 15 0 0 20 0 20 0 39763815 19521036288 162534 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=650136 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 162534 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 162534 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 162534 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 16.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 650136 KiB

[startup+25.5004 s]
/proc/loadavg: 4.39 4.24 4.14 5/326 35512
/proc/meminfo: memFree=126357832/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=658380 CPUtime=29.31 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 25547 0 0 0 2909 22 0 0 20 0 20 0 39763813 19521036288 164595 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 164595 5528 1 0 554708 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=0 CPUtime=25.27 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 8245 0 0 0 2512 15 0 0 20 0 20 0 39763815 19521036288 164595 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 164595 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=650136 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 164595 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=650136 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 164595 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 29.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 658380 KiB

[startup+51.113 s]
/proc/loadavg: 4.31 4.24 4.14 5/326 35513
/proc/meminfo: memFree=125390224/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=916428 CPUtime=54.88 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 26412 0 0 0 5459 29 0 0 20 0 20 0 39763813 19521036288 229107 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 229107 5528 1 0 554708 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=660428 CPUtime=50.82 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 8955 0 0 0 5061 21 0 0 20 0 20 0 39763815 19521036288 229107 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 229107 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 229107 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0

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

[startup+3222.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/326 35674
/proc/meminfo: memFree=113458484/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4021400 CPUtime=3243.42 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 127230 0 0 0 324063 279 0 0 20 0 20 0 39763813 19521036288 1005350 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1005350 5528 1 0 1022886 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=3624400 CPUtime=3192.84 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 66014 0 0 0 319215 69 0 0 20 0 20 0 39763815 19521036288 1005350 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=3908520 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1005350 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=4013188 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 743 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1005350 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=4021400 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1005350 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3243.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4021400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/326 35676
/proc/meminfo: memFree=113031620/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4270712 CPUtime=3304.95 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 135805 0 0 0 330206 289 0 0 20 0 20 0 39763813 19521036288 1067678 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1067678 5528 1 0 1451640 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=3624400 CPUtime=3252.53 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 70594 0 0 0 325178 75 0 0 20 0 20 0 39763815 19521036288 1067678 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=4145784 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1067678 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=4174456 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 765 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1067678 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=4115064 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1067678 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3304.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/326 35678
/proc/meminfo: memFree=112607732/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4422640 CPUtime=3365.31 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 137909 0 0 0 336235 296 0 0 20 0 20 0 39763813 19521036288 1105660 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1105660 5528 1 0 1451660 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=3624400 CPUtime=3311.86 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 71256 0 0 0 331109 77 0 0 20 0 20 0 39763815 19521036288 1105660 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=-6000919468361279340 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1105660 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=7024 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 805 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1105660 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1105660 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3365.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4422640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/326 35680
/proc/meminfo: memFree=112135820/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4430980 CPUtime=3425.43 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 139496 0 0 0 342244 299 0 0 20 0 20 0 39763813 19521036288 1107745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1107745 5528 1 0 1451696 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=-6000919468361279340 CPUtime=3371.39 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 72598 0 0 0 337061 78 0 0 20 0 20 0 39763815 19521036288 1107745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=4422640 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1107745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 805 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1107745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=4430980 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1107745 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3425.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4430980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/326 35682
/proc/meminfo: memFree=111886380/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4447484 CPUtime=3485.7 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 142151 0 0 0 348266 304 0 0 20 0 20 0 39763813 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1111871 5528 1 0 1451741 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=-6000919468361279340 CPUtime=3430.95 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 74258 0 0 0 343016 79 0 0 20 0 20 0 39763815 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=4447484 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 813 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3485.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/326 35684
/proc/meminfo: memFree=111888512/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4447484 CPUtime=3546.16 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 143927 0 0 0 354309 307 0 0 20 0 20 0 39763813 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1111871 5528 1 0 1451741 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=14720 CPUtime=3490.44 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 75105 0 0 0 348964 80 0 0 20 0 20 0 39763815 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=4235896 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 828 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=4447484 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3546.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576 s]*
/proc/loadavg: 3.89 4.11 4.16 2/251 35790
/proc/meminfo: memFree=125415988/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19063512 memory=4447484 CPUtime=3600.07 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 144577 0 0 0 359694 313 0 0 20 0 20 0 39763813 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4765878 1111871 5528 1 0 1451750 0
[pid=35492/tid=35494] ppid=35489 vsize=19063512 memory=-6000919468361279340 CPUtime=3543.76 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) R 35489 35492 32092 0 -1 4194368 75140 0 0 0 354293 83 0 0 20 0 20 0 39763815 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19063512 memory=8113688112073186182 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39763819 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19063512 memory=5044 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 828 0 0 0 0 0 0 0 20 0 20 0 39763820 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35512] ppid=35489 vsize=19063512 memory=5092 CPUtime=0 cores=5,7
/proc/35492/task/35512/stat : 35512 (Timer-0) S 35489 35492 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39763897 19521036288 1111871 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447484 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.18 s, system=3.17699 s

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

[startup+3576.12 s]
/proc/loadavg: 3.89 4.11 4.16 2/251 35790
/proc/meminfo: memFree=125415988/131382112 swapFree=33010684/33010684
[pid=35492] ppid=35489 vsize=19263204 memory=4448380 CPUtime=3600.27 cores=5,7
/proc/35492/stat : 35492 (java) S 35489 35492 32092 0 -1 4194304 146768 0 0 0 359713 314 0 0 20 0 21 0 39763813 19725520896 1112095 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
/proc/35492/statm: 4815801 1112095 5560 1 0 1452688 0
[pid=35492/tid=35494] ppid=35489 vsize=19263204 memory=4447484 CPUtime=3543.78 cores=5,7
/proc/35492/task/35494/stat : 35494 (java) S 35489 35492 32092 0 -1 4194368 75228 0 0 0 354295 83 0 0 20 0 21 0 39763815 19725520896 1112095 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35503] ppid=35489 vsize=19263204 memory=4447484 CPUtime=0 cores=5,7
/proc/35492/task/35503/stat : 35503 (Finalizer) S 35489 35492 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39763819 19725520896 1112095 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
[pid=35492/tid=35510] ppid=35489 vsize=19263204 memory=17408 CPUtime=0 cores=5,7
/proc/35492/task/35510/stat : 35510 (Common-Cleaner) S 35489 35492 32092 0 -1 4194368 828 0 0 0 0 0 0 0 20 0 21 0 39763820 19725520896 1112095 18446744073709551615 94360697180160 94360697183856 140729652288672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94360697191672 94360697192464 94360702566400 140729652296065 140729652296166 140729652296166 140729652301768 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4448380 KiB

Child status: 143

Real time (s): 3576.18
CPU time (s): 3600.36
CPU user time (s): 3597.18
CPU system time (s): 3.17699
CPU usage (%): 100.676
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4448380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.18
system time used= 3.17699
maximum resident set size= 4448508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114417
involuntary context switches= 9748


# summary of solver processes directly reported to runsolver:
#   pid: 35492
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3597.18
#   total CPU system time (s): 3.17699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7832 second user time and 34.8481 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 01:47:24
IDJOB=4516722
IDBENCH=175738
IDSOLVER=3363
FILE ID=nodeC005/4516722-1751240844
RUNJOBID= nodeC005-1751237252-34859
SLURM_JOB_ID= 9587711
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516722-1751240844/watcher-4516722-1751240844 -o /tmp/evaluation-result-4516722-1751240844/solver-4516722-1751240844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34859 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516722-1751240844.opb

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

MD5SUM BENCH= 4265bbe025469237f5d61ba95458ed2b
RANDOM SEED=1444319814

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.734
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.957
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.602
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.725
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.729
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.242
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.240
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.285
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127572668 kB
MemAvailable:   127661076 kB
Buffers:            3280 kB
Cached:           891540 kB
SwapCached:            0 kB
Active:          2628940 kB
Inactive:         643652 kB
Active(anon):    2395732 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   643652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3772 kB
Writeback:             0 kB
AnonPages:       2380924 kB
Mapped:           122520 kB
Shmem:             17960 kB
KReclaimable:     102352 kB
Slab:             184680 kB
SReclaimable:     102352 kB
SUnreclaim:        82328 kB
KernelStack:        4960 kB
PageTables:         8328 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8954900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150248 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2197504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC005 at 2025-06-30 02:47:01