Trace number 4516758

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.21 3589.22

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
MD5SUMfa288505787d5078657a2c980732ee18
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.870433
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14001
Total number of constraints14000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1692
Number of constraints which are nor clauses,nor cardinality constraints12308
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4516758-1751241712.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.87/0.58	c ... done. Wall clock time 0.431s.
0.87/0.58	c declared #vars     14001
0.87/0.58	c #constraints  14000
0.87/0.58	c constraints type 
0.87/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14000
0.87/0.58	c 14000 constraints processed.
2.05/1.16	c cleaning 2481 clauses out of 5001 with flag 21879/5001
2.44/1.37	c cleaning 4225 clauses out of 8519 with flag 49101/11000
2.83/1.52	c cleaning 5586 clauses out of 11294 with flag 82261/18000
3.18/1.71	c cleaning 6839 clauses out of 13708 with flag 126220/26000
3.52/1.91	c cleaning 7925 clauses out of 15869 with flag 172595/35000
3.70/2.09	c cleaning 8946 clauses out of 17944 with flag 220278/45000
3.90/2.29	c cleaning 9996 clauses out of 20000 with flag 273483/56002
4.19/2.53	c cleaning 10983 clauses out of 22002 with flag 334321/68000
4.49/2.82	c cleaning 12001 clauses out of 24020 with flag 400800/81001
4.81/3.11	c cleaning 12923 clauses out of 26020 with flag 467086/95002
5.20/3.54	c cleaning 14028 clauses out of 28095 with flag 548066/110000
5.60/3.99	c cleaning 15001 clauses out of 30068 with flag 638394/126001
6.02/4.38	c cleaning 15938 clauses out of 32066 with flag 727930/143000
6.54/4.86	c cleaning 17050 clauses out of 34130 with flag 825916/161002
7.14/5.46	c cleaning 18027 clauses out of 36079 with flag 927043/180001
7.65/5.93	c cleaning 19008 clauses out of 38051 with flag 1031518/200000
8.05/6.33	c cleaning 19903 clauses out of 40044 with flag 1132137/221001
8.45/6.79	c cleaning 21026 clauses out of 42140 with flag 1245234/243000
9.04/7.38	c cleaning 22007 clauses out of 44114 with flag 1361381/266000
9.64/7.93	c cleaning 23008 clauses out of 46107 with flag 1488696/290000
10.24/8.52	c cleaning 24029 clauses out of 48099 with flag 1619922/315000
10.84/9.11	c cleaning 25001 clauses out of 50070 with flag 1760394/341000
11.53/9.84	c cleaning 26012 clauses out of 52071 with flag 1908205/368002
12.14/10.46	c cleaning 26996 clauses out of 54058 with flag 2050594/396001
13.24/11.59	c cleaning 27973 clauses out of 56061 with flag 2211631/425000
13.84/12.18	c cleaning 28987 clauses out of 58089 with flag 2361819/455001
14.53/12.87	c cleaning 30027 clauses out of 60102 with flag 2521298/486001
16.01/14.29	c cleaning 31008 clauses out of 62074 with flag 2721740/518000
16.81/15.04	c cleaning 32024 clauses out of 64066 with flag 2895428/551000
17.61/15.80	c cleaning 33006 clauses out of 66042 with flag 3068392/585000
18.31/16.52	c cleaning 33961 clauses out of 68036 with flag 3247185/620000
19.01/17.28	c cleaning 35019 clauses out of 70077 with flag 3432033/656002
19.81/18.05	c cleaning 35956 clauses out of 72058 with flag 3628876/693002
20.70/18.94	c cleaning 37005 clauses out of 74100 with flag 3825490/731000
21.60/19.80	c cleaning 38040 clauses out of 76096 with flag 4027475/770001
22.40/20.61	c cleaning 39015 clauses out of 78058 with flag 4224887/810003
23.20/21.47	c cleaning 39928 clauses out of 80040 with flag 4430371/851000
24.09/22.32	c cleaning 41007 clauses out of 82114 with flag 4641697/893002
25.19/23.49	c cleaning 42027 clauses out of 84105 with flag 4862524/936000
26.19/24.49	c cleaning 43020 clauses out of 86081 with flag 5086865/980003
27.19/25.45	c cleaning 43963 clauses out of 88059 with flag 5316042/1025001
28.58/26.84	c cleaning 45025 clauses out of 90098 with flag 5573654/1071003
29.89/28.18	c cleaning 46015 clauses out of 92071 with flag 5821725/1118001
31.09/29.33	c cleaning 46989 clauses out of 94055 with flag 6066652/1166000
32.68/30.93	c cleaning 48015 clauses out of 96067 with flag 6331175/1215001
34.08/32.35	c cleaning 48995 clauses out of 98051 with flag 6623941/1265000
35.38/33.64	c cleaning 50018 clauses out of 100057 with flag 6897783/1316001
36.86/35.00	c cleaning 51001 clauses out of 102038 with flag 7179575/1368000
38.25/36.49	c cleaning 51974 clauses out of 104037 with flag 7464843/1421000
39.75/37.95	c cleaning 52994 clauses out of 106064 with flag 7760618/1475001
41.25/39.41	c cleaning 54003 clauses out of 108069 with flag 8048065/1530000
42.64/40.89	c cleaning 55026 clauses out of 110069 with flag 8344038/1586003
44.17/42.33	c cleaning 55990 clauses out of 112042 with flag 8635070/1643002
45.57/43.72	c cleaning 56996 clauses out of 114051 with flag 8940760/1701001
46.87/45.10	c cleaning 57978 clauses out of 116055 with flag 9250829/1760001
48.36/46.58	c cleaning 59005 clauses out of 118077 with flag 9576234/1820001
49.96/48.14	c cleaning 59995 clauses out of 120072 with flag 9915006/1881001
51.86/50.03	c cleaning 61005 clauses out of 122076 with flag 10245840/1943000
53.35/51.54	c cleaning 61968 clauses out of 124071 with flag 10582457/2006000
54.95/53.18	c cleaning 63026 clauses out of 126103 with flag 10916783/2070000
57.08/55.23	c cleaning 63991 clauses out of 128077 with flag 11272172/2135000
58.68/56.84	c cleaning 65030 clauses out of 130086 with flag 11624487/2201000
60.37/58.58	c cleaning 65995 clauses out of 132056 with flag 11976204/2268000
62.07/60.24	c cleaning 66968 clauses out of 134062 with flag 12332243/2336001
63.67/61.84	c cleaning 68000 clauses out of 136094 with flag 12679621/2405001
65.36/63.54	c cleaning 69004 clauses out of 138094 with flag 13040311/2475001
67.33/65.44	c cleaning 69992 clauses out of 140089 with flag 13427921/2546000
69.53/67.69	c cleaning 70991 clauses out of 142097 with flag 13840770/2618000
72.03/70.17	c cleaning 72026 clauses out of 144106 with flag 14263223/2691000
74.72/72.89	c cleaning 73020 clauses out of 146082 with flag 14671774/2765002
76.81/74.93	c cleaning 74024 clauses out of 148061 with flag 15074120/2840001
78.71/76.88	c cleaning 74974 clauses out of 150039 with flag 15458682/2916003
81.05/79.19	c cleaning 75997 clauses out of 152062 with flag 15882400/2993000
83.44/81.58	c cleaning 76932 clauses out of 154066 with flag 16292726/3071001
86.33/84.46	c cleaning 78052 clauses out of 156133 with flag 16738964/3150000
88.63/86.74	c cleaning 79031 clauses out of 158081 with flag 17178048/3230000
91.03/89.14	c cleaning 79998 clauses out of 160052 with flag 17632658/3311002
93.22/91.36	c cleaning 81009 clauses out of 162053 with flag 18064769/3393001
96.17/94.25	c cleaning 81985 clauses out of 164043 with flag 18525660/3476000
98.86/96.97	c cleaning 83005 clauses out of 166059 with flag 18993898/3560001
101.15/99.25	c cleaning 83993 clauses out of 168053 with flag 19447584/3645000
103.75/101.84	c cleaning 85007 clauses out of 170061 with flag 19893444/3731001
106.54/104.61	c cleaning 86011 clauses out of 172054 with flag 20379797/3818001
109.20/107.23	c cleaning 87005 clauses out of 174042 with flag 20858766/3906000
111.79/109.87	c cleaning 88002 clauses out of 176039 with flag 21354651/3995002
114.39/112.49	c cleaning 88998 clauses out of 178035 with flag 21832825/4085000
117.18/115.21	c cleaning 89989 clauses out of 180038 with flag 22331238/4176001
120.09/118.16	c cleaning 90996 clauses out of 182048 with flag 22827171/4268000
122.55/120.51	c cleaning 92021 clauses out of 184055 with flag 23313261/4361003
125.64/123.67	c cleaning 92981 clauses out of 186033 with flag 23809139/4455002
128.23/126.28	c cleaning 93986 clauses out of 188052 with flag 24311790/4550002
130.64/128.69	c cleaning 95002 clauses out of 190064 with flag 24814508/4646000
134.33/132.30	c cleaning 96015 clauses out of 192064 with flag 25364736/4743002
136.99/134.94	c cleaning 97000 clauses out of 194048 with flag 25876069/4841001
139.79/137.77	c cleaning 97946 clauses out of 196048 with flag 26410049/4940001
142.48/140.46	c cleaning 99039 clauses out of 198101 with flag 26929322/5040000
145.68/143.60	c cleaning 99999 clauses out of 200063 with flag 27472000/5141001
148.56/146.48	c cleaning 101021 clauses out of 202063 with flag 27997058/5243000
151.45/149.34	c cleaning 102004 clauses out of 204046 with flag 28526102/5346004
154.45/152.34	c cleaning 103000 clauses out of 206040 with flag 29094689/5450002
158.54/156.46	c cleaning 103986 clauses out of 208038 with flag 29695881/5555000
161.63/159.50	c cleaning 105001 clauses out of 210052 with flag 30257840/5661000
164.90/162.71	c cleaning 105980 clauses out of 212053 with flag 30837468/5768002
167.80/165.63	c cleaning 106964 clauses out of 214071 with flag 31413578/5876000
171.19/169.03	c cleaning 108041 clauses out of 216108 with flag 32021624/5985001
174.29/172.18	c cleaning 109016 clauses out of 218066 with flag 32616203/6095000
177.15/174.95	c cleaning 109952 clauses out of 220052 with flag 33194757/6206002
180.51/178.36	c cleaning 111020 clauses out of 222099 with flag 33806391/6318001
184.21/182.06	c cleaning 112015 clauses out of 224080 with flag 34429386/6431002
187.70/185.53	c cleaning 113009 clauses out of 226063 with flag 35048606/6545000
191.75/189.55	c cleaning 113960 clauses out of 228055 with flag 35675246/6660001
194.85/192.66	c cleaning 115027 clauses out of 230096 with flag 36284175/6776002
198.14/195.96	c cleaning 115995 clauses out of 232069 with flag 36908364/6893002
201.53/199.32	c cleaning 116993 clauses out of 234074 with flag 37564320/7011002
205.01/202.71	c cleaning 118026 clauses out of 236079 with flag 38199754/7130000
208.70/206.44	c cleaning 119009 clauses out of 238053 with flag 38838751/7250000
212.19/209.93	c cleaning 119999 clauses out of 240045 with flag 39489449/7371001
215.98/213.74	c cleaning 121012 clauses out of 242045 with flag 40137831/7493000
219.55/217.26	c cleaning 121996 clauses out of 244034 with flag 40787136/7616001
223.44/221.10	c cleaning 122960 clauses out of 246040 with flag 41456225/7740003
227.53/225.23	c cleaning 124005 clauses out of 248079 with flag 42142159/7865002
231.92/229.61	c cleaning 124991 clauses out of 250072 with flag 42823467/7991000
236.21/233.94	c cleaning 126022 clauses out of 252082 with flag 43522655/8118001
240.59/238.21	c cleaning 126989 clauses out of 254061 with flag 44216428/8246002
243.98/241.67	c cleaning 128002 clauses out of 256072 with flag 44898204/8375002
248.07/245.76	c cleaning 128986 clauses out of 258070 with flag 45598470/8505002
251.37/249.06	c cleaning 130024 clauses out of 260083 with flag 46278246/8636001
255.75/253.47	c cleaning 131014 clauses out of 262058 with flag 47005423/8768000
260.05/257.68	c cleaning 132010 clauses out of 264045 with flag 47735413/8901001
263.54/261.19	c cleaning 132958 clauses out of 266034 with flag 48446442/9035000
267.44/265.06	c cleaning 134013 clauses out of 268076 with flag 49170773/9170000
271.92/269.54	c cleaning 135004 clauses out of 270063 with flag 49904618/9306000
276.11/273.70	c cleaning 136004 clauses out of 272060 with flag 50645785/9443001
282.51/280.17	c cleaning 137002 clauses out of 274057 with flag 51439055/9581002
287.69/285.20	c cleaning 138008 clauses out of 276054 with flag 52216640/9720001
292.88/290.47	c cleaning 138961 clauses out of 278045 with flag 53023389/9860000
297.86/295.48	c cleaning 140020 clauses out of 280085 with flag 53814527/10001001
303.46/301.07	c cleaning 140984 clauses out of 282065 with flag 54626279/10143001
308.14/305.71	c cleaning 141964 clauses out of 284081 with flag 55408068/10286001
312.13/309.74	c cleaning 143049 clauses out of 286118 with flag 56172485/10430002
318.23/315.78	c cleaning 144017 clauses out of 288067 with flag 56992635/10575000
324.41/321.94	c cleaning 144974 clauses out of 290050 with flag 57831066/10721000
329.00/326.58	c cleaning 146016 clauses out of 292077 with flag 58637072/10868001
333.29/330.87	c cleaning 146992 clauses out of 294060 with flag 59457624/11016000
338.38/335.95	c cleaning 148005 clauses out of 296069 with flag 60263598/11165001
343.38/340.99	c cleaning 148999 clauses out of 298063 with flag 61084611/11315000
348.80/345.70	c cleaning 150002 clauses out of 300065 with flag 61909753/11466001
354.68/351.67	c cleaning 151001 clauses out of 302063 with flag 62749970/11618001
360.67/357.63	c cleaning 152021 clauses out of 304063 with flag 63598795/11771002
365.86/362.81	c cleaning 152956 clauses out of 306040 with flag 64453268/11925000
371.25/368.21	c cleaning 154011 clauses out of 308085 with flag 65318106/12080001
377.29/374.28	c cleaning 155017 clauses out of 310073 with flag 66199717/12236000
381.48/378.46	c cleaning 155952 clauses out of 312058 with flag 67057990/12393002
386.97/383.92	c cleaning 157017 clauses out of 314105 with flag 67924960/12551001
392.56/389.58	c cleaning 158017 clauses out of 316087 with flag 68799363/12710000
398.64/395.69	c cleaning 159020 clauses out of 318070 with flag 69734143/12870000
404.87/401.72	c cleaning 159969 clauses out of 320050 with flag 70650493/13031000
409.66/406.51	c cleaning 161020 clauses out of 322082 with flag 71518333/13193001
414.44/411.31	c cleaning 162010 clauses out of 324062 with flag 72394661/13356001
419.43/416.36	c cleaning 163014 clauses out of 326051 with flag 73279798/13520000
425.73/422.69	c cleaning 163991 clauses out of 328038 with flag 74215305/13685001
431.55/428.48	c cleaning 165000 clauses out of 330046 with flag 75114996/13851000
437.55/434.33	c cleaning 165951 clauses out of 332048 with flag 76062607/14018002
443.14/439.94	c cleaning 167015 clauses out of 334096 with flag 76990001/14186001
448.73/445.52	c cleaning 167990 clauses out of 336081 with flag 77943050/14355001
454.91/451.75	c cleaning 169014 clauses out of 338090 with flag 78894908/14525000
461.32/458.13	c cleaning 170007 clauses out of 340076 with flag 79864082/14696000
467.51/464.26	c cleaning 170983 clauses out of 342069 with flag 80805264/14868000
473.40/470.16	c cleaning 171978 clauses out of 344086 with flag 81742769/15041000
480.38/477.11	c cleaning 173036 clauses out of 346109 with flag 82715326/15215001
486.89/483.67	c cleaning 173981 clauses out of 348076 with flag 83683316/15390004
492.59/489.22	c cleaning 175032 clauses out of 350091 with flag 84647431/15566000
497.78/494.48	c cleaning 175996 clauses out of 352060 with flag 85598582/15743001
503.76/500.40	c cleaning 176953 clauses out of 354063 with flag 86577267/15921000
509.25/505.95	c cleaning 177983 clauses out of 356111 with flag 87563444/16100001
515.24/511.91	c cleaning 179016 clauses out of 358127 with flag 88559191/16280000
521.37/518.07	c cleaning 180025 clauses out of 360112 with flag 89552392/16461001
528.95/525.59	c cleaning 181017 clauses out of 362086 with flag 90586234/16643000
535.73/532.38	c cleaning 182009 clauses out of 364069 with flag 91622493/16826000
541.62/538.26	c cleaning 182978 clauses out of 366060 with flag 92650996/17010000
547.71/544.34	c cleaning 183994 clauses out of 368082 with flag 93669113/17195000
554.50/551.19	c cleaning 184978 clauses out of 370089 with flag 94725013/17381001
560.78/557.43	c cleaning 186033 clauses out of 372112 with flag 95755392/17568002
568.06/564.76	c cleaning 186993 clauses out of 374078 with flag 96811249/17756001
575.34/571.89	c cleaning 188003 clauses out of 376085 with flag 97868433/17945001
583.43/579.96	c cleaning 189015 clauses out of 378081 with flag 98958441/18135000
590.11/586.65	c cleaning 190022 clauses out of 380066 with flag 100027198/18326000
597.20/593.76	c cleaning 190999 clauses out of 382044 with flag 101138049/18518000
603.18/599.74	c cleaning 191972 clauses out of 384045 with flag 102191815/18711000
609.97/606.55	c cleaning 192981 clauses out of 386073 with flag 103264055/18905000
616.50/613.08	c cleaning 193998 clauses out of 388092 with flag 104327387/19100000
624.89/621.33	c cleaning 195008 clauses out of 390094 with flag 105443956/19296000
631.17/627.62	c cleaning 196001 clauses out of 392086 with flag 106526503/19493000
638.46/634.95	c cleaning 196992 clauses out of 394085 with flag 107664878/19691000
645.14/641.63	c cleaning 198021 clauses out of 396093 with flag 108761567/19890000
653.12/649.60	c cleaning 198955 clauses out of 398072 with flag 109892761/20090000
659.81/656.34	c cleaning 200042 clauses out of 400117 with flag 110995302/20291000
666.51/663.07	c cleaning 200935 clauses out of 402075 with flag 112094129/20493000
673.97/670.34	c cleaning 202031 clauses out of 404140 with flag 113212267/20696000
680.66/677.05	c cleaning 202989 clauses out of 406109 with flag 114332452/20900000
690.24/686.67	c cleaning 204014 clauses out of 408122 with flag 115502071/21105002
697.92/694.32	c cleaning 205038 clauses out of 410107 with flag 116657792/21311001
705.72/702.16	c cleaning 205967 clauses out of 412068 with flag 117790786/21518000
713.42/709.19	c cleaning 207034 clauses out of 414103 with flag 118954420/21726002
721.30/717.02	c cleaning 207975 clauses out of 416069 with flag 120146510/21935002
728.48/724.23	c cleaning 209037 clauses out of 418093 with flag 121301849/22145001
736.16/731.90	c cleaning 210005 clauses out of 420056 with flag 122474494/22356001
743.05/738.82	c cleaning 210990 clauses out of 422051 with flag 123628343/22568001
750.75/746.46	c cleaning 212010 clauses out of 424060 with flag 124825943/22781000
758.33/754.05	c cleaning 212978 clauses out of 426050 with flag 125994169/22995000
764.91/760.63	c cleaning 214014 clauses out of 428073 with flag 127165773/23210001
774.40/770.16	c cleaning 214975 clauses out of 430060 with flag 128410399/23426002
782.08/777.82	c cleaning 216022 clauses out of 432083 with flag 129595440/23643000
789.17/785.00	c cleaning 217019 clauses out of 434062 with flag 130811635/23861001
797.05/792.89	c cleaning 217987 clauses out of 436043 with flag 132026109/24080001
804.31/800.03	c cleaning 218975 clauses out of 438058 with flag 133218992/24300003
811.86/807.44	c cleaning 219974 clauses out of 440081 with flag 134419045/24521001
818.55/814.15	c cleaning 221028 clauses out of 442109 with flag 135608283/24743003
826.73/822.35	c cleaning 221977 clauses out of 444078 with flag 136847845/24966000
834.31/829.94	c cleaning 223013 clauses out of 446102 with flag 138049469/25190001
842.00/837.66	c cleaning 224006 clauses out of 448088 with flag 139285917/25415000
849.49/845.12	c cleaning 225013 clauses out of 450082 with flag 140534629/25641000
857.84/853.44	c cleaning 225958 clauses out of 452071 with flag 141770622/25868002
866.05/861.55	c cleaning 227018 clauses out of 454113 with flag 143058845/26096002
874.93/870.44	c cleaning 228023 clauses out of 456093 with flag 144314048/26325000
884.41/879.99	c cleaning 229024 clauses out of 458071 with flag 145629600/26555001
892.09/887.62	c cleaning 229953 clauses out of 460046 with flag 146912598/26786000
899.28/894.86	c cleaning 231003 clauses out of 462093 with flag 148165959/27018000
907.81/903.32	c cleaning 232029 clauses out of 464090 with flag 149458260/27251000
915.89/911.21	c cleaning 233006 clauses out of 466061 with flag 150733166/27485000
924.07/919.48	c cleaning 233994 clauses out of 468056 with flag 152042530/27720001
933.56/928.91	c cleaning 235009 clauses out of 470063 with flag 153400916/27956002
943.23/938.68	c cleaning 236010 clauses out of 472053 with flag 154730774/28193001
952.51/947.91	c cleaning 237003 clauses out of 474043 with flag 156059752/28431001
960.65/956.02	c cleaning 238001 clauses out of 476040 with flag 157341770/28670001
968.60/963.82	c cleaning 238997 clauses out of 478038 with flag 158608918/28910000
978.37/973.66	c cleaning 240005 clauses out of 480041 with flag 159989257/29151000
986.55/981.81	c cleaning 240967 clauses out of 482036 with flag 161317938/29393000
996.22/991.54	c cleaning 241977 clauses out of 484069 with flag 162641446/29636000
1004.71/1000.10	c cleaning 243038 clauses out of 486092 with flag 163986360/29880000
1014.43/1009.71	c cleaning 244019 clauses out of 488055 with flag 165328422/30125001
1023.27/1018.44	c cleaning 244995 clauses out of 490037 with flag 166646015/30371002
1032.36/1027.58	c cleaning 245980 clauses out of 492040 with flag 168017268/30618000
1041.04/1036.26	c cleaning 246974 clauses out of 494060 with flag 169365123/30866000
1049.83/1045.06	c cleaning 248025 clauses out of 496087 with flag 170729039/31115001
1058.91/1054.17	c cleaning 248967 clauses out of 498061 with flag 172119071/31365000
1068.98/1064.04	c cleaning 249986 clauses out of 500094 with flag 173523627/31616000
1078.26/1073.31	c cleaning 251021 clauses out of 502108 with flag 174876381/31868000
1086.44/1081.56	c cleaning 252020 clauses out of 504088 with flag 176245286/32121001
1096.51/1091.67	c cleaning 252997 clauses out of 506069 with flag 177666861/32375002
1106.69/1101.82	c cleaning 254023 clauses out of 508070 with flag 179108732/32630000
1116.50/1111.49	c cleaning 254955 clauses out of 510048 with flag 180515691/32886001
1126.09/1121.07	c cleaning 256035 clauses out of 512093 with flag 181939123/33143001
1135.27/1130.26	c cleaning 256947 clauses out of 514057 with flag 183352447/33401000
1143.65/1138.64	c cleaning 258033 clauses out of 516113 with flag 184767633/33660003
1155.13/1150.15	c cleaning 258979 clauses out of 518077 with flag 186230555/33920000
1165.20/1160.26	c cleaning 260035 clauses out of 520099 with flag 187678114/34181001
1174.87/1169.72	c cleaning 260958 clauses out of 522066 with flag 189086160/34443003
1184.05/1178.90	c cleaning 262031 clauses out of 524106 with flag 190514738/34706001
1193.62/1188.57	c cleaning 263009 clauses out of 526074 with flag 191948437/34970000
1203.90/1198.84	c cleaning 264024 clauses out of 528065 with flag 193427512/35235000
1212.71/1207.63	c cleaning 264995 clauses out of 530041 with flag 194846254/35501000
1222.51/1216.67	c cleaning 266009 clauses out of 532046 with flag 196271195/35768000
1232.90/1227.08	c cleaning 266977 clauses out of 534037 with flag 197742925/36036000
1243.37/1237.54	c cleaning 268013 clauses out of 536060 with flag 199216731/36305000
1253.35/1247.57	c cleaning 268950 clauses out of 538048 with flag 200687593/36575001
1263.43/1257.65	c cleaning 270036 clauses out of 540098 with flag 202196907/36846001
1273.95/1268.10	c cleaning 271000 clauses out of 542062 with flag 203682913/37118001
1285.02/1279.16	c cleaning 272022 clauses out of 544063 with flag 205202645/37391002
1295.20/1289.34	c cleaning 272981 clauses out of 546040 with flag 206743409/37665001
1303.68/1297.88	c cleaning 274010 clauses out of 548059 with flag 208216889/37940001
1313.76/1307.93	c cleaning 274980 clauses out of 550049 with flag 209749993/38216001
1323.24/1317.43	c cleaning 276005 clauses out of 552068 with flag 211228835/38493000
1333.01/1327.12	c cleaning 277008 clauses out of 554063 with flag 212745552/38771000
1343.18/1337.16	c cleaning 278010 clauses out of 556055 with flag 214254354/39050000
1353.85/1347.82	c cleaning 278978 clauses out of 558045 with flag 215812420/39330000
1363.23/1357.28	c cleaning 279970 clauses out of 560068 with flag 217343683/39611001
1375.31/1369.31	c cleaning 280995 clauses out of 562097 with flag 218896591/39893000
1385.69/1379.79	c cleaning 282024 clauses out of 564103 with flag 220431024/40176001
1396.17/1390.28	c cleaning 283003 clauses out of 566078 with flag 222014530/40460000
1407.54/1401.36	c cleaning 284001 clauses out of 568076 with flag 223601734/40745001
1418.01/1411.86	c cleaning 285015 clauses out of 570075 with flag 225165999/41031001
1427.69/1421.51	c cleaning 285922 clauses out of 572061 with flag 226703995/41318002
1439.56/1433.48	c cleaning 287022 clauses out of 574137 with flag 228340405/41606000
1451.39/1445.24	c cleaning 288024 clauses out of 576115 with flag 229901900/41895000
1462.41/1456.05	c cleaning 289032 clauses out of 578091 with flag 231467526/42185000
1473.28/1466.99	c cleaning 289970 clauses out of 580060 with flag 233043298/42476001
1483.65/1477.34	c cleaning 291018 clauses out of 582089 with flag 234632998/42768000
1494.83/1488.51	c cleaning 292013 clauses out of 584073 with flag 236221636/43061002
1505.80/1499.52	c cleaning 292988 clauses out of 586058 with flag 237810264/43355000
1516.16/1509.85	c cleaning 294014 clauses out of 588070 with flag 239427769/43650000
1531.02/1524.61	c cleaning 294994 clauses out of 590057 with flag 241119205/43946001
1542.50/1536.10	c cleaning 296005 clauses out of 592062 with flag 242750394/44243000
1554.77/1548.45	c cleaning 297015 clauses out of 594058 with flag 244380186/44541001
1564.55/1558.24	c cleaning 297993 clauses out of 596042 with flag 245970454/44840000
1575.00/1568.64	c cleaning 299007 clauses out of 598049 with flag 247573015/45140000
1587.25/1580.77	c cleaning 299991 clauses out of 600043 with flag 249275027/45441001
1598.72/1592.22	c cleaning 301002 clauses out of 602051 with flag 250951143/45743000
1610.20/1603.79	c cleaning 302010 clauses out of 604049 with flag 252616162/46046000
1624.57/1618.11	c cleaning 302999 clauses out of 606040 with flag 254348195/46350001
1635.42/1628.76	c cleaning 303979 clauses out of 608042 with flag 255985166/46655002
1645.89/1639.28	c cleaning 305011 clauses out of 610062 with flag 257613968/46961001
1656.87/1650.21	c cleaning 305971 clauses out of 612051 with flag 259265499/47268001
1670.24/1663.66	c cleaning 306996 clauses out of 614081 with flag 260981188/47576002
1683.00/1676.24	c cleaning 308010 clauses out of 616083 with flag 262623349/47885000
1693.96/1687.21	c cleaning 308986 clauses out of 618073 with flag 264276710/48195000
1707.13/1700.44	c cleaning 310027 clauses out of 620089 with flag 265985641/48506002
1718.21/1711.59	c cleaning 310970 clauses out of 622061 with flag 267664141/48818001
1730.01/1723.30	c cleaning 312017 clauses out of 624090 with flag 269372825/49131000
1741.54/1734.74	c cleaning 313013 clauses out of 626073 with flag 271095684/49445000
1752.72/1745.96	c cleaning 313943 clauses out of 628060 with flag 272789474/49760000
1764.89/1758.19	c cleaning 315009 clauses out of 630117 with flag 274534531/50076000
1777.16/1770.49	c cleaning 315993 clauses out of 632109 with flag 276274648/50393001
1788.64/1781.90	c cleaning 317038 clauses out of 634115 with flag 277949347/50711000
1803.33/1795.61	c cleaning 318010 clauses out of 636077 with flag 279665026/51030000
1815.00/1807.36	c cleaning 318979 clauses out of 638067 with flag 281344444/51350000
1826.47/1818.81	c cleaning 320012 clauses out of 640089 with flag 283075317/51671001
1839.54/1832.00	c cleaning 321018 clauses out of 642078 with flag 284845200/51993002
1851.97/1844.39	c cleaning 322003 clauses out of 644060 with flag 286630316/52316002
1866.28/1858.52	c cleaning 323012 clauses out of 646055 with flag 288408995/52640000
1878.36/1870.63	c cleaning 324008 clauses out of 648043 with flag 290135739/52965000
1890.83/1883.13	c cleaning 324997 clauses out of 650038 with flag 291930541/53291003
1903.21/1895.52	c cleaning 325995 clauses out of 652038 with flag 293665608/53618000
1915.88/1908.28	c cleaning 326994 clauses out of 654043 with flag 295457009/53946000
1928.40/1920.76	c cleaning 328004 clauses out of 656049 with flag 297217562/54275000
1942.55/1934.68	c cleaning 328965 clauses out of 658048 with flag 298994790/54605003
1956.41/1948.51	c cleaning 329996 clauses out of 660080 with flag 300788106/54936000
1968.30/1960.49	c cleaning 331019 clauses out of 662085 with flag 302552524/55268001
1981.86/1974.07	c cleaning 331974 clauses out of 664066 with flag 304369090/55601001
1995.48/1987.62	c cleaning 333000 clauses out of 666091 with flag 306222279/55935000
2011.71/2003.63	c cleaning 334003 clauses out of 668092 with flag 308018771/56270001
2023.48/2015.40	c cleaning 335026 clauses out of 670089 with flag 309821609/56606001
2035.16/2027.13	c cleaning 336008 clauses out of 672062 with flag 311580096/56943000
2047.73/2039.76	c cleaning 337005 clauses out of 674054 with flag 313395993/57281000
2060.21/2052.11	c cleaning 337964 clauses out of 676049 with flag 315226540/57620000
2073.45/2065.20	c cleaning 338981 clauses out of 678085 with flag 317057423/57960000
2087.62/2079.43	c cleaning 339980 clauses out of 680104 with flag 318921198/58301000
2100.49/2092.31	c cleaning 341039 clauses out of 682125 with flag 320744618/58643001
2113.86/2105.76	c cleaning 342018 clauses out of 684085 with flag 322610152/58986000
2127.13/2118.95	c cleaning 342946 clauses out of 686067 with flag 324458007/59330000
2140.79/2132.40	c cleaning 344046 clauses out of 688121 with flag 326321092/59675000
2155.26/2146.95	c cleaning 345025 clauses out of 690075 with flag 328224568/60021000
2169.22/2160.95	c cleaning 346012 clauses out of 692051 with flag 330125132/60368001
2182.24/2173.95	c cleaning 346983 clauses out of 694039 with flag 331994762/60716001
2196.55/2188.06	c cleaning 348018 clauses out of 696057 with flag 333882175/61065002
2210.51/2202.01	c cleaning 349000 clauses out of 698040 with flag 335790447/61415003
2224.68/2216.24	c cleaning 349987 clauses out of 700041 with flag 337711104/61766004
2238.41/2229.95	c cleaning 350987 clauses out of 702050 with flag 339592424/62118000
2251.54/2242.91	c cleaning 352003 clauses out of 704063 with flag 341483320/62471000
2264.89/2256.33	c cleaning 353003 clauses out of 706062 with flag 343354823/62825002
2279.05/2270.52	c cleaning 353955 clauses out of 708058 with flag 345264133/63180001
2292.50/2283.97	c cleaning 355041 clauses out of 710102 with flag 347180648/63536000
2306.48/2297.87	c cleaning 356002 clauses out of 712061 with flag 349070951/63893000
2320.14/2311.56	c cleaning 356967 clauses out of 714059 with flag 350967366/64251000
2333.62/2325.01	c cleaning 358034 clauses out of 716094 with flag 352865383/64610002
2350.19/2341.44	c cleaning 359020 clauses out of 718058 with flag 354820490/64970000
2364.44/2355.71	c cleaning 360007 clauses out of 720040 with flag 356753353/65331002
2378.72/2370.07	c cleaning 360995 clauses out of 722033 with flag 358691476/65693002
2393.09/2384.43	c cleaning 361990 clauses out of 724036 with flag 360644530/66056000
2407.99/2399.34	c cleaning 362994 clauses out of 726046 with flag 362653893/66420000
2423.13/2414.38	c cleaning 363914 clauses out of 728054 with flag 364579873/66785002
2438.60/2429.81	c cleaning 365049 clauses out of 730139 with flag 366546299/67151001
2452.17/2443.47	c cleaning 366025 clauses out of 732089 with flag 368472077/67518000
2465.53/2456.82	c cleaning 366955 clauses out of 734066 with flag 370419244/67886002
2481.45/2472.74	c cleaning 367989 clauses out of 736110 with flag 372430230/68255001
2495.43/2486.68	c cleaning 369007 clauses out of 738120 with flag 374396230/68625000
2510.00/2501.26	c cleaning 370040 clauses out of 740114 with flag 376376280/68996001
2524.17/2515.45	c cleaning 371022 clauses out of 742073 with flag 378365343/69368000
2539.73/2531.08	c cleaning 372010 clauses out of 744052 with flag 380419386/69741001
2553.96/2545.24	c cleaning 373002 clauses out of 746042 with flag 382401236/70115001
2567.67/2558.85	c cleaning 373979 clauses out of 748039 with flag 384354582/70490000
2582.33/2573.54	c cleaning 375019 clauses out of 750060 with flag 386380544/70866000
2597.40/2588.61	c cleaning 375965 clauses out of 752044 with flag 388387571/71243003
2612.26/2603.52	c cleaning 377008 clauses out of 754079 with flag 390410440/71621003
2628.37/2618.53	c cleaning 378005 clauses out of 756069 with flag 392430308/72000001
2642.34/2632.52	c cleaning 379013 clauses out of 758064 with flag 394405432/72380001
2657.01/2647.26	c cleaning 379991 clauses out of 760050 with flag 396429448/72761000
2671.88/2662.12	c cleaning 381010 clauses out of 762059 with flag 398422203/73143000
2689.09/2679.28	c cleaning 381991 clauses out of 764049 with flag 400434251/73526000
2704.65/2694.86	c cleaning 382995 clauses out of 766059 with flag 402509141/73910001
2721.32/2711.51	c cleaning 384022 clauses out of 768064 with flag 404574875/74295001
2738.08/2728.31	c cleaning 385010 clauses out of 770041 with flag 406617746/74681000
2754.05/2744.33	c cleaning 385983 clauses out of 772031 with flag 408703727/75068000
2770.16/2760.43	c cleaning 387010 clauses out of 774048 with flag 410773825/75456000
2786.33/2776.30	c cleaning 387994 clauses out of 776038 with flag 412844568/75845000
2800.89/2790.95	c cleaning 388980 clauses out of 778047 with flag 414840207/76235003
2815.65/2805.76	c cleaning 389990 clauses out of 780064 with flag 416888721/76626000
2832.62/2822.72	c cleaning 390992 clauses out of 782075 with flag 418988388/77018001
2849.00/2839.08	c cleaning 392017 clauses out of 784082 with flag 421053078/77411000
2864.46/2854.35	c cleaning 393016 clauses out of 786067 with flag 423075855/77805002
2881.03/2871.00	c cleaning 393981 clauses out of 788050 with flag 425152929/78200001
2897.99/2887.91	c cleaning 395009 clauses out of 790068 with flag 427229294/78596000
2915.55/2905.54	c cleaning 396007 clauses out of 792059 with flag 429325714/78993000
2932.07/2922.00	c cleaning 397014 clauses out of 794054 with flag 431394332/79391002
2948.47/2938.23	c cleaning 397992 clauses out of 796039 with flag 433561077/79790001
2964.13/2953.94	c cleaning 398978 clauses out of 798046 with flag 435668103/80190000
2979.79/2969.65	c cleaning 399988 clauses out of 800069 with flag 437754684/80591001
2995.70/2985.44	c cleaning 401021 clauses out of 802080 with flag 439902331/80993000
3012.08/3001.78	c cleaning 401962 clauses out of 804061 with flag 442010133/81396002
3027.54/3017.26	c cleaning 403032 clauses out of 806098 with flag 444102314/81800001
3042.01/3031.79	c cleaning 404016 clauses out of 808066 with flag 446215235/82205001
3059.86/3049.54	c cleaning 405012 clauses out of 810049 with flag 448359192/82611000
3074.65/3064.16	c cleaning 406007 clauses out of 812037 with flag 450488411/83018000
3091.00/3080.55	c cleaning 406999 clauses out of 814031 with flag 452609882/83426001
3105.58/3095.14	c cleaning 407950 clauses out of 816033 with flag 454715296/83835002
3122.78/3112.30	c cleaning 409015 clauses out of 818081 with flag 456920743/84245000
3139.58/3128.94	c cleaning 410009 clauses out of 820067 with flag 459053639/84656001
3158.64/3148.06	c cleaning 410997 clauses out of 822058 with flag 461242902/85068001
3175.60/3165.10	c cleaning 412009 clauses out of 824061 with flag 463455251/85481001
3192.65/3182.02	c cleaning 413013 clauses out of 826051 with flag 465695005/85895000
3208.07/3197.39	c cleaning 413973 clauses out of 828039 with flag 467851562/86310001
3225.74/3215.05	c cleaning 414988 clauses out of 830065 with flag 470016765/86726000
3241.75/3231.08	c cleaning 416030 clauses out of 832077 with flag 472155703/87143000
3257.96/3247.18	c cleaning 417005 clauses out of 834047 with flag 474312241/87561000
3276.01/3265.24	c cleaning 417963 clauses out of 836043 with flag 476575318/87980001
3292.38/3281.60	c cleaning 419025 clauses out of 838080 with flag 478744251/88400001
3307.75/3297.08	c cleaning 419958 clauses out of 840054 with flag 480942548/88821000
3324.76/3314.07	c cleaning 421024 clauses out of 842097 with flag 483184690/89243001
3342.05/3331.20	c cleaning 422005 clauses out of 844072 with flag 485412047/89666000
3359.01/3348.24	c cleaning 423004 clauses out of 846068 with flag 487666851/90090001
3375.58/3364.81	c cleaning 424009 clauses out of 848064 with flag 489896430/90515001
3394.33/3383.60	c cleaning 424995 clauses out of 850054 with flag 492187362/90941000
3410.76/3400.02	c cleaning 426004 clauses out of 852061 with flag 494424784/91368002
3430.57/3419.74	c cleaning 426990 clauses out of 854056 with flag 496732596/91796001
3447.74/3436.99	c cleaning 427992 clauses out of 856066 with flag 498941750/92225001
3467.59/3456.82	c cleaning 429011 clauses out of 858073 with flag 501199478/92655000
3486.85/3476.11	c cleaning 430020 clauses out of 860063 with flag 503512784/93086001
3504.57/3493.86	c cleaning 430950 clauses out of 862042 with flag 505796668/93518000
3523.39/3512.57	c cleaning 432008 clauses out of 864092 with flag 508076864/93951000
3540.05/3529.21	c cleaning 432952 clauses out of 866085 with flag 510377004/94385001
3556.92/3546.14	c cleaning 434040 clauses out of 868132 with flag 512688423/94820000
3575.17/3564.45	c cleaning 435014 clauses out of 870093 with flag 514955311/95256001
3596.86/3585.97	c cleaning 436023 clauses out of 872078 with flag 517251363/95693000
3600.05/3589.12	c timeout
3600.05/3589.12	c starts		: 43229
3600.05/3589.12	c conflicts		: 95780916
3600.05/3589.12	c decisions		: 206366848
3600.05/3589.12	c propagations		: 2097430678
3600.05/3589.12	c inspects		: 53086352188
3600.05/3589.12	c shortcuts		: 0
3600.05/3589.12	c learnt literals	: 0
3600.05/3589.12	c learnt binary clauses	: 0
3600.05/3589.12	c learnt ternary clauses	: 0
3600.05/3589.12	c learnt constraints	: 95780916
3600.05/3589.12	c ignored constraints	: 0
3600.05/3589.12	c root simplifications	: 0
3600.05/3589.12	c removed literals (reason simplification)	: 138372412
3600.05/3589.12	c reason swapping (by a shorter reason)	: 0
3600.05/3589.12	c Calls to reduceDB	: 433
3600.05/3589.12	c Number of update (reduction) of LBD	: 36211677
3600.05/3589.12	c Imported unit clauses	: 0
3600.05/3589.12	c No decision after first conflict	: false
3600.05/3589.13	c number of reductions to clauses (during analyze)	: 0
3600.05/3589.13	c number of learned constraints concerned by reduction	: 0
3600.05/3589.13	c number of learning phase by resolution	: 0
3600.05/3589.13	c number of learning phase by cutting planes	: 0
3600.05/3589.13	c number of rounding to 1 operations	: 0
3600.05/3589.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3589.13	c number of reductions of the coefficients by power 2 	: 0
3600.05/3589.13	c number of right shift for reduction by power 2 	: 0
3600.05/3589.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3589.13	c number of ending skipping 	: 0
3600.05/3589.13	c number of internal skipping 	: 0
3600.05/3589.13	c number of derivation steps 	: 0
3600.05/3589.13	c number of skipped derivation steps 	: 0
3600.05/3589.13	c number of remaining unassigned 	: 0
3600.05/3589.13	c number of remaining assigned 	: 0
3600.05/3589.13	c number of falsified literals weakened from reason	: 0
3600.05/3589.13	c number of falsified literals weakened from conflict	: 0
3600.05/3589.13	c time for arithmetic operations	: 0
3600.05/3589.13	c minimum degree of deleted constraints	: null
3600.05/3589.13	c maximum degree of deleted constraints	: null
3600.05/3589.13	c number of deleted constraints	: 0
3600.05/3589.13	c speed (assignments/second)	: 584480.5539191726
3600.05/3589.13	c non guided choices	: 80915417
3600.05/3589.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 523971
3600.05/3589.20	s UNKNOWN
3600.05/3589.20	c Total wall clock time (in seconds): 3589.051

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: 63665 MiB (62807 MiB free)
  memory of node 1: 64507 MiB (63995 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516758-1751241712/watcher-4516758-1751241712 -o /tmp/evaluation-result-4516758-1751241712/solver-4516758-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34697 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516758-1751241712.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 2.84 3.79 3.95 7/332 34824
/proc/meminfo: memFree=129731856/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=18930384 memory=51932 CPUtime=0.1 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 6159 0 0 0 8 2 0 0 20 0 18 0 39851487 19384713216 12983 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4732596 12983 5331 1 0 547260 0
[pid=34747/tid=34763] ppid=34741 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 4983 0 0 0 5 1 0 0 20 0 18 0 39851489 19384713216 12983 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=18930384 memory=19950 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39851491 19384713216 12983 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39851492 19384713216 12983 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51932 KiB

[startup+0.20584 s]*
/proc/loadavg: 2.84 3.79 3.95 12/334 34826
/proc/meminfo: memFree=129571484/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=18996948 memory=150312 CPUtime=0.3 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 7123 0 0 0 26 4 0 0 20 0 19 0 39851487 19452874752 37578 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4749237 37578 5459 1 0 548191 0
[pid=34747/tid=34763] ppid=34741 vsize=18996948 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) S 34741 34747 34686 0 -1 4194368 5308 0 0 0 12 3 0 0 20 0 19 0 39851489 19452874752 37578 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=18996948 memory=19950 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 37578 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 37578 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150312 KiB

[startup+0.305886 s]*
/proc/loadavg: 2.84 3.79 3.95 10/336 34828
/proc/meminfo: memFree=129422380/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=18996948 memory=226468 CPUtime=0.48 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 8846 0 0 0 43 5 0 0 20 0 19 0 39851487 19452874752 56617 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4749237 56617 5459 1 0 549248 0
[pid=34747/tid=34763] ppid=34741 vsize=18996948 memory=-6000919494197995628 CPUtime=0.24 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 5341 0 0 0 20 4 0 0 20 0 19 0 39851489 19452874752 56617 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 56617 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 56617 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 226468 KiB

[startup+0.700205 s]
/proc/loadavg: 2.84 3.79 3.95 10/337 34829
/proc/meminfo: memFree=128951468/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=769888 CPUtime=1.24 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 11311 0 0 0 108 16 0 0 20 0 20 0 39851487 19521036288 192472 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 192472 5459 1 0 551102 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=13568 CPUtime=0.59 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 5649 0 0 0 45 14 0 0 20 0 20 0 39851489 19521036288 192472 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 192472 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 192472 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 769888 KiB

[startup+1.50022 s]
/proc/loadavg: 2.84 3.79 3.95 8/338 34830
/proc/meminfo: memFree=128810036/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=785776 CPUtime=2.83 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 14723 0 0 0 266 17 0 0 20 0 20 0 39851487 19521036288 196444 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 196444 5459 1 0 553384 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=3200 CPUtime=1.36 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 5892 0 0 0 122 14 0 0 20 0 20 0 39851489 19521036288 196444 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 196444 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 196444 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 196444 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 785776 KiB

[startup+3.10445 s]
/proc/loadavg: 2.84 3.79 3.95 5/338 34830
/proc/meminfo: memFree=128754880/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=808704 CPUtime=4.81 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 14928 0 0 0 463 18 0 0 20 0 20 0 39851487 19521036288 202176 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 202176 5491 1 0 553389 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=14720 CPUtime=2.96 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 6035 0 0 0 281 15 0 0 20 0 20 0 39851489 19521036288 202176 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 202176 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 202176 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 202176 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 808704 KiB

[startup+6.30016 s]
/proc/loadavg: 2.94 3.80 3.95 5/338 34830
/proc/meminfo: memFree=128643364/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=837424 CPUtime=8.05 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 18171 0 0 0 786 19 0 0 20 0 20 0 39851487 19521036288 209356 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 209356 5491 1 0 553389 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=0 CPUtime=6.14 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 6839 0 0 0 599 15 0 0 20 0 20 0 39851489 19521036288 209356 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 209356 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 209356 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=785904 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 209356 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 837424 KiB

[startup+12.7002 s]
/proc/loadavg: 3.02 3.80 3.95 5/338 34831
/proc/meminfo: memFree=128450884/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=911152 CPUtime=14.43 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 19477 0 0 0 1423 20 0 0 20 0 20 0 39851487 19521036288 227788 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 227788 5491 1 0 553389 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=785904 CPUtime=12.54 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 7936 0 0 0 1237 17 0 0 20 0 20 0 39851489 19521036288 227788 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=888624 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 227788 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=896816 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 227788 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 227788 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 14.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 911152 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 3.83 3.96 5/340 34833
/proc/meminfo: memFree=128073832/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=1070512 CPUtime=27.29 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 24318 0 0 0 2706 23 0 0 20 0 20 0 39851487 19521036288 267628 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 267628 5491 1 0 553389 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=919344 CPUtime=25.3 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 9319 0 0 0 2511 19 0 0 20 0 20 0 39851489 19521036288 267628 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 267628 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=1056176 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 267628 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=-6000919502787930220 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 267628 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 27.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1070512 KiB

[startup+51.1047 s]
/proc/loadavg: 3.55 3.84 3.96 5/340 34833
/proc/meminfo: memFree=127465696/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=1371824 CPUtime=52.95 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 28966 0 0 0 5267 28 0 0 20 0 20 0 39851487 19521036288 342956 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 342956 5491 1 0 785247 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=1072560 CPUtime=50.76 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 10313 0 0 0 5053 23 0 0 20 0 20 0 39851489 19521036288 342956 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=1371824 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 342956 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=1371824 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 342956 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0

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

/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3233.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/340 34987
/proc/meminfo: memFree=119965700/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3293.08 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 144240 0 0 0 329172 136 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=14720 CPUtime=3264.26 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 75333 0 0 0 326373 53 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=10112 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1334 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3293.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/340 34989
/proc/meminfo: memFree=119942004/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3353.12 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 147129 0 0 0 335176 136 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4252 CPUtime=3323.93 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 76647 0 0 0 332340 53 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=16900 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3353.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/341 34992
/proc/meminfo: memFree=119846532/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3413.05 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 147869 0 0 0 341168 137 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4252 CPUtime=3383.78 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 77343 0 0 0 338325 53 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3413.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/341 34994
/proc/meminfo: memFree=119845728/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3473.08 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 149823 0 0 0 347170 138 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4252 CPUtime=3443.49 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 79125 0 0 0 344295 54 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1378 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=13568 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3473.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/340 35000
/proc/meminfo: memFree=119851224/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3533.17 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 152333 0 0 0 353177 140 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3503.19 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 80394 0 0 0 350265 54 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=1315728 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1389 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3533.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/341 35017
/proc/meminfo: memFree=119848676/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3593.26 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 153456 0 0 0 359185 141 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3562.87 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 81395 0 0 0 356233 54 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1389 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3593.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.1 s]
/proc/loadavg: 4.08 4.13 4.09 5/340 35017
/proc/meminfo: memFree=119848780/131250000 swapFree=33010684/33010684
[pid=34747] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3600.05 cores=4,6
/proc/34747/stat : 34747 (java) S 34741 34747 34686 0 -1 4194304 153503 0 0 0 359864 141 0 0 20 0 20 0 39851487 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
/proc/34747/statm: 4765878 1111869 5491 1 0 1182317 0
[pid=34747/tid=34763] ppid=34741 vsize=19063512 memory=4447476 CPUtime=3569.66 cores=4,6
/proc/34747/task/34763/stat : 34763 (java) R 34741 34747 34686 0 -1 4194368 81442 0 0 0 356912 54 0 0 20 0 20 0 39851489 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34799] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34799/stat : 34799 (Finalizer) S 34741 34747 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34821] ppid=34741 vsize=19063512 memory=-6000919502787930220 CPUtime=0 cores=4,6
/proc/34747/task/34821/stat : 34821 (Common-Cleaner) S 34741 34747 34686 0 -1 4194368 1389 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
[pid=34747/tid=34830] ppid=34741 vsize=19063512 memory=4447476 CPUtime=0 cores=4,6
/proc/34747/task/34830/stat : 34830 (Timer-0) S 34741 34747 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851547 19521036288 1111869 18446744073709551615 94753555718144 94753555721840 140722154385824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94753555729656 94753555730448 94753586929664 140722154391937 140722154392038 140722154392038 140722154397640 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4447476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.43255 s

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

[startup+3589.2 s]*
/proc/loadavg: 4.08 4.13 4.09 5/322 35020
/proc/meminfo: memFree=120282956/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3589.22
CPU time (s): 3600.21
CPU user time (s): 3598.78
CPU system time (s): 1.43255
CPU usage (%): 100.306
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4447476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.43255
maximum resident set size= 4448500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113129
involuntary context switches= 5230


# summary of solver processes directly reported to runsolver:
#   pid: 34747
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.43255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79572 second user time and 13.5034 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 02:01:52
IDJOB=4516758
IDBENCH=175756
IDSOLVER=3363
FILE ID=nodeC013/4516758-1751241712
RUNJOBID= nodeC013-1751241712-34697
SLURM_JOB_ID= 9587732
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_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516758-1751241712/watcher-4516758-1751241712 -o /tmp/evaluation-result-4516758-1751241712/solver-4516758-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34697 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516758-1751241712.opb

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

MD5SUM BENCH= fa288505787d5078657a2c980732ee18
RANDOM SEED=1293250273

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129851328 kB
MemAvailable:   129787744 kB
Buffers:            3280 kB
Cached:           739248 kB
SwapCached:            0 kB
Active:           313564 kB
Inactive:         495760 kB
Active(anon):      80080 kB
Inactive(anon):        0 kB
Active(file):     233484 kB
Inactive(file):   495760 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2912 kB
Writeback:             8 kB
AnonPages:         69952 kB
Mapped:            97876 kB
Shmem:             13284 kB
KReclaimable:      92424 kB
Slab:             179052 kB
SReclaimable:      92424 kB
SUnreclaim:        86628 kB
KernelStack:        4024 kB
PageTables:         2428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     317200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC013 at 2025-06-30 03:01:42