Trace number 4448054

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 863.777 861.961

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
MD5SUMffca2f526e16739a014d253021fa9e9c
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 benchmark9.16941
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints1258
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1256
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.10	c os.arch		amd64
0.13/0.11	c Free memory 		2115194816
0.13/0.11	c Max memory 		16282288128
0.13/0.11	c Total memory 		2122317824
0.13/0.12	c Number of processors 	2
0.13/0.16	--- Begin Solver configuration ---
0.13/0.16	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.16	Learn all clauses as in MiniSAT
0.13/0.16	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.16	No reason simplification
0.13/0.16	Glucose 2.1 dynamic restart strategy
0.13/0.16	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.16	timeout=2147483s
0.13/0.16	DB Simplification allowed=false
0.13/0.16	Listener: none
0.13/0.16	--- End Solver configuration ---
0.13/0.16	c Pseudo Boolean Optimization by upper bound
0.13/0.16	c --- Begin Solver configuration ---
0.13/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.16	c Learn all clauses as in MiniSAT
0.13/0.16	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.16	c No reason simplification
0.13/0.16	c Glucose 2.1 dynamic restart strategy
0.13/0.16	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.16	c timeout=2147483s
0.13/0.16	c DB Simplification allowed=false
0.13/0.16	c Listener: none
0.13/0.16	c --- End Solver configuration ---
0.13/0.16	c solving HOME/instance-4448054-1721355505.opb
0.13/0.16	c reading problem ... 
0.13/0.16	c  no objective function found
0.33/0.24	c ... done. Wall clock time 0.071s.
0.33/0.24	c declared #vars     901
0.33/0.24	c #constraints  1258
0.33/0.24	c constraints type 
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.33/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1256
0.33/0.24	c 1258 constraints processed.
0.70/0.49	c cleaning 2494 clauses out of 5001 with flag 23052/5001
1.08/0.69	c cleaning 4241 clauses out of 8506 with flag 48895/11000
1.67/0.92	c cleaning 5609 clauses out of 11265 with flag 84797/18000
1.87/1.04	c cleaning 6801 clauses out of 13659 with flag 124166/26003
2.07/1.15	c cleaning 7883 clauses out of 15855 with flag 170664/35000
2.22/1.30	c cleaning 8941 clauses out of 17972 with flag 222173/45000
2.62/1.44	c cleaning 9995 clauses out of 20031 with flag 279363/56000
2.82/1.61	c cleaning 10988 clauses out of 22036 with flag 343699/68000
2.92/1.78	c cleaning 11979 clauses out of 24049 with flag 412857/81001
3.12/1.98	c cleaning 13019 clauses out of 26070 with flag 491961/95001
3.42/2.21	c cleaning 13997 clauses out of 28050 with flag 575626/110000
3.62/2.43	c cleaning 14985 clauses out of 30053 with flag 667340/126000
3.89/2.68	c cleaning 15990 clauses out of 32069 with flag 762020/143001
4.25/2.95	c cleaning 16975 clauses out of 34079 with flag 862134/161001
4.55/3.25	c cleaning 18002 clauses out of 36103 with flag 967086/180000
4.85/3.59	c cleaning 18992 clauses out of 38101 with flag 1083350/200000
5.26/3.93	c cleaning 20014 clauses out of 40110 with flag 1202002/221001
5.56/4.28	c cleaning 21006 clauses out of 42096 with flag 1322204/243001
5.98/4.68	c cleaning 22024 clauses out of 44090 with flag 1450875/266001
6.49/5.12	c cleaning 22988 clauses out of 46065 with flag 1587752/290000
6.88/5.55	c cleaning 23988 clauses out of 48078 with flag 1719387/315001
7.39/6.02	c cleaning 24995 clauses out of 50090 with flag 1856527/341001
7.88/6.52	c cleaning 26008 clauses out of 52095 with flag 1999427/368001
8.40/7.10	c cleaning 27027 clauses out of 54086 with flag 2148381/396000
8.98/7.65	c cleaning 27996 clauses out of 56059 with flag 2299766/425000
9.58/8.23	c cleaning 28982 clauses out of 58063 with flag 2455002/455000
10.18/8.85	c cleaning 30023 clauses out of 60081 with flag 2615468/486000
10.88/9.53	c cleaning 30983 clauses out of 62059 with flag 2780789/518001
11.68/10.31	c cleaning 31994 clauses out of 64076 with flag 2955509/551001
12.40/11.06	c cleaning 33009 clauses out of 66081 with flag 3131131/585000
13.19/11.84	c cleaning 33994 clauses out of 68073 with flag 3318824/620001
13.99/12.67	c cleaning 35012 clauses out of 70078 with flag 3511346/656000
14.88/13.53	c cleaning 35997 clauses out of 72066 with flag 3705221/693000
15.78/14.46	c cleaning 36996 clauses out of 74070 with flag 3901131/731001
16.78/15.40	c cleaning 37995 clauses out of 76073 with flag 4105265/770000
17.79/16.48	c cleaning 39021 clauses out of 78079 with flag 4305546/810001
18.88/17.56	c cleaning 39996 clauses out of 80058 with flag 4518546/851001
19.98/18.68	c cleaning 41001 clauses out of 82062 with flag 4732092/893001
21.18/19.85	c cleaning 41995 clauses out of 84060 with flag 4944970/936000
22.39/21.06	c cleaning 42997 clauses out of 86065 with flag 5158968/980000
23.67/22.36	c cleaning 44020 clauses out of 88069 with flag 5382449/1025001
24.97/23.63	c cleaning 44969 clauses out of 90049 with flag 5604315/1071001
26.26/24.99	c cleaning 46008 clauses out of 92080 with flag 5837268/1118001
27.76/26.40	c cleaning 47014 clauses out of 94072 with flag 6072981/1166001
29.26/27.99	c cleaning 47989 clauses out of 96057 with flag 6312583/1215000
30.86/29.50	c cleaning 49003 clauses out of 98070 with flag 6557065/1265002
32.37/31.02	c cleaning 49990 clauses out of 100065 with flag 6799069/1316000
33.95/32.64	c cleaning 51010 clauses out of 102077 with flag 7047138/1368002
35.55/34.28	c cleaning 52002 clauses out of 104065 with flag 7298765/1421000
37.25/35.96	c cleaning 52987 clauses out of 106063 with flag 7551837/1475000
39.05/37.71	c cleaning 54004 clauses out of 108077 with flag 7817488/1530001
40.84/39.53	c cleaning 55019 clauses out of 110072 with flag 8080405/1586000
42.85/41.57	c cleaning 55999 clauses out of 112055 with flag 8350646/1643002
44.75/43.45	c cleaning 57009 clauses out of 114054 with flag 8621232/1701000
46.64/45.39	c cleaning 57999 clauses out of 116045 with flag 8894643/1760000
48.74/47.42	c cleaning 58998 clauses out of 118047 with flag 9173325/1820001
50.84/49.53	c cleaning 59990 clauses out of 120048 with flag 9456273/1881000
53.03/51.76	c cleaning 61007 clauses out of 122059 with flag 9742959/1943001
55.35/54.07	c cleaning 62008 clauses out of 124051 with flag 10035030/2006000
57.83/56.59	c cleaning 62990 clauses out of 126043 with flag 10326483/2070000
60.22/58.90	c cleaning 64005 clauses out of 128054 with flag 10618189/2135001
62.62/61.33	c cleaning 64998 clauses out of 130049 with flag 10917069/2201001
65.02/63.79	c cleaning 65978 clauses out of 132051 with flag 11217232/2268001
67.61/66.38	c cleaning 67012 clauses out of 134073 with flag 11520470/2336001
70.33/69.04	c cleaning 68011 clauses out of 136060 with flag 11829935/2405000
73.22/71.91	c cleaning 68996 clauses out of 138050 with flag 12141053/2475001
75.91/74.61	c cleaning 70007 clauses out of 140053 with flag 12459984/2546000
78.51/77.29	c cleaning 70999 clauses out of 142049 with flag 12772678/2618003
81.50/80.24	c cleaning 72003 clauses out of 144047 with flag 13102386/2691000
84.41/83.15	c cleaning 73011 clauses out of 146045 with flag 13429732/2765001
87.54/86.23	c cleaning 74002 clauses out of 148033 with flag 13755418/2840000
90.55/89.29	c cleaning 74982 clauses out of 150031 with flag 14094537/2916000
93.54/92.29	c cleaning 76008 clauses out of 152049 with flag 14427793/2993000
96.64/95.35	c cleaning 77011 clauses out of 154043 with flag 14761977/3071002
100.03/98.72	c cleaning 78002 clauses out of 156030 with flag 15106880/3150000
103.34/102.02	c cleaning 79000 clauses out of 158029 with flag 15450230/3230001
106.82/105.50	c cleaning 79989 clauses out of 160029 with flag 15799330/3311001
110.01/108.72	c cleaning 81014 clauses out of 162041 with flag 16148000/3393002
113.60/112.36	c cleaning 81995 clauses out of 164026 with flag 16517544/3476001
117.20/115.91	c cleaning 82979 clauses out of 166030 with flag 16881890/3560000
121.11/119.80	c cleaning 84014 clauses out of 168051 with flag 17253380/3645000
124.60/123.33	c cleaning 84997 clauses out of 170039 with flag 17619366/3731002
128.42/127.18	c cleaning 86003 clauses out of 172040 with flag 18004125/3818000
132.41/131.14	c cleaning 86995 clauses out of 174038 with flag 18386234/3906001
136.30/135.08	c cleaning 88010 clauses out of 176042 with flag 18762373/3995000
140.48/139.26	c cleaning 88986 clauses out of 178033 with flag 19145396/4085001
144.48/143.28	c cleaning 90006 clauses out of 180048 with flag 19527089/4176002
148.77/147.57	c cleaning 90994 clauses out of 182040 with flag 19915019/4268000
153.17/152.01	c cleaning 92002 clauses out of 184048 with flag 20318754/4361002
157.87/156.61	c cleaning 93003 clauses out of 186044 with flag 20722221/4455000
162.16/160.95	c cleaning 94005 clauses out of 188041 with flag 21120797/4550000
166.46/165.24	c cleaning 94999 clauses out of 190037 with flag 21512385/4646001
170.85/169.69	c cleaning 96010 clauses out of 192037 with flag 21904522/4743000
175.44/174.21	c cleaning 96992 clauses out of 194028 with flag 22307382/4841001
180.25/179.03	c cleaning 97987 clauses out of 196037 with flag 22710971/4940002
184.72/183.54	c cleaning 99005 clauses out of 198049 with flag 23116513/5040001
189.62/188.43	c cleaning 99998 clauses out of 200043 with flag 23529209/5141000
194.65/193.42	c cleaning 101007 clauses out of 202046 with flag 23937959/5243001
199.74/198.58	c cleaning 102003 clauses out of 204040 with flag 24349741/5346002
204.73/203.52	c cleaning 103008 clauses out of 206036 with flag 24760758/5450001
209.52/208.36	c cleaning 103999 clauses out of 208028 with flag 25175448/5555001
214.83/213.64	c cleaning 104989 clauses out of 210029 with flag 25594660/5661001
219.92/218.73	c cleaning 106004 clauses out of 212040 with flag 26022166/5768001
224.71/223.57	c cleaning 107004 clauses out of 214036 with flag 26449167/5876001
229.91/228.71	c cleaning 108003 clauses out of 216031 with flag 26869003/5985000
235.21/234.03	c cleaning 108997 clauses out of 218028 with flag 27296051/6095000
240.50/239.32	c cleaning 110004 clauses out of 220031 with flag 27723373/6206000
245.48/244.34	c cleaning 111002 clauses out of 222028 with flag 28143394/6318001
250.87/249.73	c cleaning 112005 clauses out of 224026 with flag 28578279/6431001
256.18/255.08	c cleaning 112995 clauses out of 226021 with flag 29009410/6545001
261.18/260.07	c cleaning 113999 clauses out of 228025 with flag 29447271/6660000
266.55/265.40	c cleaning 115001 clauses out of 230027 with flag 29881175/6776001
272.26/271.18	c cleaning 116003 clauses out of 232025 with flag 30317983/6893000
277.64/276.59	c cleaning 116996 clauses out of 234023 with flag 30756223/7011001
283.43/282.36	c cleaning 118010 clauses out of 236026 with flag 31192501/7130000
289.33/288.22	c cleaning 118993 clauses out of 238017 with flag 31635521/7250001
294.62/293.57	c cleaning 120000 clauses out of 240023 with flag 32083564/7371000
300.31/299.20	c cleaning 121001 clauses out of 242023 with flag 32533700/7493000
306.12/305.02	c cleaning 121998 clauses out of 244023 with flag 32982922/7616001
311.72/310.68	c cleaning 122988 clauses out of 246025 with flag 33426451/7740001
317.31/316.28	c cleaning 124008 clauses out of 248036 with flag 33877936/7865000
323.40/322.39	c cleaning 125001 clauses out of 250030 with flag 34331082/7991002
329.30/328.28	c cleaning 125997 clauses out of 252028 with flag 34783821/8118001
335.29/334.25	c cleaning 127003 clauses out of 254031 with flag 35236186/8246001
341.21/340.16	c cleaning 127999 clauses out of 256027 with flag 35692729/8375000
347.38/346.37	c cleaning 128985 clauses out of 258029 with flag 36156226/8505001
353.58/352.56	c cleaning 130011 clauses out of 260044 with flag 36627140/8636001
359.77/358.76	c cleaning 131010 clauses out of 262034 with flag 37099044/8768002
366.27/365.20	c cleaning 132002 clauses out of 264022 with flag 37578136/8901000
372.66/371.67	c cleaning 132997 clauses out of 266021 with flag 38061926/9035001
379.85/378.81	c cleaning 133995 clauses out of 268024 with flag 38567949/9170001
387.05/386.10	c cleaning 135004 clauses out of 270028 with flag 39072043/9306000
394.74/393.70	c cleaning 136001 clauses out of 272024 with flag 39589834/9443000
402.05/401.10	c cleaning 136997 clauses out of 274023 with flag 40109986/9581000
409.32/408.32	c cleaning 138006 clauses out of 276027 with flag 40628784/9720001
416.61/415.64	c cleaning 139001 clauses out of 278020 with flag 41154244/9860000
424.50/423.52	c cleaning 139998 clauses out of 280020 with flag 41682013/10001001
432.64/431.62	c cleaning 140999 clauses out of 282021 with flag 42222255/10143000
440.32/439.31	c cleaning 142001 clauses out of 284023 with flag 42768892/10286001
448.61/447.69	c cleaning 143000 clauses out of 286021 with flag 43321469/10430000
456.59/455.62	c cleaning 144000 clauses out of 288021 with flag 43873404/10575000
464.19/463.26	c cleaning 144999 clauses out of 290022 with flag 44426986/10721001
472.77/471.84	c cleaning 146000 clauses out of 292023 with flag 44983658/10868001
480.58/479.62	c cleaning 146997 clauses out of 294022 with flag 45539354/11016000
488.56/487.68	c cleaning 148003 clauses out of 296025 with flag 46103805/11165000
497.35/496.49	c cleaning 148994 clauses out of 298023 with flag 46686760/11315001
506.04/505.15	c cleaning 150005 clauses out of 300029 with flag 47276228/11466001
514.71/513.83	c cleaning 151001 clauses out of 302023 with flag 47868152/11618000
523.91/523.10	c cleaning 151995 clauses out of 304023 with flag 48471124/11771001
533.12/532.22	c cleaning 153003 clauses out of 306028 with flag 49081239/11925001
542.60/541.71	c cleaning 153998 clauses out of 308025 with flag 49696751/12080001
552.59/551.79	c cleaning 155004 clauses out of 310027 with flag 50315840/12236001
562.37/561.53	c cleaning 155994 clauses out of 312022 with flag 50945238/12393000
572.42/571.58	c cleaning 157002 clauses out of 314028 with flag 51575739/12551000
582.80/581.92	c cleaning 158004 clauses out of 316026 with flag 52212132/12710000
593.28/592.47	c cleaning 159001 clauses out of 318022 with flag 52853299/12870000
604.46/603.61	c cleaning 160005 clauses out of 320021 with flag 53490760/13031000
615.14/614.34	c cleaning 160999 clauses out of 322016 with flag 54139458/13193000
626.78/626.09	c cleaning 161998 clauses out of 324019 with flag 54795677/13356002
638.48/637.85	c cleaning 162999 clauses out of 326019 with flag 55453108/13520000
649.48/648.97	c cleaning 163999 clauses out of 328020 with flag 56098279/13685000
660.09/659.63	c cleaning 164995 clauses out of 330021 with flag 56748401/13851000
669.96/669.59	c cleaning 166007 clauses out of 332026 with flag 57389157/14018000
678.99/678.66	c cleaning 166997 clauses out of 334020 with flag 58026873/14186001
688.50/688.20	c cleaning 167999 clauses out of 336022 with flag 58658077/14355000
697.62/697.31	c cleaning 169006 clauses out of 338023 with flag 59299567/14525000
706.65/706.45	c cleaning 169998 clauses out of 340017 with flag 59971875/14696000
716.56/716.40	c cleaning 171002 clauses out of 342019 with flag 60641291/14868000
726.68/726.68	c cleaning 172005 clauses out of 344018 with flag 61307914/15041001
737.34/737.39	c cleaning 172994 clauses out of 346012 with flag 61979408/15215000
748.25/748.39	c cleaning 174000 clauses out of 348018 with flag 62662852/15390000
759.45/759.63	c cleaning 174999 clauses out of 350018 with flag 63367029/15566000
770.46/770.73	c cleaning 176004 clauses out of 352019 with flag 64087288/15743000
781.66/782.05	c cleaning 177000 clauses out of 354016 with flag 64825936/15921001
793.52/793.47	c cleaning 177998 clauses out of 356015 with flag 65541517/16100000
807.41/807.38	c cleaning 179003 clauses out of 358017 with flag 66319420/16280000
822.89/822.82	c cleaning 180001 clauses out of 360015 with flag 67101044/16461001
838.14/838.08	c cleaning 180999 clauses out of 362013 with flag 67890489/16643000
854.56/853.47	c cleaning 182004 clauses out of 364015 with flag 68685742/16826001
863.53/861.86	c starts		: 19998
863.53/861.86	c conflicts		: 16950669
863.53/861.86	c decisions		: 24128737
863.53/861.86	c propagations		: 137285848
863.53/861.86	c inspects		: 15867077084
863.53/861.86	c shortcuts		: 0
863.53/861.86	c learnt literals	: 13
863.53/861.86	c learnt binary clauses	: 11
863.53/861.86	c learnt ternary clauses	: 21
863.53/861.86	c learnt constraints	: 16950655
863.53/861.86	c ignored constraints	: 0
863.53/861.86	c root simplifications	: 0
863.53/861.86	c removed literals (reason simplification)	: 0
863.53/861.86	c reason swapping (by a shorter reason)	: 0
863.53/861.86	c Calls to reduceDB	: 179
863.53/861.86	c Number of update (reduction) of LBD	: 3540486
863.53/861.86	c Imported unit clauses	: 0
863.53/861.86	c No decision after first conflict	: false
863.53/861.86	c number of reductions to clauses (during analyze)	: 0
863.53/861.86	c number of learned constraints concerned by reduction	: 0
863.53/861.86	c number of learning phase by resolution	: 0
863.53/861.86	c number of learning phase by cutting planes	: 0
863.53/861.86	c number of rounding to 1 operations	: 0
863.53/861.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
863.53/861.86	c number of reductions of the coefficients by power 2 	: 0
863.53/861.86	c number of right shift for reduction by power 2 	: 0
863.53/861.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
863.53/861.86	c number of ending skipping 	: 0
863.53/861.86	c number of internal skipping 	: 0
863.53/861.86	c number of derivation steps 	: 0
863.53/861.86	c number of skipped derivation steps 	: 0
863.53/861.86	c number of remaining unassigned 	: 0
863.53/861.86	c number of remaining assigned 	: 0
863.53/861.86	c number of falsified literals weakened from reason	: 0
863.53/861.86	c number of falsified literals weakened from conflict	: 0
863.53/861.86	c time for arithmetic operations	: 0
863.53/861.86	c minimum degree of deleted constraints	: null
863.53/861.86	c maximum degree of deleted constraints	: null
863.53/861.86	c number of deleted constraints	: 0
863.53/861.87	c speed (assignments/second)	: 159333.82542733257
863.53/861.87	c non guided choices	: 1056968
863.68/861.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306654
863.68/861.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11
863.68/861.94	s UNSATISFIABLE
863.68/861.94	c Total wall clock time (in seconds): 861.777

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448054-1721355505/watcher-4448054-1721355505 -o /tmp/evaluation-result-4448054-1721355505/solver-4448054-1721355505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448054-1721355505.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101249 s]*
/proc/loadavg: 4.20 4.11 3.76 6/315 981799
/proc/meminfo: memFree=121901168/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=18975048 memory=58224 CPUtime=0.13 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 7056 0 0 0 11 2 0 0 20 0 18 0 187706890 19430449152 14556 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4743762 14556 5623 1 0 551326 0
[pid=981781/tid=981783] ppid=981778 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) D 981778 981781 980639 0 -1 4194368 5651 0 0 0 7 1 0 0 20 0 18 0 187706890 19430449152 14556 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187706893 19430449152 14556 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187706894 19430449152 14556 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58224 KiB

[startup+0.213912 s]*
/proc/loadavg: 4.20 4.11 3.76 7/315 981799
/proc/meminfo: memFree=121886640/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=18975048 memory=73240 CPUtime=0.33 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 7625 0 0 0 31 2 0 0 20 0 18 0 187706890 19430449152 18310 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4743762 18310 5803 1 0 551715 0
[pid=981781/tid=981783] ppid=981778 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 5910 0 0 0 18 2 0 0 20 0 18 0 187706890 19430449152 18310 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187706893 19430449152 18310 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187706894 19430449152 18310 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73240 KiB

[startup+0.310552 s]*
/proc/loadavg: 4.20 4.11 3.76 6/316 981800
/proc/meminfo: memFree=121878820/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19041612 memory=81028 CPUtime=0.52 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 8712 0 0 0 49 3 0 0 20 0 19 0 187706890 19498610688 20257 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4760403 20257 5803 1 0 552830 0
[pid=981781/tid=981783] ppid=981778 vsize=19041612 memory=-8599169851440014012 CPUtime=0.29 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 5965 0 0 0 27 2 0 0 20 0 19 0 187706890 19498610688 20257 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187706893 19498610688 20257 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187706894 19498610688 20257 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187706914 19498610688 20257 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81028 KiB

[startup+0.70026 s]
/proc/loadavg: 4.20 4.11 3.76 6/316 981800
/proc/meminfo: memFree=121868680/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19041612 memory=98584 CPUtime=1.27 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 14216 0 0 0 123 4 0 0 20 0 19 0 187706890 19498610688 24646 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4760403 24646 5835 1 0 555553 0
[pid=981781/tid=981783] ppid=981778 vsize=19041612 memory=11992 CPUtime=0.67 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 6013 0 0 0 65 2 0 0 20 0 19 0 187706890 19498610688 24646 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187706893 19498610688 24646 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187706894 19498610688 24646 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19041612 memory=25208 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187706914 19498610688 24646 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98584 KiB

[startup+1.50025 s]
/proc/loadavg: 4.20 4.11 3.76 6/316 981800
/proc/meminfo: memFree=121856904/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19041612 memory=111380 CPUtime=2.72 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 18752 0 0 0 267 5 0 0 20 0 19 0 187706890 19498610688 27845 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4760403 27845 5835 1 0 556030 0
[pid=981781/tid=981783] ppid=981778 vsize=19041612 memory=11992 CPUtime=1.46 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 6390 0 0 0 144 2 0 0 20 0 19 0 187706890 19498610688 27845 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187706893 19498610688 27845 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187706894 19498610688 27845 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187706914 19498610688 27845 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111380 KiB

[startup+3.11297 s]
/proc/loadavg: 4.26 4.12 3.76 5/317 981801
/proc/meminfo: memFree=121827636/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19041612 memory=134096 CPUtime=4.46 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 19590 0 0 0 441 5 0 0 20 0 19 0 187706890 19498610688 33524 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4760403 33524 5842 1 0 556032 0
[pid=981781/tid=981783] ppid=981778 vsize=19041612 memory=0 CPUtime=3.07 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 6680 0 0 0 304 3 0 0 20 0 19 0 187706890 19498610688 33524 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187706893 19498610688 33524 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19041612 memory=115504 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187706894 19498610688 33524 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187706914 19498610688 33524 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134096 KiB

[startup+6.30038 s]
/proc/loadavg: 4.26 4.12 3.76 5/317 981801
/proc/meminfo: memFree=121800676/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19041612 memory=160940 CPUtime=7.68 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 20576 0 0 0 762 6 0 0 20 0 19 0 187706890 19498610688 40235 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4760403 40235 5858 1 0 556048 0
[pid=981781/tid=981783] ppid=981778 vsize=19041612 memory=11992 CPUtime=6.25 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 7207 0 0 0 622 3 0 0 20 0 19 0 187706890 19498610688 40235 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187706893 19498610688 40235 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19041612 memory=5868588781806901592 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187706894 19498610688 40235 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19041612 memory=5512 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187706914 19498610688 40235 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160940 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.12 3.77 5/318 981804
/proc/meminfo: memFree=121783776/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=175796 CPUtime=14.09 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 23205 0 0 0 1402 7 0 0 20 0 20 0 187706890 19566772224 43949 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 43949 5874 1 0 556337 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=0 CPUtime=12.59 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 7911 0 0 0 1256 3 0 0 20 0 20 0 187706890 19566772224 43949 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=175796 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 43949 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 43949 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 43949 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175796 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.12 3.77 5/318 981805
/proc/meminfo: memFree=121775280/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=184088 CPUtime=26.86 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 25395 0 0 0 2678 8 0 0 20 0 20 0 187706890 19566772224 46022 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 46022 5874 1 0 556337 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=175796 CPUtime=25.3 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 8691 0 0 0 2527 3 0 0 20 0 20 0 187706890 19566772224 46022 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 46022 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=4357 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 46022 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=184072 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 46022 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184088 KiB

[startup+51.1131 s]
/proc/loadavg: 4.20 4.12 3.78 5/318 981811
/proc/meminfo: memFree=121723164/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=235644 CPUtime=52.45 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 28857 0 0 0 5235 10 0 0 20 0 20 0 187706890 19566772224 58911 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 58911 5874 1 0 556337 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=11600 CPUtime=50.6 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 10158 0 0 0 5056 4 0 0 20 0 20 0 187706890 19566772224 58911 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0

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

/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 331781 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=1327124 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 331781 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 822.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327124 KiB

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

# cumulated CPU time of all completed processes:  user=862.969 s, system=0.808084 s

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

[startup+844.8 s]
/proc/loadavg: 4.56 4.45 4.14 5/322 982566
/proc/meminfo: memFree=119428060/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1333268 CPUtime=844.91 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 65274 0 0 0 84416 75 0 0 20 0 20 0 187706890 19566772224 333317 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 333317 5874 1 0 560525 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=1333268 CPUtime=837.37 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 24203 0 0 0 83730 7 0 0 20 0 20 0 187706890 19566772224 333317 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 333317 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 333317 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=1327124 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 333317 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 844.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333268 KiB

[startup+851.21 s]
/proc/loadavg: 4.52 4.44 4.14 5/322 982567
/proc/meminfo: memFree=119428068/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1336656 CPUtime=851.51 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 68614 0 0 0 85076 75 0 0 20 0 20 0 187706890 19566772224 334164 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 334164 5874 1 0 560538 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=1333268 CPUtime=843.76 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 24842 0 0 0 84369 7 0 0 20 0 20 0 187706890 19566772224 334164 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=1333268 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 334164 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 334164 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 334164 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 851.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1336656 KiB

[startup+857.6 s]
/proc/loadavg: 4.44 4.43 4.14 5/322 982567
/proc/meminfo: memFree=119410008/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1337852 CPUtime=858.8 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 74551 0 0 0 85802 78 0 0 20 0 20 0 187706890 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 334463 5874 1 0 563169 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=-8599169851440014012 CPUtime=850.14 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 24940 0 0 0 85007 7 0 0 20 0 20 0 187706890 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=1333268 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=1327124 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=1351328 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 858.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337852 KiB

[startup+859.2 s]
/proc/loadavg: 4.44 4.43 4.14 5/322 982569
/proc/meminfo: memFree=119423392/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1337852 CPUtime=860.4 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 74553 0 0 0 85962 78 0 0 20 0 20 0 187706890 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 334463 5874 1 0 563169 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=5512 CPUtime=851.74 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 24942 0 0 0 85167 7 0 0 20 0 20 0 187706890 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=25208 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 334463 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 860.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337852 KiB

[startup+860.8 s]
/proc/loadavg: 4.44 4.43 4.14 5/322 982569
/proc/meminfo: memFree=119423420/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1337892 CPUtime=862.02 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 75158 0 0 0 86124 78 0 0 20 0 20 0 187706890 19566772224 334473 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 334473 5874 1 0 563169 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=11600 CPUtime=853.33 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 25310 0 0 0 85326 7 0 0 20 0 20 0 187706890 19566772224 334473 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=1351320 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 334473 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 334473 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 334473 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 862.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337892 KiB

[startup+861.604 s]
/proc/loadavg: 4.44 4.43 4.14 6/322 982569
/proc/meminfo: memFree=119423388/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1340280 CPUtime=863.31 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 76564 0 0 0 86252 79 0 0 20 0 20 0 187706890 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 335070 5874 1 0 563169 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=-8599169851440014012 CPUtime=854.13 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 25659 0 0 0 85406 7 0 0 20 0 20 0 187706890 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 863.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340280 KiB

[startup+861.8 s]
/proc/loadavg: 4.44 4.43 4.14 6/322 982569
/proc/meminfo: memFree=119423388/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19108176 memory=1340280 CPUtime=863.53 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 76573 0 0 0 86274 79 0 0 20 0 20 0 187706890 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4777044 335070 5874 1 0 563169 0
[pid=981781/tid=981783] ppid=981778 vsize=19108176 memory=-8599169851440014012 CPUtime=854.33 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) R 981778 981781 980639 0 -1 4194368 25663 0 0 0 85426 7 0 0 20 0 20 0 187706890 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19108176 memory=8328137078682933384 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19108176 memory=7245577299922993209 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981800] ppid=981778 vsize=19108176 memory=11252 CPUtime=0 cores=1,3
/proc/981781/task/981800/stat : 981800 (Timer-0) S 981778 981781 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187706914 19566772224 335070 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 863.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340280 KiB

[startup+861.905 s]
/proc/loadavg: 4.44 4.43 4.14 6/322 982569
/proc/meminfo: memFree=119423388/131655788 swapFree=131071996/131071996
[pid=981781] ppid=981778 vsize=19241304 memory=1340756 CPUtime=863.68 cores=1,3
/proc/981781/stat : 981781 (java) S 981778 981781 980639 0 -1 1077936128 77976 0 0 0 86289 79 0 0 20 0 20 0 187706890 19703095296 335189 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
/proc/981781/statm: 4810326 335189 5873 1 0 563787 0
[pid=981781/tid=981783] ppid=981778 vsize=19241304 memory=5512 CPUtime=854.38 cores=1,3
/proc/981781/task/981783/stat : 981783 (java) S 981778 981781 980639 0 -1 1077936192 26586 0 0 0 85431 7 0 0 20 0 20 0 187706890 19703095296 335189 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981792] ppid=981778 vsize=19241304 memory=1327124 CPUtime=0 cores=1,3
/proc/981781/task/981792/stat : 981792 (Finalizer) S 981778 981781 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187706893 19703095296 335189 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
[pid=981781/tid=981799] ppid=981778 vsize=19241304 memory=43996 CPUtime=0 cores=1,3
/proc/981781/task/981799/stat : 981799 (Common-Cleaner) S 981778 981781 980639 0 -1 1077936192 717 0 0 0 0 0 0 0 20 0 20 0 187706894 19703095296 335189 134679101440 94826992771072 94826992774768 140728772196352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826992782584 94826992783376 94827018633216 140728772199430 140728772199520 140728772199520 140728772206536 0
Current children cumulated CPU time: 863.68 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1340756 KiB

Child status: 20

Real time (s): 861.961
CPU time (s): 863.777
CPU user time (s): 862.969
CPU system time (s): 0.808084
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1351328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 862.969
system time used= 0.808084
maximum resident set size= 1352100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27221
involuntary context switches= 2942


# summary of solver processes directly reported to runsolver:
#   pid: 981781
#   total CPU time (s): 863.777
#   total CPU user time (s): 862.969
#   total CPU system time (s): 0.808084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84046 second user time and 8.27416 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:18:37
IDJOB=4448054
IDBENCH=160360
IDSOLVER=3058
FILE ID=nodeC008/4448054-1721355505
RUNJOBID= nodeC008-1721354365-980651
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448054-1721355505/watcher-4448054-1721355505 -o /tmp/evaluation-result-4448054-1721355505/solver-4448054-1721355505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448054-1721355505.opb

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

MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=867884949

nodeC008.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	: 0xb00001f
cpu MHz		: 3660.421
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2594.044
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.250
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2693.825
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.165
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.397
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.451
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.373
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121939140 kB
MemAvailable:   124218880 kB
Buffers:          542792 kB
Cached:          2555800 kB
SwapCached:            0 kB
Active:          1057112 kB
Inactive:        8057832 kB
Active(anon):       1476 kB
Inactive(anon):  6052616 kB
Active(file):    1055636 kB
Inactive(file):  2005216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               940 kB
Writeback:             0 kB
AnonPages:       6016392 kB
Mapped:           126224 kB
Shmem:             37704 kB
KReclaimable:     117836 kB
Slab:             222716 kB
SReclaimable:     117836 kB
SUnreclaim:       104880 kB
KernelStack:        4800 kB
PageTables:        21872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7810960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5668864 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:32:59