Trace number 4451044

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 Default 2024-07-07UNSAT 1751.81 1751.71

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
MD5SUM71fa1afe6ec5716be864bdb24fc2dd76
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 benchmark40.5307
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1201
Total number of constraints601
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)601
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4451044-1721427924.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.043s.
0.13/0.18	c declared #vars     1201
0.13/0.18	c #constraints  1202
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1200
0.13/0.18	c 1202 constraints processed.
0.70/0.42	c cleaning 2490 clauses out of 5000 with flag 21141/5000
1.09/0.68	c cleaning 4249 clauses out of 8510 with flag 52669/11000
1.66/0.94	c cleaning 5603 clauses out of 11262 with flag 87069/18001
1.86/1.07	c cleaning 6807 clauses out of 13658 with flag 128061/26000
2.06/1.18	c cleaning 7913 clauses out of 15851 with flag 185590/35000
2.43/1.31	c cleaning 8954 clauses out of 17938 with flag 242128/45000
2.62/1.48	c cleaning 9982 clauses out of 19985 with flag 305250/56001
2.86/1.63	c cleaning 10989 clauses out of 22003 with flag 370292/68001
3.06/1.81	c cleaning 11984 clauses out of 24017 with flag 442605/81004
3.27/2.01	c cleaning 12970 clauses out of 26032 with flag 524863/95003
3.46/2.25	c cleaning 14016 clauses out of 28059 with flag 612904/110000
3.76/2.52	c cleaning 14988 clauses out of 30044 with flag 708174/126001
4.09/2.86	c cleaning 15989 clauses out of 32056 with flag 811893/143001
4.41/3.16	c cleaning 16964 clauses out of 34066 with flag 913513/161000
4.71/3.44	c cleaning 17979 clauses out of 36102 with flag 1023624/180000
5.01/3.78	c cleaning 19014 clauses out of 38123 with flag 1133879/200000
5.42/4.11	c cleaning 19983 clauses out of 40109 with flag 1249138/221000
5.81/4.50	c cleaning 21040 clauses out of 42129 with flag 1372713/243003
6.11/4.89	c cleaning 21975 clauses out of 44087 with flag 1505633/266001
6.60/5.32	c cleaning 23027 clauses out of 46112 with flag 1638794/290001
7.00/5.72	c cleaning 23984 clauses out of 48084 with flag 1773505/315000
7.42/6.17	c cleaning 25015 clauses out of 50101 with flag 1911842/341001
7.91/6.64	c cleaning 25985 clauses out of 52085 with flag 2058804/368000
8.42/7.14	c cleaning 27002 clauses out of 54100 with flag 2215325/396000
8.91/7.66	c cleaning 27981 clauses out of 56099 with flag 2371357/425001
9.51/8.20	c cleaning 29016 clauses out of 58117 with flag 2528086/455000
10.01/8.78	c cleaning 30004 clauses out of 60101 with flag 2696818/486000
10.61/9.39	c cleaning 31012 clauses out of 62098 with flag 2871389/518001
11.32/10.03	c cleaning 32000 clauses out of 64086 with flag 3047786/551001
12.01/10.75	c cleaning 32985 clauses out of 66085 with flag 3233034/585000
12.71/11.45	c cleaning 34012 clauses out of 68101 with flag 3412749/620001
13.41/12.17	c cleaning 35025 clauses out of 70091 with flag 3601135/656003
14.21/12.95	c cleaning 35981 clauses out of 72064 with flag 3799591/693001
15.10/13.86	c cleaning 37025 clauses out of 74082 with flag 3998334/731000
16.00/14.76	c cleaning 37942 clauses out of 76059 with flag 4204435/770002
17.00/15.74	c cleaning 39005 clauses out of 78115 with flag 4418245/810000
18.00/16.73	c cleaning 40006 clauses out of 80110 with flag 4629177/851000
18.89/17.68	c cleaning 41038 clauses out of 82105 with flag 4843127/893001
19.99/18.76	c cleaning 42003 clauses out of 84066 with flag 5066151/936000
21.09/19.83	c cleaning 42984 clauses out of 86064 with flag 5297384/980001
22.19/20.93	c cleaning 43990 clauses out of 88080 with flag 5527789/1025001
23.29/22.07	c cleaning 45025 clauses out of 90089 with flag 5762202/1071000
24.48/23.25	c cleaning 46001 clauses out of 92064 with flag 6003521/1118000
25.79/24.57	c cleaning 47003 clauses out of 94063 with flag 6251104/1166000
27.08/25.85	c cleaning 47986 clauses out of 96060 with flag 6502738/1215000
28.38/27.18	c cleaning 48984 clauses out of 98075 with flag 6762087/1265001
29.78/28.54	c cleaning 50028 clauses out of 100090 with flag 7014823/1316000
31.17/29.95	c cleaning 50979 clauses out of 102062 with flag 7276467/1368000
32.67/31.46	c cleaning 52000 clauses out of 104083 with flag 7539252/1421000
34.17/32.94	c cleaning 53002 clauses out of 106083 with flag 7811158/1475000
35.70/34.49	c cleaning 53991 clauses out of 108081 with flag 8081563/1530000
37.31/36.10	c cleaning 54999 clauses out of 110091 with flag 8365110/1586001
39.00/37.76	c cleaning 56002 clauses out of 112091 with flag 8641352/1643000
40.69/39.42	c cleaning 57029 clauses out of 114090 with flag 8921864/1701001
42.40/41.18	c cleaning 58004 clauses out of 116060 with flag 9210214/1760000
44.29/43.03	c cleaning 59003 clauses out of 118057 with flag 9506728/1820001
46.18/44.91	c cleaning 59987 clauses out of 120053 with flag 9808059/1881000
48.02/46.76	c cleaning 60978 clauses out of 122069 with flag 10110967/1943003
50.10/48.78	c cleaning 61998 clauses out of 124088 with flag 10418156/2006000
52.09/50.72	c cleaning 62989 clauses out of 126092 with flag 10721060/2070002
53.99/52.61	c cleaning 64002 clauses out of 128102 with flag 11021724/2135001
55.99/54.65	c cleaning 65018 clauses out of 130100 with flag 11332225/2201001
58.18/56.84	c cleaning 66019 clauses out of 132082 with flag 11650068/2268001
60.42/59.06	c cleaning 66985 clauses out of 134063 with flag 11975553/2336001
62.61/61.29	c cleaning 67992 clauses out of 136079 with flag 12295623/2405002
65.00/63.60	c cleaning 69000 clauses out of 138085 with flag 12626730/2475000
67.31/65.96	c cleaning 70018 clauses out of 140086 with flag 12956541/2546001
69.80/68.44	c cleaning 71005 clauses out of 142067 with flag 13283481/2618000
72.32/70.93	c cleaning 72002 clauses out of 144062 with flag 13623881/2691000
74.91/73.51	c cleaning 72991 clauses out of 146060 with flag 13973731/2765000
77.70/76.24	c cleaning 74021 clauses out of 148070 with flag 14318397/2840001
80.30/78.84	c cleaning 74990 clauses out of 150048 with flag 14660974/2916000
82.79/81.38	c cleaning 76009 clauses out of 152058 with flag 15008573/2993000
85.80/84.30	c cleaning 76989 clauses out of 154050 with flag 15362994/3071001
88.48/87.04	c cleaning 77995 clauses out of 156062 with flag 15721167/3150002
91.05/89.66	c cleaning 79002 clauses out of 158065 with flag 16072636/3230000
94.02/92.65	c cleaning 79989 clauses out of 160063 with flag 16438906/3311000
96.89/95.58	c cleaning 80999 clauses out of 162075 with flag 16802357/3393001
99.91/98.55	c cleaning 82026 clauses out of 164075 with flag 17170195/3476000
103.00/101.62	c cleaning 83009 clauses out of 166050 with flag 17547424/3560001
106.09/104.72	c cleaning 83961 clauses out of 168040 with flag 17928664/3645000
109.39/108.01	c cleaning 85013 clauses out of 170079 with flag 18312562/3731000
112.58/111.26	c cleaning 86004 clauses out of 172066 with flag 18696220/3818000
116.20/114.87	c cleaning 87009 clauses out of 174063 with flag 19088910/3906001
119.59/118.22	c cleaning 88008 clauses out of 176054 with flag 19487543/3995001
123.09/121.72	c cleaning 88981 clauses out of 178045 with flag 19888061/4085000
126.68/125.36	c cleaning 90003 clauses out of 180064 with flag 20289237/4176000
130.42/129.09	c cleaning 91003 clauses out of 182062 with flag 20693319/4268001
134.11/132.72	c cleaning 92016 clauses out of 184059 with flag 21097096/4361001
137.70/136.32	c cleaning 92993 clauses out of 186042 with flag 21502398/4455000
141.59/140.26	c cleaning 93997 clauses out of 188050 with flag 21916832/4550001
145.61/144.28	c cleaning 95007 clauses out of 190053 with flag 22334453/4646001
149.71/148.30	c cleaning 95992 clauses out of 192045 with flag 22750355/4743000
153.91/152.51	c cleaning 97014 clauses out of 194054 with flag 23171366/4841001
158.20/156.86	c cleaning 97984 clauses out of 196040 with flag 23599411/4940001
162.40/161.05	c cleaning 99017 clauses out of 198056 with flag 24035553/5040001
166.58/165.26	c cleaning 99990 clauses out of 200038 with flag 24462485/5141000
170.89/169.57	c cleaning 101013 clauses out of 202049 with flag 24895466/5243001
175.18/173.88	c cleaning 101983 clauses out of 204037 with flag 25332743/5346002
179.98/178.69	c cleaning 102997 clauses out of 206053 with flag 25770256/5450001
184.67/183.31	c cleaning 103998 clauses out of 208055 with flag 26209046/5555000
189.47/188.14	c cleaning 104990 clauses out of 210057 with flag 26658854/5661000
194.25/192.97	c cleaning 106015 clauses out of 212067 with flag 27108697/5768000
199.28/197.91	c cleaning 107008 clauses out of 214052 with flag 27559872/5876000
204.27/202.93	c cleaning 108013 clauses out of 216044 with flag 28009865/5985000
209.46/208.17	c cleaning 108980 clauses out of 218031 with flag 28475721/6095000
214.66/213.35	c cleaning 110016 clauses out of 220052 with flag 28936028/6206001
219.84/218.55	c cleaning 110981 clauses out of 222035 with flag 29404871/6318000
225.03/223.78	c cleaning 111983 clauses out of 224054 with flag 29872116/6431000
230.57/229.23	c cleaning 113003 clauses out of 226071 with flag 30346502/6545000
236.16/234.81	c cleaning 114007 clauses out of 228068 with flag 30812966/6660000
241.55/240.23	c cleaning 115002 clauses out of 230062 with flag 31275307/6776001
247.04/245.76	c cleaning 116004 clauses out of 232059 with flag 31743304/6893000
252.83/251.50	c cleaning 117003 clauses out of 234055 with flag 32211018/7011000
258.71/257.46	c cleaning 118016 clauses out of 236052 with flag 32694889/7130000
264.61/263.37	c cleaning 119002 clauses out of 238037 with flag 33171816/7250001
270.91/269.62	c cleaning 119980 clauses out of 240035 with flag 33666829/7371001
277.10/275.89	c cleaning 120999 clauses out of 242054 with flag 34170332/7493000
283.30/282.06	c cleaning 121993 clauses out of 244055 with flag 34668145/7616000
289.38/288.16	c cleaning 123001 clauses out of 246062 with flag 35158904/7740000
295.57/294.33	c cleaning 124004 clauses out of 248062 with flag 35654920/7865001
302.06/300.89	c cleaning 125009 clauses out of 250058 with flag 36157764/7991001
308.45/307.22	c cleaning 126012 clauses out of 252049 with flag 36653055/8118001
314.83/313.66	c cleaning 127008 clauses out of 254038 with flag 37156594/8246002
322.12/320.90	c cleaning 127994 clauses out of 256030 with flag 37680982/8375002
328.71/327.51	c cleaning 129008 clauses out of 258035 with flag 38192415/8505001
335.65/334.42	c cleaning 129989 clauses out of 260026 with flag 38709750/8636000
341.99/340.83	c cleaning 130987 clauses out of 262037 with flag 39213841/8768000
348.82/347.73	c cleaning 132003 clauses out of 264050 with flag 39741599/8901000
355.86/354.80	c cleaning 133006 clauses out of 266047 with flag 40264133/9035000
362.70/361.73	c cleaning 133979 clauses out of 268041 with flag 40786708/9170000
369.63/368.79	c cleaning 135007 clauses out of 270062 with flag 41307519/9306000
376.58/375.78	c cleaning 136005 clauses out of 272055 with flag 41836779/9443000
383.67/382.86	c cleaning 137014 clauses out of 274050 with flag 42367908/9581000
390.96/390.13	c cleaning 138004 clauses out of 276036 with flag 42900439/9720000
398.38/397.54	c cleaning 138992 clauses out of 278034 with flag 43446180/9860002
405.77/404.91	c cleaning 139994 clauses out of 280041 with flag 43985959/10001001
413.26/412.41	c cleaning 140995 clauses out of 282046 with flag 44526615/10143000
421.04/420.23	c cleaning 141999 clauses out of 284051 with flag 45106123/10286000
428.83/428.02	c cleaning 143017 clauses out of 286053 with flag 45665880/10430001
436.61/435.85	c cleaning 144007 clauses out of 288035 with flag 46229577/10575000
444.69/443.99	c cleaning 144994 clauses out of 290029 with flag 46801787/10721001
452.18/451.47	c cleaning 145991 clauses out of 292035 with flag 47372426/10868001
460.37/459.69	c cleaning 146996 clauses out of 294045 with flag 47939396/11016002
468.21/467.46	c cleaning 148008 clauses out of 296047 with flag 48509736/11165000
475.91/475.13	c cleaning 149005 clauses out of 298041 with flag 49075558/11315002
484.09/483.37	c cleaning 149998 clauses out of 300035 with flag 49654230/11466001
492.17/491.43	c cleaning 151007 clauses out of 302036 with flag 50231276/11618000
499.86/499.15	c cleaning 152009 clauses out of 304029 with flag 50815494/11771000
508.14/507.49	c cleaning 152989 clauses out of 306020 with flag 51413934/11925000
516.92/516.27	c cleaning 154002 clauses out of 308032 with flag 52026451/12080001
525.80/525.19	c cleaning 155006 clauses out of 310030 with flag 52618439/12236001
533.99/533.39	c cleaning 155978 clauses out of 312023 with flag 53220270/12393000
542.16/541.58	c cleaning 157010 clauses out of 314045 with flag 53816474/12551000
551.62/550.90	c cleaning 158004 clauses out of 316036 with flag 54449233/12710001
559.91/559.24	c cleaning 158987 clauses out of 318032 with flag 55044210/12870001
568.29/567.68	c cleaning 159995 clauses out of 320044 with flag 55647075/13031000
576.68/576.07	c cleaning 160999 clauses out of 322050 with flag 56239338/13193001
585.06/584.49	c cleaning 162010 clauses out of 324050 with flag 56837252/13356000
593.44/592.83	c cleaning 162996 clauses out of 326040 with flag 57447307/13520000
601.83/601.23	c cleaning 164000 clauses out of 328044 with flag 58053160/13685000
609.92/609.39	c cleaning 165010 clauses out of 330045 with flag 58668404/13851001
618.50/617.94	c cleaning 166001 clauses out of 332035 with flag 59287130/14018001
627.08/626.54	c cleaning 166996 clauses out of 334033 with flag 59903722/14186000
635.86/635.29	c cleaning 167999 clauses out of 336038 with flag 60526808/14355001
644.75/644.15	c cleaning 169000 clauses out of 338039 with flag 61157384/14525001
653.73/653.13	c cleaning 170003 clauses out of 340038 with flag 61795671/14696000
662.71/662.13	c cleaning 171003 clauses out of 342037 with flag 62441114/14868002
670.98/670.45	c cleaning 171989 clauses out of 344032 with flag 63064949/15041000
680.17/679.60	c cleaning 173008 clauses out of 346044 with flag 63718765/15215001
688.95/688.43	c cleaning 173996 clauses out of 348035 with flag 64359548/15390000
697.44/696.90	c cleaning 174998 clauses out of 350039 with flag 64986714/15566000
706.62/706.10	c cleaning 176008 clauses out of 352042 with flag 65641314/15743001
715.10/714.67	c cleaning 176995 clauses out of 354036 with flag 66280362/15921003
725.08/724.53	c cleaning 178004 clauses out of 356039 with flag 66949041/16100001
733.36/732.81	c cleaning 179002 clauses out of 358034 with flag 67595554/16280000
742.34/741.88	c cleaning 180004 clauses out of 360033 with flag 68256831/16461001
751.02/750.51	c cleaning 180997 clauses out of 362029 with flag 68905355/16643001
760.91/760.42	c cleaning 182004 clauses out of 364033 with flag 69589482/16826002
770.09/769.69	c cleaning 182991 clauses out of 366028 with flag 70258758/17010001
780.57/780.14	c cleaning 184008 clauses out of 368036 with flag 70956638/17195000
790.94/790.56	c cleaning 184981 clauses out of 370028 with flag 71655694/17381000
801.03/800.66	c cleaning 186006 clauses out of 372048 with flag 72346268/17568001
812.41/812.07	c cleaning 187000 clauses out of 374043 with flag 73053054/17756002
823.28/822.96	c cleaning 188004 clauses out of 376042 with flag 73762054/17945001
834.16/833.83	c cleaning 189001 clauses out of 378038 with flag 74462619/18135001
844.61/844.26	c cleaning 190007 clauses out of 380038 with flag 75161021/18326002
855.29/854.97	c cleaning 191001 clauses out of 382030 with flag 75872961/18518001
866.86/866.53	c cleaning 191993 clauses out of 384028 with flag 76591103/18711000
877.44/877.13	c cleaning 193001 clauses out of 386035 with flag 77300719/18905000
888.31/888.09	c cleaning 194002 clauses out of 388035 with flag 78005337/19100001
900.28/900.07	c cleaning 195001 clauses out of 390032 with flag 78732117/19296000
911.45/911.29	c cleaning 196004 clauses out of 392031 with flag 79450835/19493000
923.02/922.89	c cleaning 196994 clauses out of 394027 with flag 80172208/19691000
934.10/933.96	c cleaning 197996 clauses out of 396033 with flag 80899107/19890000
944.69/944.52	c cleaning 199010 clauses out of 398038 with flag 81612810/20090001
955.07/954.99	c cleaning 200007 clauses out of 400028 with flag 82323779/20291001
965.54/965.46	c cleaning 201006 clauses out of 402021 with flag 83041029/20493001
975.83/975.78	c cleaning 201991 clauses out of 404014 with flag 83742791/20696000
987.30/987.25	c cleaning 203007 clauses out of 406023 with flag 84467622/20900000
997.68/997.69	c cleaning 204003 clauses out of 408016 with flag 85194614/21105000
1008.51/1008.38	c cleaning 204994 clauses out of 410013 with flag 85918951/21311000
1018.70/1018.52	c cleaning 205994 clauses out of 412020 with flag 86644313/21518001
1029.28/1029.16	c cleaning 206999 clauses out of 414026 with flag 87370247/21726001
1040.16/1040.06	c cleaning 207995 clauses out of 416027 with flag 88110262/21935001
1051.74/1051.65	c cleaning 209002 clauses out of 418032 with flag 88858090/22145001
1062.71/1062.67	c cleaning 210007 clauses out of 420031 with flag 89602333/22356002
1073.50/1073.42	c cleaning 211005 clauses out of 422023 with flag 90350500/22568001
1084.97/1084.98	c cleaning 211998 clauses out of 424017 with flag 91121457/22781000
1096.45/1096.49	c cleaning 212993 clauses out of 426020 with flag 91910615/22995001
1108.52/1108.53	c cleaning 214001 clauses out of 428026 with flag 92678772/23210000
1120.21/1120.26	c cleaning 214998 clauses out of 430025 with flag 93453524/23426000
1132.22/1131.88	c cleaning 216001 clauses out of 432027 with flag 94228540/23643000
1144.11/1143.71	c cleaning 216999 clauses out of 434027 with flag 95015824/23861001
1156.18/1155.89	c cleaning 217993 clauses out of 436028 with flag 95820786/24080001
1168.46/1168.19	c cleaning 219004 clauses out of 438034 with flag 96629485/24300000
1181.13/1180.89	c cleaning 220002 clauses out of 440031 with flag 97439243/24521001
1194.41/1194.14	c cleaning 220999 clauses out of 442030 with flag 98257692/24743002
1207.08/1206.84	c cleaning 222000 clauses out of 444029 with flag 99078165/24966000
1221.16/1220.94	c cleaning 223003 clauses out of 446029 with flag 99929325/25190000
1235.33/1235.19	c cleaning 223987 clauses out of 448026 with flag 100790970/25415000
1249.71/1249.51	c cleaning 225004 clauses out of 450039 with flag 101671755/25641000
1264.66/1264.40	c cleaning 226001 clauses out of 452036 with flag 102547902/25868001
1280.02/1279.88	c cleaning 226997 clauses out of 454034 with flag 103431633/26096000
1295.20/1295.07	c cleaning 228000 clauses out of 456037 with flag 104326626/26325000
1310.37/1310.22	c cleaning 229001 clauses out of 458037 with flag 105214632/26555000
1326.33/1326.21	c cleaning 230007 clauses out of 460037 with flag 106123664/26786001
1341.50/1341.41	c cleaning 231000 clauses out of 462030 with flag 107036444/27018001
1356.76/1356.80	c cleaning 232000 clauses out of 464029 with flag 107936463/27251000
1372.32/1372.35	c cleaning 233001 clauses out of 466029 with flag 108842684/27485000
1387.68/1387.70	c cleaning 234010 clauses out of 468028 with flag 109749412/27720000
1402.74/1402.81	c cleaning 234994 clauses out of 470018 with flag 110666628/27956000
1418.87/1418.84	c cleaning 236000 clauses out of 472024 with flag 111590439/28193000
1434.04/1434.10	c cleaning 237000 clauses out of 474025 with flag 112518888/28431001
1450.02/1450.08	c cleaning 238002 clauses out of 476025 with flag 113455436/28670001
1466.09/1466.10	c cleaning 239000 clauses out of 478023 with flag 114408964/28910001
1483.25/1483.39	c cleaning 239998 clauses out of 480023 with flag 115357745/29151001
1499.70/1499.83	c cleaning 241003 clauses out of 482025 with flag 116320952/29393001
1516.16/1516.38	c cleaning 241996 clauses out of 484021 with flag 117284049/29636000
1533.03/1533.28	c cleaning 243004 clauses out of 486026 with flag 118234106/29880001
1548.91/1549.06	c cleaning 244001 clauses out of 488022 with flag 119185157/30125001
1565.88/1566.09	c cleaning 244998 clauses out of 490021 with flag 120135212/30371001
1581.95/1582.16	c cleaning 246000 clauses out of 492022 with flag 121066173/30618000
1598.51/1598.78	c cleaning 246999 clauses out of 494023 with flag 122029631/30866001
1616.77/1617.05	c cleaning 248000 clauses out of 496024 with flag 123020938/31115001
1636.31/1636.62	c cleaning 249004 clauses out of 498023 with flag 124038099/31365000
1657.37/1657.74	c cleaning 250004 clauses out of 500020 with flag 125091000/31616001
1680.72/1681.17	c cleaning 251000 clauses out of 502016 with flag 126162731/31868001
1705.09/1705.47	c cleaning 252001 clauses out of 504015 with flag 127234494/32121000
1728.66/1729.06	c cleaning 253004 clauses out of 506015 with flag 128338995/32375001
1751.66/1751.61	c starts		: 26675
1751.66/1751.61	c conflicts		: 32625782
1751.66/1751.61	c decisions		: 45933925
1751.66/1751.61	c propagations		: 275001903
1751.66/1751.61	c inspects		: 32020724345
1751.66/1751.61	c shortcuts		: 0
1751.66/1751.61	c learnt literals	: 15
1751.66/1751.61	c learnt binary clauses	: 13
1751.66/1751.61	c learnt ternary clauses	: 24
1751.66/1751.62	c learnt constraints	: 32625766
1751.66/1751.62	c ignored constraints	: 0
1751.66/1751.62	c root simplifications	: 0
1751.66/1751.62	c removed literals (reason simplification)	: 0
1751.66/1751.62	c reason swapping (by a shorter reason)	: 0
1751.66/1751.62	c Calls to reduceDB	: 250
1751.66/1751.62	c Number of update (reduction) of LBD	: 7075836
1751.66/1751.62	c Imported unit clauses	: 0
1751.66/1751.62	c No decision after first conflict	: false
1751.66/1751.62	c number of reductions to clauses (during analyze)	: 0
1751.66/1751.62	c number of learned constraints concerned by reduction	: 0
1751.66/1751.62	c number of learning phase by resolution	: 0
1751.66/1751.62	c number of learning phase by cutting planes	: 0
1751.66/1751.62	c number of rounding to 1 operations	: 0
1751.66/1751.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1751.66/1751.62	c number of reductions of the coefficients by power 2 	: 0
1751.66/1751.62	c number of right shift for reduction by power 2 	: 0
1751.66/1751.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
1751.66/1751.62	c number of ending skipping 	: 0
1751.66/1751.62	c number of internal skipping 	: 0
1751.66/1751.62	c number of derivation steps 	: 0
1751.66/1751.62	c number of skipped derivation steps 	: 0
1751.66/1751.62	c number of remaining unassigned 	: 0
1751.66/1751.62	c number of remaining assigned 	: 0
1751.66/1751.62	c number of falsified literals weakened from reason	: 0
1751.66/1751.62	c number of falsified literals weakened from conflict	: 0
1751.66/1751.62	c time for arithmetic operations	: 0
1751.66/1751.62	c minimum degree of deleted constraints	: null
1751.66/1751.62	c maximum degree of deleted constraints	: null
1751.66/1751.62	c number of deleted constraints	: 0
1751.66/1751.62	c speed (assignments/second)	: 157014.47492153614
1751.66/1751.62	c non guided choices	: 2951640
1751.66/1751.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 503763
1751.66/1751.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 13
1751.66/1751.69	s UNSATISFIABLE
1751.66/1751.69	c Total wall clock time (in seconds): 1751.558

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: 63968 MiB (58471 MiB free)
  memory of node 1: 64473 MiB (60248 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451044-1721427924/watcher-4451044-1721427924 -o /tmp/evaluation-result-4451044-1721427924/solver-4451044-1721427924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451044-1721427924.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101995 s]*
/proc/loadavg: 4.12 4.11 3.95 5/333 1077119
/proc/meminfo: memFree=121524576/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=18975048 memory=65376 CPUtime=0.13 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 7202 0 0 0 11 2 0 0 20 0 18 0 194960458 19430449152 16344 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4743762 16344 5712 1 0 549318 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 1077936192 5743 0 0 0 6 2 0 0 20 0 18 0 194960458 19430449152 16344 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194960461 19430449152 16344 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194960461 19430449152 16344 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65376 KiB

[startup+0.207617 s]*
/proc/loadavg: 4.12 4.11 3.95 7/334 1077120
/proc/meminfo: memFree=121508356/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19041612 memory=81940 CPUtime=0.32 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 7709 0 0 0 29 3 0 0 20 0 19 0 194960458 19498610688 20485 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4760403 20485 5814 1 0 549906 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 1077936192 5957 0 0 0 15 2 0 0 20 0 19 0 194960458 19498610688 20485 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19041612 memory=17016 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 20485 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 20485 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194960476 19498610688 20485 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81940 KiB

[startup+0.306394 s]*
/proc/loadavg: 4.19 4.13 3.96 6/334 1077120
/proc/meminfo: memFree=121500404/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19041612 memory=89084 CPUtime=0.5 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 11453 0 0 0 46 4 0 0 20 0 19 0 194960458 19498610688 22271 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4760403 22271 5830 1 0 551804 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19041612 memory=-7306911702968001127 CPUtime=0.25 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 5963 0 0 0 23 2 0 0 20 0 19 0 194960458 19498610688 22271 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 22271 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 22271 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194960476 19498610688 22271 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89084 KiB

[startup+0.700395 s]
/proc/loadavg: 4.19 4.13 3.96 6/334 1077120
/proc/meminfo: memFree=121493828/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19041612 memory=101252 CPUtime=1.26 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 14539 0 0 0 122 4 0 0 20 0 19 0 194960458 19498610688 25313 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4760403 25313 5830 1 0 554138 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19041612 memory=46816 CPUtime=0.62 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 6058 0 0 0 60 2 0 0 20 0 19 0 194960458 19498610688 25313 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 25313 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 25313 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194960476 19498610688 25313 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101252 KiB

[startup+1.50041 s]
/proc/loadavg: 4.19 4.13 3.96 6/334 1077120
/proc/meminfo: memFree=121482224/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19041612 memory=114136 CPUtime=2.76 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 18466 0 0 0 271 5 0 0 20 0 19 0 194960458 19498610688 28534 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4760403 28534 5830 1 0 554141 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19041612 memory=13116 CPUtime=1.42 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 6373 0 0 0 139 3 0 0 20 0 19 0 194960458 19498610688 28534 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 28534 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 28534 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194960476 19498610688 28534 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114136 KiB

[startup+3.1064 s]
/proc/loadavg: 4.19 4.13 3.96 5/334 1077120
/proc/meminfo: memFree=121450916/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19041612 memory=139064 CPUtime=4.41 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 19317 0 0 0 436 5 0 0 20 0 19 0 194960458 19498610688 34766 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4760403 34766 5838 1 0 554143 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19041612 memory=0 CPUtime=3 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 6706 0 0 0 297 3 0 0 20 0 19 0 194960458 19498610688 34766 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19041612 memory=-7306911702968001127 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 34766 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194960461 19498610688 34766 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194960476 19498610688 34766 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139064 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.13 3.96 5/335 1077121
/proc/meminfo: memFree=121410368/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=179388 CPUtime=7.61 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 20523 0 0 0 754 7 0 0 20 0 20 0 194960458 19566772224 44847 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 44847 5838 1 0 554432 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=2212 CPUtime=6.17 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 6745 0 0 0 613 4 0 0 20 0 20 0 194960458 19566772224 44847 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 44847 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 44847 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 44847 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179388 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.12 3.96 5/335 1077122
/proc/meminfo: memFree=121410188/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=179448 CPUtime=14.01 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 21544 0 0 0 1394 7 0 0 20 0 20 0 194960458 19566772224 44862 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 44862 5838 1 0 554448 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=13116 CPUtime=12.56 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 7496 0 0 0 1252 4 0 0 20 0 20 0 194960458 19566772224 44862 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=179432 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 44862 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=46816 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 44862 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 44862 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179448 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.14 3.97 5/335 1077124
/proc/meminfo: memFree=121383336/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=206492 CPUtime=26.78 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 24636 0 0 0 2670 8 0 0 20 0 20 0 194960458 19566772224 51623 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 51623 5870 1 0 554448 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=6944656574621848725 CPUtime=25.27 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 8563 0 0 0 2523 4 0 0 20 0 20 0 194960458 19566772224 51623 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 51623 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=3522 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 51623 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 51623 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 206492 KiB

[startup+51.1061 s]
/proc/loadavg: 4.13 4.12 3.97 5/334 1077128
/proc/meminfo: memFree=121318696/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=270296 CPUtime=52.5 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 32896 0 0 0 5240 10 0 0 20 0 20 0 194960458 19566772224 67574 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 67574 5870 1 0 554448 0

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

/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1766 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=2034924 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1721.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2034924 KiB

[startup+1751.71 s]
# the end of solver process 1077101 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1750.89 s, system=0.914067 s

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

[startup+1728 s]*
/proc/loadavg: 4.20 4.18 4.12 6/334 1078007
/proc/meminfo: memFree=121643108/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2034924 CPUtime=1727.66 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 100310 0 0 0 172677 89 0 0 20 0 20 0 194960458 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 508731 5870 1 0 558833 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=33600 CPUtime=1721.01 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 41929 0 0 0 172087 14 0 0 20 0 20 0 194960458 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=-9187040381934336191 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1766 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1727.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2034924 KiB

[startup+1740.8 s]
/proc/loadavg: 4.25 4.19 4.13 5/334 1078009
/proc/meminfo: memFree=121614276/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2034924 CPUtime=1740.43 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 101004 0 0 0 173954 89 0 0 20 0 20 0 194960458 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 508731 5870 1 0 558833 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=-9187040381934336191 CPUtime=1733.78 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 42427 0 0 0 173364 14 0 0 20 0 20 0 194960458 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=16236 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1766 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 508731 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1740.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2034924 KiB

[startup+1747.2 s]
/proc/loadavg: 4.29 4.20 4.13 5/334 1078009
/proc/meminfo: memFree=121572176/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2036028 CPUtime=1747.06 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 105616 0 0 0 174617 89 0 0 20 0 20 0 194960458 19566772224 509007 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 509007 5870 1 0 558852 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=2034924 CPUtime=1740.16 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 43442 0 0 0 174002 14 0 0 20 0 20 0 194960458 19566772224 509007 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=2034968 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509007 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=104203991 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509007 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 509007 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1747.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2036028 KiB

[startup+1748.8 s]
/proc/loadavg: 4.29 4.20 4.13 5/334 1078012
/proc/meminfo: memFree=121567812/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2036064 CPUtime=1748.67 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 105769 0 0 0 174778 89 0 0 20 0 20 0 194960458 19566772224 509016 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 509016 5870 1 0 558852 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=11396 CPUtime=1741.76 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 43481 0 0 0 174162 14 0 0 20 0 20 0 194960458 19566772224 509016 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=2036028 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509016 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=280702822121728 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509016 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 509016 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1748.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2036064 KiB

[startup+1750.4 s]
/proc/loadavg: 4.29 4.20 4.13 5/334 1078012
/proc/meminfo: memFree=121549952/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2037556 CPUtime=1750.46 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 106170 0 0 0 174956 90 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 509389 5870 1 0 558852 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=2034924 CPUtime=1743.35 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 43487 0 0 0 174321 14 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=2034968 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=2037556 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1750.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2037556 KiB

[startup+1751.2 s]
/proc/loadavg: 4.26 4.20 4.13 5/334 1078012
/proc/meminfo: memFree=121539692/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2037556 CPUtime=1751.26 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 106170 0 0 0 175036 90 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 509389 5870 1 0 558852 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=2037556 CPUtime=1744.15 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 43487 0 0 0 174401 14 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=46816 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=-7306911702968001127 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1751.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2037556 KiB

[startup+1751.6 s]
/proc/loadavg: 4.26 4.20 4.13 5/334 1078012
/proc/meminfo: memFree=121539692/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19108176 memory=2037556 CPUtime=1751.66 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 106173 0 0 0 175076 90 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4777044 509389 5870 1 0 558852 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19108176 memory=46816 CPUtime=1744.55 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) R 1077098 1077101 1074922 0 -1 4194368 43490 0 0 0 174441 14 0 0 20 0 20 0 194960458 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19108176 memory=-7306911702968001127 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19108176 memory=2212 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 20 0 194960461 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077120] ppid=1077098 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/1077101/task/1077120/stat : 1077120 (Timer-0) S 1077098 1077101 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194960476 19566772224 509389 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1751.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2037556 KiB

[startup+1751.7 s]
/proc/loadavg: 4.26 4.20 4.13 5/334 1078012
/proc/meminfo: memFree=121539692/131524600 swapFree=131071996/131071996
[pid=1077101] ppid=1077098 vsize=19241304 memory=2038036 CPUtime=1751.79 cores=5,7
/proc/1077101/stat : 1077101 (java) S 1077098 1077101 1074922 0 -1 1077936128 107780 0 0 0 175089 90 0 0 20 0 19 0 194960458 19703095296 509509 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
/proc/1077101/statm: 4810326 509509 5866 1 0 559470 0
[pid=1077101/tid=1077103] ppid=1077098 vsize=19241304 memory=2034924 CPUtime=1744.56 cores=5,7
/proc/1077101/task/1077103/stat : 1077103 (java) S 1077098 1077101 1074922 0 -1 1077936192 44401 0 0 0 174442 14 0 0 20 0 19 0 194960458 19703095296 509509 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077112] ppid=1077098 vsize=19241304 memory=2034924 CPUtime=0 cores=5,7
/proc/1077101/task/1077112/stat : 1077112 (Finalizer) S 1077098 1077101 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194960461 19703095296 509509 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
[pid=1077101/tid=1077119] ppid=1077098 vsize=19241304 memory=2034924 CPUtime=0 cores=5,7
/proc/1077101/task/1077119/stat : 1077119 (Common-Cleaner) S 1077098 1077101 1074922 0 -1 1077936192 1864 0 0 0 0 0 0 0 20 0 19 0 194960461 19703095296 509509 134679101440 94037492563968 94037492567664 140735075864352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94037492575480 94037492576272 94037496606720 140735075865605 140735075865695 140735075865695 140735075872712 0
Current children cumulated CPU time: 1751.79 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2038036 KiB

Child status: 20

Real time (s): 1751.71
CPU time (s): 1751.81
CPU user time (s): 1750.89
CPU system time (s): 0.914067
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2038036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.89
system time used= 0.914067
maximum resident set size= 2039380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51587
involuntary context switches= 1690


# summary of solver processes directly reported to runsolver:
#   pid: 1077101
#   total CPU time (s): 1751.81
#   total CPU user time (s): 1750.89
#   total CPU system time (s): 0.914067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76779 second user time and 8.49326 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 00:25:37
IDJOB=4451044
IDBENCH=162341
IDSOLVER=3058
FILE ID=nodeC030/4451044-1721427924
RUNJOBID= nodeC030-1721425652-1074935
SLURM_JOB_ID= 7545616
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451044-1721427924/watcher-4451044-1721427924 -o /tmp/evaluation-result-4451044-1721427924/solver-4451044-1721427924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451044-1721427924.opb

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

MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1298482749

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121568928 kB
MemAvailable:   123982116 kB
Buffers:          517716 kB
Cached:          2716160 kB
SwapCached:            0 kB
Active:          1177076 kB
Inactive:        8097588 kB
Active(anon):       1540 kB
Inactive(anon):  6084872 kB
Active(file):    1175536 kB
Inactive(file):  2012716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               880 kB
Writeback:            36 kB
AnonPages:       6040084 kB
Mapped:           126920 kB
Shmem:             45912 kB
KReclaimable:     129520 kB
Slab:             248004 kB
SReclaimable:     129520 kB
SUnreclaim:       118484 kB
KernelStack:        5040 kB
PageTables:        21788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7330552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5732352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-20 00:54:48