Trace number 4448114

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 1133.99 1131.55

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-plain.pb.metafix.opb
MD5SUM43b43b4642a1f471c30a83b83143bc9f
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 benchmark107.465
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 constraints3602
Number of constraints which are clauses3602
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 5
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version CUSTOM.v20240707
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.21	c os.arch		amd64
0.27/0.23	c Free memory 		2115194816
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2122317824
0.27/0.24	c Number of processors 	2
0.27/0.32	--- Begin Solver configuration ---
0.27/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.32	Learn all clauses as in MiniSAT
0.27/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.32	No reason simplification
0.27/0.32	Glucose 2.1 dynamic restart strategy
0.27/0.32	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.27/0.32	timeout=2147483s
0.27/0.32	DB Simplification allowed=false
0.27/0.32	Listener: none
0.27/0.32	--- End Solver configuration ---
0.42/0.33	c Pseudo Boolean Optimization by upper bound
0.42/0.33	c --- Begin Solver configuration ---
0.42/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.42/0.33	c Learn all clauses as in MiniSAT
0.42/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.33	c No reason simplification
0.42/0.33	c Glucose 2.1 dynamic restart strategy
0.42/0.33	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.42/0.33	c timeout=2147483s
0.42/0.33	c DB Simplification allowed=false
0.42/0.33	c Listener: none
0.42/0.33	c --- End Solver configuration ---
0.42/0.33	c solving HOME/instance-4448114-1721356565.opb
0.42/0.33	c reading problem ... 
0.42/0.34	c  no objective function found
0.79/0.52	c ... done. Wall clock time 0.186s.
0.79/0.52	c declared #vars     901
0.79/0.52	c #constraints  3602
0.79/0.52	c constraints type 
0.79/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.79/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3600
0.79/0.52	c 3602 constraints processed.
1.55/0.96	c cleaning 2493 clauses out of 5002 with flag 23373/5002
2.32/1.32	c cleaning 4234 clauses out of 8508 with flag 54631/11001
2.72/1.58	c cleaning 5602 clauses out of 11273 with flag 87608/18000
3.12/1.79	c cleaning 6808 clauses out of 13673 with flag 132527/26002
3.52/1.93	c cleaning 7916 clauses out of 15864 with flag 179757/35001
3.69/2.10	c cleaning 8928 clauses out of 17947 with flag 236148/45000
4.00/2.26	c cleaning 9974 clauses out of 20019 with flag 293063/56000
4.25/2.44	c cleaning 10975 clauses out of 22045 with flag 358494/68000
4.45/2.63	c cleaning 11972 clauses out of 24070 with flag 434048/81000
4.65/2.83	c cleaning 13020 clauses out of 26099 with flag 510829/95001
4.86/3.06	c cleaning 14011 clauses out of 28078 with flag 593509/110000
5.15/3.31	c cleaning 14985 clauses out of 30067 with flag 682867/126000
5.42/3.56	c cleaning 15988 clauses out of 32082 with flag 775691/143000
5.79/3.84	c cleaning 16998 clauses out of 34095 with flag 880863/161001
6.10/4.14	c cleaning 18023 clauses out of 36098 with flag 989010/180002
6.38/4.45	c cleaning 19025 clauses out of 38075 with flag 1100577/200002
6.81/4.80	c cleaning 19978 clauses out of 40048 with flag 1222572/221000
7.14/5.17	c cleaning 20991 clauses out of 42071 with flag 1345189/243001
7.52/5.56	c cleaning 21986 clauses out of 44080 with flag 1472280/266001
7.92/6.00	c cleaning 23000 clauses out of 46093 with flag 1607137/290000
8.42/6.46	c cleaning 24016 clauses out of 48094 with flag 1744181/315001
8.92/6.95	c cleaning 24995 clauses out of 50077 with flag 1887281/341000
9.42/7.48	c cleaning 25995 clauses out of 52083 with flag 2033948/368001
10.05/8.04	c cleaning 27001 clauses out of 54087 with flag 2183946/396000
10.54/8.58	c cleaning 28015 clauses out of 56088 with flag 2336327/425002
11.15/9.17	c cleaning 29015 clauses out of 58073 with flag 2493015/455002
11.85/9.80	c cleaning 29989 clauses out of 60058 with flag 2653806/486002
12.45/10.49	c cleaning 30980 clauses out of 62067 with flag 2821346/518000
13.16/11.19	c cleaning 31982 clauses out of 64088 with flag 2993570/551001
13.94/11.94	c cleaning 33010 clauses out of 66105 with flag 3168345/585000
14.74/12.75	c cleaning 34016 clauses out of 68098 with flag 3353656/620003
15.54/13.59	c cleaning 34998 clauses out of 70080 with flag 3535015/656001
16.44/14.46	c cleaning 36006 clauses out of 72082 with flag 3728043/693001
17.34/15.36	c cleaning 37022 clauses out of 74076 with flag 3919832/731001
18.34/16.33	c cleaning 38014 clauses out of 76053 with flag 4117212/770000
19.64/17.67	c cleaning 38975 clauses out of 78040 with flag 4345631/810001
20.83/18.89	c cleaning 40017 clauses out of 80064 with flag 4563075/851000
22.04/20.06	c cleaning 40992 clauses out of 82047 with flag 4773250/893000
23.23/21.26	c cleaning 42006 clauses out of 84055 with flag 4989862/936000
24.53/22.54	c cleaning 43002 clauses out of 86050 with flag 5212543/980001
25.82/23.83	c cleaning 43997 clauses out of 88047 with flag 5443543/1025000
27.14/25.17	c cleaning 44987 clauses out of 90050 with flag 5667319/1071000
28.52/26.54	c cleaning 46014 clauses out of 92063 with flag 5897139/1118000
29.92/27.96	c cleaning 47011 clauses out of 94049 with flag 6132281/1166000
31.62/29.61	c cleaning 48001 clauses out of 96038 with flag 6370666/1215000
33.22/31.30	c cleaning 48994 clauses out of 98037 with flag 6613288/1265000
35.03/33.05	c cleaning 50012 clauses out of 100043 with flag 6865418/1316000
36.81/34.81	c cleaning 50969 clauses out of 102033 with flag 7120988/1368002
38.61/36.60	c cleaning 51989 clauses out of 104062 with flag 7379834/1421000
40.51/38.53	c cleaning 52992 clauses out of 106073 with flag 7639708/1475000
42.40/40.46	c cleaning 53998 clauses out of 108081 with flag 7904805/1530000
44.50/42.51	c cleaning 55031 clauses out of 110085 with flag 8180464/1586002
46.91/44.94	c cleaning 55995 clauses out of 112053 with flag 8449957/1643001
49.21/47.27	c cleaning 57004 clauses out of 114057 with flag 8725982/1701000
51.50/49.50	c cleaning 57982 clauses out of 116053 with flag 9004608/1760000
53.80/51.89	c cleaning 59030 clauses out of 118072 with flag 9281107/1820001
56.29/54.39	c cleaning 59987 clauses out of 120041 with flag 9569230/1881000
58.79/56.87	c cleaning 60981 clauses out of 122054 with flag 9864163/1943000
61.49/59.54	c cleaning 62017 clauses out of 124073 with flag 10162816/2006000
64.19/62.28	c cleaning 63001 clauses out of 126057 with flag 10464385/2070001
66.89/64.98	c cleaning 63995 clauses out of 128055 with flag 10756184/2135000
69.78/67.88	c cleaning 65000 clauses out of 130061 with flag 11065919/2201001
72.78/70.89	c cleaning 65997 clauses out of 132061 with flag 11370553/2268001
75.87/73.99	c cleaning 66990 clauses out of 134064 with flag 11686258/2336001
79.27/77.30	c cleaning 68010 clauses out of 136074 with flag 12001873/2405001
82.47/80.59	c cleaning 68992 clauses out of 138064 with flag 12319559/2475001
85.86/83.94	c cleaning 70005 clauses out of 140072 with flag 12642427/2546001
89.26/87.39	c cleaning 71001 clauses out of 142066 with flag 12964678/2618000
92.65/90.72	c cleaning 72016 clauses out of 144065 with flag 13291176/2691000
96.24/94.32	c cleaning 73000 clauses out of 146049 with flag 13631882/2765000
100.09/98.11	c cleaning 74000 clauses out of 148049 with flag 13968467/2840000
103.68/101.78	c cleaning 74992 clauses out of 150050 with flag 14305033/2916001
107.47/105.56	c cleaning 76013 clauses out of 152057 with flag 14649689/2993000
111.46/109.58	c cleaning 77003 clauses out of 154046 with flag 14997793/3071002
115.66/113.77	c cleaning 77995 clauses out of 156041 with flag 15347347/3150000
120.17/118.23	c cleaning 79004 clauses out of 158047 with flag 15712312/3230001
124.46/122.59	c cleaning 79994 clauses out of 160042 with flag 16078127/3311000
129.06/127.12	c cleaning 80990 clauses out of 162050 with flag 16455478/3393002
133.44/131.56	c cleaning 81996 clauses out of 164058 with flag 16831298/3476000
138.14/136.24	c cleaning 83000 clauses out of 166063 with flag 17211779/3560001
143.17/141.23	c cleaning 84005 clauses out of 168063 with flag 17597949/3645001
148.17/146.21	c cleaning 85016 clauses out of 170057 with flag 17985932/3731000
153.16/151.29	c cleaning 85990 clauses out of 172041 with flag 18378011/3818000
158.15/156.29	c cleaning 87012 clauses out of 174051 with flag 18767160/3906000
163.34/161.44	c cleaning 87994 clauses out of 176041 with flag 19162425/3995002
168.63/166.79	c cleaning 88989 clauses out of 178045 with flag 19565412/4085000
174.32/172.49	c cleaning 90001 clauses out of 180056 with flag 19969521/4176000
179.92/178.06	c cleaning 91016 clauses out of 182055 with flag 20378671/4268000
185.60/183.71	c cleaning 92008 clauses out of 184039 with flag 20793348/4361000
191.60/189.79	c cleaning 92993 clauses out of 186032 with flag 21212380/4455001
197.69/195.84	c cleaning 93999 clauses out of 188040 with flag 21635156/4550002
203.68/201.88	c cleaning 94996 clauses out of 190040 with flag 22053076/4646001
210.18/208.39	c cleaning 96000 clauses out of 192043 with flag 22480049/4743000
216.78/215.00	c cleaning 97000 clauses out of 194043 with flag 22903394/4841000
223.57/221.77	c cleaning 97998 clauses out of 196043 with flag 23331116/4940000
230.55/228.77	c cleaning 98992 clauses out of 198045 with flag 23759772/5040000
237.45/235.62	c cleaning 100013 clauses out of 200054 with flag 24191103/5141001
244.36/242.50	c cleaning 100995 clauses out of 202040 with flag 24625616/5243000
251.86/250.08	c cleaning 101999 clauses out of 204047 with flag 25070096/5346002
258.95/257.18	c cleaning 103010 clauses out of 206046 with flag 25503143/5450000
265.95/264.13	c cleaning 103992 clauses out of 208036 with flag 25943217/5555000
273.67/271.83	c cleaning 104997 clauses out of 210044 with flag 26387952/5661000
281.45/279.68	c cleaning 106005 clauses out of 212048 with flag 26829084/5768001
289.34/287.59	c cleaning 107010 clauses out of 214043 with flag 27279670/5876001
297.84/296.01	c cleaning 107990 clauses out of 216033 with flag 27735549/5985001
306.25/304.45	c cleaning 109004 clauses out of 218042 with flag 28184407/6095000
314.33/312.55	c cleaning 110005 clauses out of 220039 with flag 28632070/6206001
321.94/320.12	c cleaning 111004 clauses out of 222036 with flag 29095315/6318003
330.31/328.57	c cleaning 111998 clauses out of 224030 with flag 29560786/6431001
339.10/337.33	c cleaning 113009 clauses out of 226031 with flag 30026565/6545000
347.71/345.94	c cleaning 113994 clauses out of 228022 with flag 30498692/6660000
356.39/354.61	c cleaning 115002 clauses out of 230029 with flag 30962896/6776001
364.79/363.11	c cleaning 115996 clauses out of 232026 with flag 31425867/6893000
373.36/371.64	c cleaning 117000 clauses out of 234030 with flag 31896768/7011000
381.95/380.21	c cleaning 117994 clauses out of 236030 with flag 32357879/7130000
390.75/389.11	c cleaning 118998 clauses out of 238037 with flag 32823751/7250001
399.84/398.13	c cleaning 120013 clauses out of 240039 with flag 33293752/7371001
408.73/407.07	c cleaning 120998 clauses out of 242025 with flag 33766691/7493000
417.20/415.58	c cleaning 121996 clauses out of 244027 with flag 34233556/7616000
426.10/424.47	c cleaning 123000 clauses out of 246032 with flag 34704138/7740001
435.29/433.66	c cleaning 124008 clauses out of 248031 with flag 35181548/7865000
443.88/442.29	c cleaning 125004 clauses out of 250024 with flag 35660883/7991001
452.67/451.02	c cleaning 125995 clauses out of 252019 with flag 36134930/8118000
461.15/459.57	c cleaning 127001 clauses out of 254024 with flag 36613218/8246000
469.94/468.38	c cleaning 127999 clauses out of 256023 with flag 37092115/8375000
478.23/476.64	c cleaning 128989 clauses out of 258024 with flag 37571329/8505000
486.52/484.93	c cleaning 130002 clauses out of 260035 with flag 38052875/8636000
494.79/493.22	c cleaning 131005 clauses out of 262034 with flag 38528148/8768001
503.18/501.61	c cleaning 132008 clauses out of 264029 with flag 39013980/8901001
511.37/509.85	c cleaning 132996 clauses out of 266020 with flag 39496573/9035000
519.85/518.30	c cleaning 134003 clauses out of 268025 with flag 39976021/9170001
528.04/526.56	c cleaning 134999 clauses out of 270022 with flag 40459587/9306001
536.23/534.78	c cleaning 135994 clauses out of 272022 with flag 40942840/9443000
544.31/542.86	c cleaning 137000 clauses out of 274028 with flag 41438664/9581000
552.40/551.01	c cleaning 138007 clauses out of 276029 with flag 41933308/9720001
560.88/559.41	c cleaning 138993 clauses out of 278021 with flag 42433249/9860000
569.27/567.81	c cleaning 140000 clauses out of 280028 with flag 42935924/10001000
577.76/576.35	c cleaning 140998 clauses out of 282029 with flag 43442776/10143001
586.46/585.02	c cleaning 142002 clauses out of 284031 with flag 43956634/10286001
594.73/593.34	c cleaning 143000 clauses out of 286028 with flag 44474978/10430000
603.56/602.13	c cleaning 144001 clauses out of 288028 with flag 44993171/10575000
612.46/611.02	c cleaning 145002 clauses out of 290027 with flag 45517774/10721000
621.33/619.91	c cleaning 146001 clauses out of 292026 with flag 46057740/10868001
630.42/629.02	c cleaning 146998 clauses out of 294025 with flag 46592550/11016001
639.89/638.52	c cleaning 147998 clauses out of 296026 with flag 47132818/11165000
649.72/648.36	c cleaning 149000 clauses out of 298028 with flag 47683283/11315000
659.51/658.19	c cleaning 150007 clauses out of 300029 with flag 48242565/11466001
669.28/667.96	c cleaning 150998 clauses out of 302022 with flag 48804739/11618001
679.26/677.93	c cleaning 151999 clauses out of 304023 with flag 49369309/11771000
689.30/687.95	c cleaning 153001 clauses out of 306024 with flag 49938080/11925000
699.78/698.45	c cleaning 154004 clauses out of 308023 with flag 50512282/12080000
709.76/708.47	c cleaning 155009 clauses out of 310020 with flag 51088046/12236001
720.25/718.93	c cleaning 155992 clauses out of 312010 with flag 51667434/12393000
731.03/729.77	c cleaning 156996 clauses out of 314018 with flag 52252554/12551000
741.74/740.46	c cleaning 158004 clauses out of 316023 with flag 52847102/12710001
753.02/751.76	c cleaning 158997 clauses out of 318018 with flag 53449176/12870000
764.09/762.83	c cleaning 159997 clauses out of 320022 with flag 54060448/13031001
775.29/774.10	c cleaning 161000 clauses out of 322024 with flag 54669023/13193000
786.99/785.71	c cleaning 162003 clauses out of 324024 with flag 55294027/13356000
799.07/797.88	c cleaning 163000 clauses out of 326021 with flag 55928922/13520000
811.95/810.73	c cleaning 163995 clauses out of 328021 with flag 56582673/13685000
825.13/823.90	c cleaning 165000 clauses out of 330026 with flag 57248962/13851000
839.41/838.20	c cleaning 166000 clauses out of 332026 with flag 57920595/14018000
853.25/852.10	c cleaning 167000 clauses out of 334026 with flag 58613065/14186000
868.42/867.24	c cleaning 168001 clauses out of 336026 with flag 59301944/14355000
882.59/881.44	c cleaning 168996 clauses out of 338026 with flag 59992974/14525001
898.63/897.41	c cleaning 170002 clauses out of 340030 with flag 60676884/14696001
912.81/911.67	c cleaning 171007 clauses out of 342027 with flag 61365583/14868000
927.70/926.51	c cleaning 172000 clauses out of 344020 with flag 62054131/15041000
942.96/941.77	c cleaning 173002 clauses out of 346022 with flag 62742206/15215002
959.63/958.46	c cleaning 174003 clauses out of 348018 with flag 63436397/15390000
973.90/972.71	c cleaning 174997 clauses out of 350015 with flag 64139570/15566000
989.60/987.82	c cleaning 176002 clauses out of 352018 with flag 64870359/15743000
1004.37/1002.62	c cleaning 176998 clauses out of 354016 with flag 65592145/15921000
1019.45/1017.71	c cleaning 178001 clauses out of 356019 with flag 66319076/16100001
1034.23/1032.56	c cleaning 178997 clauses out of 358017 with flag 67041924/16280000
1049.04/1047.32	c cleaning 180003 clauses out of 360021 with flag 67766900/16461001
1065.21/1063.56	c cleaning 181000 clauses out of 362017 with flag 68514265/16643000
1082.08/1080.40	c cleaning 182002 clauses out of 364017 with flag 69269306/16826000
1100.30/1098.68	c cleaning 183000 clauses out of 366016 with flag 70042495/17010001
1120.97/1119.37	c cleaning 184005 clauses out of 368015 with flag 70848209/17195000
1133.68/1131.37	c starts		: 21194
1133.68/1131.37	c conflicts		: 17351963
1133.68/1131.37	c decisions		: 24911840
1133.68/1131.37	c propagations		: 152286993
1133.68/1131.37	c inspects		: 17603225331
1133.68/1131.37	c shortcuts		: 0
1133.68/1131.37	c learnt literals	: 12
1133.68/1131.37	c learnt binary clauses	: 11
1133.68/1131.37	c learnt ternary clauses	: 19
1133.68/1131.38	c learnt constraints	: 17351950
1133.68/1131.38	c ignored constraints	: 0
1133.68/1131.38	c root simplifications	: 0
1133.68/1131.38	c removed literals (reason simplification)	: 0
1133.68/1131.38	c reason swapping (by a shorter reason)	: 0
1133.68/1131.38	c Calls to reduceDB	: 181
1133.68/1131.38	c Number of update (reduction) of LBD	: 3776700
1133.68/1131.38	c Imported unit clauses	: 0
1133.68/1131.38	c No decision after first conflict	: false
1133.68/1131.38	c number of reductions to clauses (during analyze)	: 0
1133.68/1131.38	c number of learned constraints concerned by reduction	: 0
1133.68/1131.38	c number of learning phase by resolution	: 0
1133.68/1131.38	c number of learning phase by cutting planes	: 0
1133.68/1131.38	c number of rounding to 1 operations	: 0
1133.68/1131.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1133.68/1131.38	c number of reductions of the coefficients by power 2 	: 0
1133.68/1131.38	c number of right shift for reduction by power 2 	: 0
1133.68/1131.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
1133.68/1131.38	c number of ending skipping 	: 0
1133.68/1131.38	c number of internal skipping 	: 0
1133.68/1131.38	c number of derivation steps 	: 0
1133.68/1131.38	c number of skipped derivation steps 	: 0
1133.68/1131.38	c number of remaining unassigned 	: 0
1133.68/1131.38	c number of remaining assigned 	: 0
1133.68/1131.38	c number of falsified literals weakened from reason	: 0
1133.68/1131.38	c number of falsified literals weakened from conflict	: 0
1133.68/1131.38	c time for arithmetic operations	: 0
1133.68/1131.39	c minimum degree of deleted constraints	: null
1133.68/1131.39	c maximum degree of deleted constraints	: null
1133.68/1131.39	c number of deleted constraints	: 0
1133.68/1131.39	c speed (assignments/second)	: 134664.4049721319
1133.68/1131.39	c non guided choices	: 1090232
1133.92/1131.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 340949
1133.92/1131.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11
1133.92/1131.52	s UNSATISFIABLE
1133.92/1131.52	c Total wall clock time (in seconds): 1131.195

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448114-1721356565/watcher-4448114-1721356565 -o /tmp/evaluation-result-4448114-1721356565/solver-4448114-1721356565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448114-1721356565.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
Current StackSize limit: 8192 KiB

solver pid=982718, runsolver pid=982715

[startup+0.102381 s]*
/proc/loadavg: 4.07 4.27 4.13 5/315 982736
/proc/meminfo: memFree=120653060/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=18975048 memory=55748 CPUtime=0.11 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 6440 0 0 0 8 3 0 0 20 0 18 0 187812925 19430449152 13937 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4743762 13937 5648 1 0 550810 0
[pid=982718/tid=982720] ppid=982715 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 5321 0 0 0 5 2 0 0 20 0 18 0 187812926 19430449152 13937 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187812931 19430449152 13937 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187812932 19430449152 13937 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55748 KiB

[startup+0.215309 s]*
/proc/loadavg: 4.07 4.27 4.13 8/315 982736
/proc/meminfo: memFree=120648436/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=18975048 memory=60284 CPUtime=0.27 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 7069 0 0 0 23 4 0 0 20 0 18 0 187812925 19430449152 15071 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4743762 15071 5673 1 0 551327 0
[pid=982718/tid=982720] ppid=982715 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) S 982715 982718 980639 0 -1 1077936192 5646 0 0 0 14 3 0 0 20 0 18 0 187812926 19430449152 15071 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187812931 19430449152 15071 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187812932 19430449152 15071 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60284 KiB

[startup+0.314974 s]*
/proc/loadavg: 4.07 4.27 4.13 6/315 982736
/proc/meminfo: memFree=120643540/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=18975048 memory=65888 CPUtime=0.42 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 7335 0 0 0 38 4 0 0 20 0 18 0 187812925 19430449152 16472 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4743762 16472 5735 1 0 551546 0
[pid=982718/tid=982720] ppid=982715 vsize=18975048 memory=-8817031479119094460 CPUtime=0.26 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 5819 0 0 0 23 3 0 0 20 0 18 0 187812926 19430449152 16472 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187812931 19430449152 16472 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187812932 19430449152 16472 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65888 KiB

[startup+0.706606 s]
/proc/loadavg: 4.07 4.27 4.13 7/315 982736
/proc/meminfo: memFree=120633848/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19041612 memory=80908 CPUtime=1.15 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 10875 0 0 0 109 6 0 0 20 0 19 0 187812925 19498610688 20227 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4760403 20227 5828 1 0 553287 0
[pid=982718/tid=982720] ppid=982715 vsize=19041612 memory=5512 CPUtime=0.63 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 5938 0 0 0 60 3 0 0 20 0 19 0 187812926 19498610688 20227 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187812931 19498610688 20227 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187812932 19498610688 20227 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80908 KiB

[startup+1.50099 s]
/proc/loadavg: 4.07 4.27 4.13 6/316 982737
/proc/meminfo: memFree=120618984/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19041612 memory=98356 CPUtime=2.72 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 20072 0 0 0 265 7 0 0 20 0 19 0 187812925 19498610688 24589 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4760403 24589 5860 1 0 556494 0
[pid=982718/tid=982720] ppid=982715 vsize=19041612 memory=11992 CPUtime=1.42 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 6353 0 0 0 138 4 0 0 20 0 19 0 187812926 19498610688 24589 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187812931 19498610688 24589 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187812932 19498610688 24589 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187812978 19498610688 24589 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98356 KiB

[startup+3.10885 s]
/proc/loadavg: 4.15 4.29 4.14 5/316 982737
/proc/meminfo: memFree=120588096/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19041612 memory=121284 CPUtime=4.96 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 20926 0 0 0 488 8 0 0 20 0 19 0 187812925 19498610688 30321 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4760403 30321 5880 1 0 556499 0
[pid=982718/tid=982720] ppid=982715 vsize=19041612 memory=0 CPUtime=3.01 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 6614 0 0 0 297 4 0 0 20 0 19 0 187812926 19498610688 30321 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19041612 memory=11600 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187812931 19498610688 30321 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187812932 19498610688 30321 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187812978 19498610688 30321 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121284 KiB

[startup+6.30037 s]
/proc/loadavg: 4.15 4.29 4.14 5/316 982737
/proc/meminfo: memFree=120560764/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19041612 memory=150420 CPUtime=8.32 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 21166 0 0 0 823 9 0 0 20 0 19 0 187812925 19498610688 37605 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4760403 37605 5880 1 0 556499 0
[pid=982718/tid=982720] ppid=982715 vsize=19041612 memory=0 CPUtime=6.19 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 6739 0 0 0 614 5 0 0 20 0 19 0 187812926 19498610688 37605 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187812931 19498610688 37605 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19041612 memory=11600 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187812932 19498610688 37605 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19041612 memory=43996 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187812978 19498610688 37605 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150420 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.28 4.13 5/317 982739
/proc/meminfo: memFree=120527324/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=181728 CPUtime=14.74 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 23687 0 0 0 1464 10 0 0 20 0 20 0 187812925 19566772224 45432 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 45432 5944 1 0 556788 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=89468 CPUtime=12.56 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 7462 0 0 0 1251 5 0 0 20 0 20 0 187812926 19566772224 45432 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=181728 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 45432 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=123332 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 45432 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 45432 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181728 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.28 4.14 5/317 982741
/proc/meminfo: memFree=120516892/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=190200 CPUtime=27.52 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 26349 0 0 0 2741 11 0 0 20 0 20 0 187812925 19566772224 47550 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 47550 5944 1 0 556788 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=181728 CPUtime=25.27 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 8580 0 0 0 2522 5 0 0 20 0 20 0 187812926 19566772224 47550 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=190196 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 47550 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 47550 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 47550 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 27.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190200 KiB

[startup+51.1134 s]
/proc/loadavg: 4.20 4.28 4.14 7/316 982812
/proc/meminfo: memFree=121942792/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=241720 CPUtime=53.11 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 29640 0 0 0 5298 13 0 0 20 0 20 0 187812925 19566772224 60430 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 60430 5944 1 0 556788 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=206708 CPUtime=50.57 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 9814 0 0 0 5052 5 0 0 20 0 20 0 187812926 19566772224 60430 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=206708 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 60430 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 60430 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0

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

/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 321130 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=1284520 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 722 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 321130 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=1284520 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 321130 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1004.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1284520 KiB

[startup+1062.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/320 983798
/proc/meminfo: memFree=120360268/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1288668 CPUtime=1064.02 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 67982 0 0 0 106320 82 0 0 20 0 20 0 187812925 19566772224 322167 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 322167 5944 1 0 558386 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=1204856 CPUtime=1055.64 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 23938 0 0 0 105555 9 0 0 20 0 20 0 187812926 19566772224 322167 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 322167 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=1284520 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 838 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 322167 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=-8817031479119094460 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 322167 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1064.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1288668 KiB

[startup+1122.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/320 983809
/proc/meminfo: memFree=120285672/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1290768 CPUtime=1123.96 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 69450 0 0 0 112311 85 0 0 20 0 20 0 187812925 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 322692 5944 1 0 558386 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=11600 CPUtime=1115.31 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 24703 0 0 0 111522 9 0 0 20 0 20 0 187812926 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=1284520 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=1290760 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=1290764 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1123.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1290768 KiB

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

# cumulated CPU time of all completed processes:  user=1133.1 s, system=0.882742 s

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

[startup+1126.4 s]
/proc/loadavg: 4.20 4.24 4.18 5/320 983809
/proc/meminfo: memFree=120246764/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1290768 CPUtime=1128.06 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 69456 0 0 0 112721 85 0 0 20 0 20 0 187812925 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 322692 5944 1 0 558386 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=1141348 CPUtime=1119.4 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 24708 0 0 0 111931 9 0 0 20 0 20 0 187812926 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 322692 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1128.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1290768 KiB

[startup+1129.6 s]
/proc/loadavg: 4.18 4.24 4.18 5/320 983810
/proc/meminfo: memFree=120246568/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1290728 CPUtime=1131.5 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 73076 0 0 0 113064 86 0 0 20 0 20 0 187812925 19566772224 322682 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 322682 5944 1 0 558533 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=1290768 CPUtime=1122.59 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 25546 0 0 0 112250 9 0 0 20 0 20 0 187812926 19566772224 322682 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=1290728 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 322682 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=25208 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 322682 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=32180 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 322682 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1131.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1290728 KiB

[startup+1130.4 s]
/proc/loadavg: 4.18 4.24 4.18 5/320 983810
/proc/meminfo: memFree=120246568/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1293084 CPUtime=1132.61 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 74090 0 0 0 113175 86 0 0 20 0 20 0 187812925 19566772224 323271 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 323271 5944 1 0 558549 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=1840 CPUtime=1123.39 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 25576 0 0 0 112330 9 0 0 20 0 20 0 187812926 19566772224 323271 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=5508 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 323271 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=1290728 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 323271 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 323271 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1132.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1293084 KiB

[startup+1131.2 s]
/proc/loadavg: 4.18 4.24 4.18 6/320 983810
/proc/meminfo: memFree=120243740/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19108176 memory=1293876 CPUtime=1133.58 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 74330 0 0 0 113272 86 0 0 20 0 20 0 187812925 19566772224 323469 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4777044 323469 5944 1 0 558549 0
[pid=982718/tid=982720] ppid=982715 vsize=19108176 memory=1290816 CPUtime=1124.19 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) R 982715 982718 980639 0 -1 4194368 25643 0 0 0 112410 9 0 0 20 0 20 0 187812926 19566772224 323469 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19566772224 323469 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19566772224 323469 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982737] ppid=982715 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/982718/task/982737/stat : 982737 (Timer-0) S 982715 982718 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187812978 19566772224 323469 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1133.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1293876 KiB

[startup+1131.4 s]
/proc/loadavg: 4.18 4.24 4.18 6/320 983810
/proc/meminfo: memFree=120243740/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19241304 memory=1294444 CPUtime=1133.82 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 75727 0 0 0 113296 86 0 0 20 0 20 0 187812925 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4810326 323611 5943 1 0 559167 0
[pid=982718/tid=982720] ppid=982715 vsize=19241304 memory=43996 CPUtime=1124.34 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) S 982715 982718 980639 0 -1 1077936192 26538 0 0 0 112425 9 0 0 20 0 20 0 187812926 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19241304 memory=-8817031479119094460 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19241304 memory=5512 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1133.82 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1294444 KiB

[startup+1131.5 s]
/proc/loadavg: 4.18 4.24 4.18 6/320 983810
/proc/meminfo: memFree=120243740/131655788 swapFree=131071996/131071996
[pid=982718] ppid=982715 vsize=19241304 memory=1294444 CPUtime=1133.92 cores=1,3
/proc/982718/stat : 982718 (java) S 982715 982718 980639 0 -1 1077936128 75742 0 0 0 113306 86 0 0 20 0 20 0 187812925 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
/proc/982718/statm: 4810326 323611 5943 1 0 559167 0
[pid=982718/tid=982720] ppid=982715 vsize=19241304 memory=1284520 CPUtime=1124.34 cores=1,3
/proc/982718/task/982720/stat : 982720 (java) S 982715 982718 980639 0 -1 1077936192 26538 0 0 0 112425 9 0 0 20 0 20 0 187812926 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982729] ppid=982715 vsize=19241304 memory=1290764 CPUtime=0 cores=1,3
/proc/982718/task/982729/stat : 982729 (Finalizer) S 982715 982718 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187812931 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
[pid=982718/tid=982736] ppid=982715 vsize=19241304 memory=1284520 CPUtime=0 cores=1,3
/proc/982718/task/982736/stat : 982736 (Common-Cleaner) S 982715 982718 980639 0 -1 1077936192 872 0 0 0 0 0 0 0 20 0 20 0 187812932 19703095296 323611 134679101440 94851283066880 94851283070576 140725601668096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94851283078392 94851283079184 94851307806720 140725601674246 140725601674336 140725601674336 140725601681352 0
Current children cumulated CPU time: 1133.92 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1294444 KiB

Child status: 20

Real time (s): 1131.55
CPU time (s): 1133.99
CPU user time (s): 1133.1
CPU system time (s): 0.882742
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1294444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.1
system time used= 0.882742
maximum resident set size= 1295648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34920
involuntary context switches= 1018


# summary of solver processes directly reported to runsolver:
#   pid: 982718
#   total CPU time (s): 1133.99
#   total CPU user time (s): 1133.1
#   total CPU system time (s): 0.882742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04647 second user time and 12.1742 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:36:17
IDJOB=4448114
IDBENCH=160363
IDSOLVER=3058
FILE ID=nodeC008/4448114-1721356565
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-plain.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-4448114-1721356565/watcher-4448114-1721356565 -o /tmp/evaluation-result-4448114-1721356565/solver-4448114-1721356565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448114-1721356565.opb

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

MD5SUM BENCH= 43b43b4642a1f471c30a83b83143bc9f
RANDOM SEED=333261089

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		: 3627.204
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		: 3492.000
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.242
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		: 1197.250
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		: 3627.290
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		: 3660.997
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.400
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.355
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:        120688344 kB
MemAvailable:   122974920 kB
Buffers:          544180 kB
Cached:          2561196 kB
SwapCached:            0 kB
Active:          1058548 kB
Inactive:        9304188 kB
Active(anon):       1476 kB
Inactive(anon):  7293624 kB
Active(file):    1057072 kB
Inactive(file):  2010564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1176 kB
Writeback:            12 kB
AnonPages:       7257080 kB
Mapped:           126236 kB
Shmem:             37704 kB
KReclaimable:     117940 kB
Slab:             223156 kB
SReclaimable:     117940 kB
SUnreclaim:       105216 kB
KernelStack:        4800 kB
PageTables:        24296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8272532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6918144 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:55:09