Trace number 4432225

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)223 3600.42 3555.7

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
MD5SUM0daa95194506fa379fbbdb25b381edfb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables473
Total number of constraints473
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints473
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432225-1721089499.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.04s.
0.13/0.17	c declared #vars     473
0.13/0.17	c #constraints  473
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 473
0.13/0.17	c 473 constraints processed.
0.13/0.18	c objective function length is 473 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.062
0.13/0.19	o 227
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.14
0.32/0.27	o 226
0.32/0.30	c Got one! Elapsed wall clock time (in seconds):0.168
0.32/0.30	o 225
1.09/0.69	c Got one! Elapsed wall clock time (in seconds):0.562
1.09/0.69	o 224
1.29/0.79	c cleaning 2924 clauses out of 5851 with flag 2381/5851
1.83/1.04	c cleaning 4455 clauses out of 8928 with flag 14949/11852
2.19/1.30	c cleaning 5725 clauses out of 11472 with flag 29603/18851
2.52/1.68	c cleaning 6867 clauses out of 13747 with flag 47989/26851
2.93/2.03	c cleaning 7935 clauses out of 15880 with flag 67151/35851
3.37/2.45	c cleaning 8970 clauses out of 17947 with flag 88002/45853
3.80/2.89	c cleaning 9979 clauses out of 19976 with flag 110869/56852
4.30/3.33	c cleaning 10990 clauses out of 21996 with flag 135874/68851
4.84/3.88	c cleaning 11992 clauses out of 24007 with flag 162851/81852
5.44/4.43	c cleaning 12994 clauses out of 26014 with flag 192014/95851
6.10/5.06	c cleaning 14002 clauses out of 28021 with flag 223244/110852
6.85/5.78	c cleaning 14997 clauses out of 30018 with flag 256619/126851
7.69/6.51	c cleaning 16005 clauses out of 32022 with flag 291943/143852
8.55/7.35	c cleaning 17000 clauses out of 34016 with flag 329367/161851
9.35/8.14	c cleaning 17994 clauses out of 36016 with flag 368731/180851
10.30/9.03	c cleaning 19005 clauses out of 38023 with flag 410169/200852
11.19/9.98	c cleaning 20000 clauses out of 40017 with flag 453882/221851
12.21/10.96	c cleaning 21001 clauses out of 42018 with flag 499774/243852
13.35/12.05	c cleaning 21999 clauses out of 44017 with flag 547687/266852
14.35/13.07	c cleaning 23001 clauses out of 46018 with flag 597606/290852
15.59/14.23	c cleaning 24000 clauses out of 48017 with flag 649739/315852
16.76/15.31	c cleaning 24995 clauses out of 50016 with flag 703562/341851
17.85/16.48	c cleaning 26000 clauses out of 52021 with flag 759857/368851
19.19/17.76	c cleaning 27000 clauses out of 54021 with flag 818766/396851
20.65/19.13	c cleaning 28000 clauses out of 56022 with flag 879444/425852
21.84/20.35	c cleaning 29000 clauses out of 58022 with flag 941360/455852
23.22/21.66	c cleaning 30004 clauses out of 60021 with flag 1005358/486851
24.68/23.05	c cleaning 30995 clauses out of 62018 with flag 1071735/518852
26.36/24.60	c cleaning 32001 clauses out of 64022 with flag 1140344/551851
27.76/26.06	c cleaning 32999 clauses out of 66021 with flag 1211037/585851
29.42/27.63	c cleaning 34001 clauses out of 68023 with flag 1283318/620852
31.20/29.32	c cleaning 34993 clauses out of 70021 with flag 1357675/656851
31.20/29.39	c Got one! Elapsed wall clock time (in seconds):29.269
31.20/29.39	o 223
31.51/29.62	c cleaning 20194 clauses out of 40410 with flag 6490/662233
31.71/29.84	c cleaning 13095 clauses out of 26217 with flag 19126/668234
31.92/30.07	c cleaning 10050 clauses out of 20121 with flag 33695/675233
32.28/30.32	c cleaning 9024 clauses out of 18071 with flag 50382/683233
32.62/30.60	c cleaning 9011 clauses out of 18047 with flag 68904/692233
32.92/30.92	c cleaning 9507 clauses out of 19038 with flag 89574/702235
33.35/31.35	c cleaning 10252 clauses out of 20529 with flag 112536/713233
33.75/31.79	c cleaning 11131 clauses out of 22277 with flag 137572/725233
34.34/32.31	c cleaning 12063 clauses out of 24146 with flag 164619/738233
34.84/32.85	c cleaning 13034 clauses out of 26084 with flag 193856/752234
35.44/33.43	c cleaning 14015 clauses out of 28050 with flag 225120/767234
36.14/34.17	c cleaning 15007 clauses out of 30035 with flag 258218/783234
36.84/34.85	c cleaning 16005 clauses out of 32027 with flag 293762/800233
37.63/35.60	c cleaning 17004 clauses out of 34022 with flag 331572/818233
38.44/36.46	c cleaning 18001 clauses out of 36018 with flag 372423/837233
39.43/37.43	c cleaning 18999 clauses out of 38017 with flag 414627/857233
40.63/38.60	c cleaning 20002 clauses out of 40019 with flag 458283/878234
41.63/39.66	c cleaning 21001 clauses out of 42016 with flag 504437/900233
42.82/40.84	c cleaning 21997 clauses out of 44016 with flag 552936/923234
44.25/42.11	c cleaning 22997 clauses out of 46018 with flag 603328/947233
45.65/43.55	c cleaning 24004 clauses out of 48021 with flag 655084/972233
46.84/44.77	c cleaning 25002 clauses out of 50018 with flag 709122/998234
48.15/46.03	c cleaning 26001 clauses out of 52016 with flag 765465/1025234
49.55/47.34	c cleaning 26997 clauses out of 54015 with flag 824179/1053234
50.95/48.77	c cleaning 27998 clauses out of 56018 with flag 884734/1082234
52.44/50.23	c cleaning 28998 clauses out of 58019 with flag 947286/1112233
54.29/52.03	c cleaning 30001 clauses out of 60021 with flag 1011675/1143233
55.99/53.73	c cleaning 31002 clauses out of 62020 with flag 1078533/1175233
57.88/55.63	c cleaning 31996 clauses out of 64018 with flag 1147421/1208233
59.87/57.49	c cleaning 33002 clauses out of 66022 with flag 1218483/1242233
61.76/59.36	c cleaning 34000 clauses out of 68020 with flag 1291518/1277233
63.76/61.32	c cleaning 34998 clauses out of 70020 with flag 1366709/1313233
66.05/63.54	c cleaning 36002 clauses out of 72023 with flag 1444304/1350234
68.14/65.64	c cleaning 37001 clauses out of 74021 with flag 1523809/1388234
70.45/67.81	c cleaning 37998 clauses out of 76019 with flag 1605593/1427233
72.44/69.81	c cleaning 38998 clauses out of 78021 with flag 1689475/1467233
74.54/71.94	c cleaning 40000 clauses out of 80023 with flag 1775706/1508233
76.93/73.97	c cleaning 41003 clauses out of 82024 with flag 1863216/1550234
79.43/76.41	c cleaning 41999 clauses out of 84021 with flag 1952325/1593234
82.13/79.09	c cleaning 43003 clauses out of 86022 with flag 2044392/1637234
84.42/81.35	c cleaning 43999 clauses out of 88018 with flag 2138498/1682233
87.30/84.18	c cleaning 45000 clauses out of 90021 with flag 2234295/1728235
89.59/86.45	c cleaning 45997 clauses out of 92020 with flag 2331991/1775234
92.27/89.00	c cleaning 47000 clauses out of 94022 with flag 2432403/1823233
94.76/91.53	c cleaning 48002 clauses out of 96023 with flag 2534705/1872234
97.46/94.24	c cleaning 48999 clauses out of 98021 with flag 2638532/1922234
100.66/97.31	c cleaning 50000 clauses out of 100022 with flag 2744312/1973234
104.36/100.88	c cleaning 51000 clauses out of 102021 with flag 2852913/2025233
108.46/104.94	c cleaning 51998 clauses out of 104021 with flag 2965977/2078233
112.33/108.76	c cleaning 53005 clauses out of 106023 with flag 3079963/2132233
115.82/112.26	c cleaning 54001 clauses out of 108018 with flag 3194974/2187233
119.99/116.35	c cleaning 55001 clauses out of 110017 with flag 3312208/2243233
123.48/119.82	c cleaning 55999 clauses out of 112016 with flag 3430633/2300233
126.98/123.22	c cleaning 56997 clauses out of 114017 with flag 3551148/2358233
130.37/126.63	c cleaning 58001 clauses out of 116021 with flag 3673786/2417234
135.40/131.50	c cleaning 58999 clauses out of 118020 with flag 3799337/2477234
139.49/135.65	c cleaning 60001 clauses out of 120020 with flag 3926708/2538233
143.50/139.58	c cleaning 60999 clauses out of 122019 with flag 4056137/2600233
147.69/143.78	c cleaning 61997 clauses out of 124021 with flag 4187770/2663234
152.08/148.05	c cleaning 63003 clauses out of 126023 with flag 4322199/2727233
156.94/152.93	c cleaning 64000 clauses out of 128020 with flag 4458027/2792233
161.09/157.03	c cleaning 64996 clauses out of 130020 with flag 4596350/2858233
165.35/161.39	c cleaning 66006 clauses out of 132025 with flag 4736273/2925234
170.21/165.60	c cleaning 67000 clauses out of 134019 with flag 4877079/2993234
173.61/169.10	c cleaning 67999 clauses out of 136019 with flag 5019826/3062234
177.50/172.85	c cleaning 68998 clauses out of 138020 with flag 5164332/3132234
182.49/177.87	c cleaning 70002 clauses out of 140021 with flag 5310728/3203233
188.09/183.25	c cleaning 70999 clauses out of 142019 with flag 5460078/3275233
192.58/187.72	c cleaning 71997 clauses out of 144020 with flag 5612020/3348233
197.24/192.35	c cleaning 73001 clauses out of 146023 with flag 5765676/3422233
202.63/197.77	c cleaning 74004 clauses out of 148023 with flag 5921621/3497234
207.58/202.54	c cleaning 75001 clauses out of 150018 with flag 6079267/3573233
213.14/207.96	c cleaning 75994 clauses out of 152018 with flag 6240136/3650234
217.54/212.36	c cleaning 77002 clauses out of 154023 with flag 6402060/3728233
222.51/217.20	c cleaning 78000 clauses out of 156021 with flag 6566561/3807233
229.23/223.77	c cleaning 79002 clauses out of 158022 with flag 6732289/3887234
235.07/229.64	c cleaning 79998 clauses out of 160019 with flag 6900259/3968233
241.11/235.63	c cleaning 81000 clauses out of 162021 with flag 7070366/4050233
246.63/240.92	c cleaning 81997 clauses out of 164021 with flag 7242917/4133233
252.58/246.09	c cleaning 83002 clauses out of 166025 with flag 7417231/4217234
258.53/251.82	c cleaning 84001 clauses out of 168023 with flag 7592429/4302234
264.84/258.11	c cleaning 84995 clauses out of 170022 with flag 7771811/4388234
271.35/264.69	c cleaning 86009 clauses out of 172027 with flag 7954074/4475234
277.87/271.03	c cleaning 86998 clauses out of 174018 with flag 8137450/4563234
284.01/277.21	c cleaning 88000 clauses out of 176020 with flag 8323271/4652234
289.70/282.98	c cleaning 89004 clauses out of 178019 with flag 8510532/4742233
295.24/288.37	c cleaning 89996 clauses out of 180015 with flag 8698553/4833233
301.64/294.78	c cleaning 91002 clauses out of 182020 with flag 8888830/4925234
308.95/301.90	c cleaning 92003 clauses out of 184017 with flag 9082690/5018233
315.35/308.22	c cleaning 93001 clauses out of 186015 with flag 9276927/5112234
321.51/314.24	c cleaning 93995 clauses out of 188014 with flag 9473755/5207234
330.00/322.51	c cleaning 95000 clauses out of 190018 with flag 9673887/5303233
337.17/329.56	c cleaning 95999 clauses out of 192019 with flag 9874797/5400234
344.90/337.10	c cleaning 97000 clauses out of 194019 with flag 10079355/5498233
352.26/344.47	c cleaning 98001 clauses out of 196020 with flag 10285165/5597234
359.84/351.98	c cleaning 98998 clauses out of 198019 with flag 10494383/5697234
367.72/359.51	c cleaning 99999 clauses out of 200021 with flag 10704635/5798234
375.78/366.61	c cleaning 101001 clauses out of 202021 with flag 10915291/5900233
382.49/373.22	c cleaning 101999 clauses out of 204021 with flag 11128776/6003234
389.60/380.24	c cleaning 103000 clauses out of 206022 with flag 11344910/6107234
398.27/388.89	c cleaning 104002 clauses out of 208022 with flag 11564057/6212234
407.88/398.31	c cleaning 104999 clauses out of 210020 with flag 11785785/6318234
416.40/406.75	c cleaning 106001 clauses out of 212022 with flag 12009868/6425235
424.50/414.70	c cleaning 107001 clauses out of 214020 with flag 12234738/6533234
434.72/424.86	c cleaning 107997 clauses out of 216018 with flag 12461878/6642233
443.47/433.43	c cleaning 108999 clauses out of 218021 with flag 12691548/6752233
454.18/444.08	c cleaning 109999 clauses out of 220023 with flag 12923360/6863234
464.95/454.73	c cleaning 110998 clauses out of 222023 with flag 13156548/6975233
473.73/463.49	c cleaning 112001 clauses out of 224025 with flag 13392425/7088233
485.50/475.05	c cleaning 113002 clauses out of 226024 with flag 13629861/7202233
496.49/485.88	c cleaning 114003 clauses out of 228022 with flag 13869122/7317233
506.03/495.25	c cleaning 114996 clauses out of 230020 with flag 14111531/7433234
516.66/505.77	c cleaning 115995 clauses out of 232024 with flag 14355071/7550234
528.22/517.12	c cleaning 117001 clauses out of 234029 with flag 14600972/7668234
538.17/526.98	c cleaning 118003 clauses out of 236028 with flag 14848613/7787234
550.13/537.73	c cleaning 118997 clauses out of 238024 with flag 15099271/7907233
563.47/551.06	c cleaning 120004 clauses out of 240027 with flag 15351320/8028233
574.82/562.13	c cleaning 120995 clauses out of 242023 with flag 15605136/8150233
585.18/572.49	c cleaning 122005 clauses out of 244028 with flag 15862577/8273233
595.48/582.62	c cleaning 123005 clauses out of 246024 with flag 16120740/8397234
608.62/595.70	c cleaning 123998 clauses out of 248018 with flag 16381777/8522233
619.37/606.47	c cleaning 124995 clauses out of 250021 with flag 16644559/8648234
631.90/618.63	c cleaning 126001 clauses out of 252026 with flag 16908757/8775234
643.35/630.04	c cleaning 126994 clauses out of 254024 with flag 17174199/8903233
654.19/640.85	c cleaning 128004 clauses out of 256031 with flag 17442663/9032234
667.24/653.86	c cleaning 129000 clauses out of 258027 with flag 17713001/9162234
677.89/664.30	c cleaning 130003 clauses out of 260026 with flag 17985232/9293233
689.08/675.39	c cleaning 130999 clauses out of 262024 with flag 18259986/9425234
703.28/689.59	c cleaning 131998 clauses out of 264024 with flag 18537885/9558233
714.59/700.71	c cleaning 133000 clauses out of 266026 with flag 18818235/9692233
732.17/718.23	c cleaning 133998 clauses out of 268026 with flag 19098827/9827233
748.11/734.08	c cleaning 135000 clauses out of 270028 with flag 19380947/9963233
765.12/750.84	c cleaning 136001 clauses out of 272029 with flag 19664193/10100234
778.80/764.58	c cleaning 137003 clauses out of 274027 with flag 19950586/10238233
802.84/788.61	c cleaning 138005 clauses out of 276025 with flag 20237907/10377234
821.57/807.28	c cleaning 138997 clauses out of 278020 with flag 20528852/10517234
839.31/824.82	c cleaning 140002 clauses out of 280023 with flag 20820465/10658234
853.73/838.22	c cleaning 141000 clauses out of 282020 with flag 21116666/10800233
867.93/852.47	c cleaning 141999 clauses out of 284020 with flag 21415045/10943233
883.27/867.47	c cleaning 142997 clauses out of 286022 with flag 21714828/11087234
895.81/879.96	c cleaning 143998 clauses out of 288025 with flag 22016651/11232234
909.31/893.40	c cleaning 145004 clauses out of 290027 with flag 22320482/11378234
925.68/909.32	c cleaning 146000 clauses out of 292022 with flag 22627326/11525233
941.08/924.24	c cleaning 146996 clauses out of 294022 with flag 22937258/11673233
951.61/934.68	c cleaning 147999 clauses out of 296026 with flag 23248575/11822233
965.78/948.57	c cleaning 149006 clauses out of 298027 with flag 23561805/11972233
983.56/966.07	c cleaning 150000 clauses out of 300022 with flag 23876662/12123234
1000.05/982.21	c cleaning 150998 clauses out of 302022 with flag 24193675/12275234
1013.24/995.30	c cleaning 151997 clauses out of 304023 with flag 24512447/12428233
1031.38/1013.39	c cleaning 153003 clauses out of 306027 with flag 24834219/12582234
1048.05/1029.72	c cleaning 153992 clauses out of 308023 with flag 25156877/12737233
1064.18/1045.88	c cleaning 154999 clauses out of 310032 with flag 25481861/12893234
1082.49/1063.96	c cleaning 156002 clauses out of 312033 with flag 25809477/13050234
1099.30/1080.43	c cleaning 157002 clauses out of 314030 with flag 26138859/13208233
1120.96/1100.62	c cleaning 158001 clauses out of 316029 with flag 26471538/13367234
1139.47/1118.88	c cleaning 158998 clauses out of 318027 with flag 26806576/13527233
1156.87/1136.13	c cleaning 159999 clauses out of 320029 with flag 27143904/13688233
1172.69/1151.64	c cleaning 161002 clauses out of 322030 with flag 27482205/13850233
1188.40/1167.12	c cleaning 161999 clauses out of 324028 with flag 27822603/14013233
1208.07/1186.84	c cleaning 163000 clauses out of 326029 with flag 28163796/14177233
1234.02/1212.50	c cleaning 164007 clauses out of 328030 with flag 28523089/14342234
1253.53/1231.92	c cleaning 165001 clauses out of 330022 with flag 28870611/14508233
1276.50/1254.60	c cleaning 165998 clauses out of 332022 with flag 29219073/14675234
1298.47/1276.44	c cleaning 167005 clauses out of 334023 with flag 29569654/14843233
1321.03/1298.76	c cleaning 167997 clauses out of 336019 with flag 29921833/15012234
1343.92/1321.58	c cleaning 168998 clauses out of 338022 with flag 30277856/15182234
1369.92/1347.26	c cleaning 170000 clauses out of 340024 with flag 30633174/15353234
1393.27/1370.40	c cleaning 171001 clauses out of 342024 with flag 30991572/15525234
1414.87/1391.82	c cleaning 172001 clauses out of 344023 with flag 31351597/15698234
1438.37/1415.34	c cleaning 173002 clauses out of 346021 with flag 31712896/15872233
1461.59/1438.38	c cleaning 174003 clauses out of 348020 with flag 32076343/16047234
1484.42/1460.90	c cleaning 175002 clauses out of 350017 with flag 32441627/16223234
1508.76/1485.23	c cleaning 175996 clauses out of 352015 with flag 32809677/16400234
1533.74/1508.66	c cleaning 176999 clauses out of 354018 with flag 33180577/16578233
1560.54/1534.97	c cleaning 178001 clauses out of 356020 with flag 33551587/16757234
1591.30/1565.54	c cleaning 179002 clauses out of 358019 with flag 33924400/16937234
1618.05/1592.36	c cleaning 179996 clauses out of 360016 with flag 34298750/17118233
1644.55/1618.66	c cleaning 180997 clauses out of 362020 with flag 34677670/17300233
1673.64/1647.57	c cleaning 182004 clauses out of 364024 with flag 35057262/17483234
1699.10/1672.87	c cleaning 182996 clauses out of 366020 with flag 35440176/17667234
1724.93/1698.50	c cleaning 183997 clauses out of 368023 with flag 35824880/17852233
1748.37/1721.71	c cleaning 185001 clauses out of 370026 with flag 36213063/18038233
1774.29/1747.67	c cleaning 185999 clauses out of 372026 with flag 36603615/18225234
1796.03/1769.23	c cleaning 187002 clauses out of 374027 with flag 36996443/18413234
1820.35/1793.06	c cleaning 188003 clauses out of 376024 with flag 37392316/18602233
1846.65/1819.17	c cleaning 189000 clauses out of 378021 with flag 37789331/18792233
1873.03/1845.44	c cleaning 189993 clauses out of 380022 with flag 38186532/18983234
1898.54/1870.64	c cleaning 191006 clauses out of 382028 with flag 38586716/19175233
1928.21/1900.16	c cleaning 191997 clauses out of 384022 with flag 38989002/19368233
1956.86/1928.80	c cleaning 193002 clauses out of 386026 with flag 39393189/19562234
1983.07/1954.73	c cleaning 193996 clauses out of 388024 with flag 39800002/19757234
2011.96/1983.42	c cleaning 195002 clauses out of 390028 with flag 40208736/19953234
2039.39/2010.41	c cleaning 196005 clauses out of 392025 with flag 40620270/20150233
2062.15/2032.96	c cleaning 197000 clauses out of 394021 with flag 41034300/20348234
2082.87/2053.38	c cleaning 197999 clauses out of 396021 with flag 41449684/20547234
2106.86/2077.07	c cleaning 198998 clauses out of 398022 with flag 41867964/20747234
2134.19/2102.59	c cleaning 199998 clauses out of 400024 with flag 42286271/20948234
2157.44/2125.62	c cleaning 201001 clauses out of 402025 with flag 42706419/21150233
2182.36/2150.47	c cleaning 202000 clauses out of 404024 with flag 43130386/21353233
2205.43/2173.47	c cleaning 202995 clauses out of 406025 with flag 43557467/21557234
2228.77/2196.73	c cleaning 204002 clauses out of 408030 with flag 43983402/21762234
2255.08/2222.49	c cleaning 205005 clauses out of 410028 with flag 44411737/21968234
2279.03/2246.04	c cleaning 205998 clauses out of 412022 with flag 44842433/22175233
2302.14/2268.96	c cleaning 207001 clauses out of 414026 with flag 45275506/22383235
2325.44/2292.06	c cleaning 208000 clauses out of 416024 with flag 45712204/22592234
2352.09/2318.66	c cleaning 209001 clauses out of 418024 with flag 46149475/22802234
2379.94/2346.33	c cleaning 210001 clauses out of 420022 with flag 46589765/23013233
2410.33/2376.62	c cleaning 211001 clauses out of 422022 with flag 47031810/23225234
2453.60/2419.44	c cleaning 212002 clauses out of 424022 with flag 47498785/23438235
2495.51/2461.17	c cleaning 212999 clauses out of 426020 with flag 47945218/23652235
2533.85/2499.28	c cleaning 214001 clauses out of 428020 with flag 48392200/23867234
2569.44/2534.72	c cleaning 215000 clauses out of 430018 with flag 48841513/24083233
2600.69/2565.80	c cleaning 215993 clauses out of 432018 with flag 49295383/24300233
2635.45/2600.62	c cleaning 217005 clauses out of 434025 with flag 49750037/24518233
2676.66/2641.44	c cleaning 218001 clauses out of 436021 with flag 50206727/24737234
2706.60/2671.02	c cleaning 218997 clauses out of 438019 with flag 50666641/24957233
2740.86/2705.02	c cleaning 220001 clauses out of 440022 with flag 51127984/25178233
2769.62/2733.62	c cleaning 220999 clauses out of 442021 with flag 51591789/25400233
2796.00/2759.87	c cleaning 222000 clauses out of 444022 with flag 52055271/25623233
2823.93/2787.34	c cleaning 223002 clauses out of 446022 with flag 52518413/25847233
2859.63/2822.98	c cleaning 223999 clauses out of 448020 with flag 52983919/26072233
2896.18/2859.20	c cleaning 225005 clauses out of 450023 with flag 53453919/26298235
2929.57/2892.30	c cleaning 225993 clauses out of 452016 with flag 53926384/26525233
2966.58/2929.46	c cleaning 226998 clauses out of 454023 with flag 54402457/26753233
3001.96/2964.24	c cleaning 228001 clauses out of 456027 with flag 54880373/26982235
3041.10/3000.94	c cleaning 229006 clauses out of 458025 with flag 55360197/27212234
3074.96/3034.55	c cleaning 230003 clauses out of 460021 with flag 55842900/27443236
3109.73/3069.19	c cleaning 230994 clauses out of 462015 with flag 56325201/27675233
3139.75/3099.00	c cleaning 231997 clauses out of 464021 with flag 56809337/27908233
3166.41/3125.64	c cleaning 233001 clauses out of 466025 with flag 57295232/28142234
3207.21/3166.06	c cleaning 233998 clauses out of 468023 with flag 57785234/28377233
3247.91/3206.50	c cleaning 235006 clauses out of 470025 with flag 58276156/28613233
3277.54/3235.88	c cleaning 236000 clauses out of 472019 with flag 58769799/28850233
3308.16/3266.19	c cleaning 236997 clauses out of 474020 with flag 59266045/29088234
3345.70/3303.54	c cleaning 238003 clauses out of 476022 with flag 59764343/29327233
3381.18/3338.75	c cleaning 239000 clauses out of 478019 with flag 60265305/29567233
3410.54/3367.61	c cleaning 239998 clauses out of 480019 with flag 60766745/29808233
3448.08/3404.82	c cleaning 241003 clauses out of 482022 with flag 61269734/30050234
3475.56/3431.97	c cleaning 241995 clauses out of 484019 with flag 61777446/30293234
3506.48/3462.59	c cleaning 243000 clauses out of 486023 with flag 62286391/30537233
3534.11/3490.04	c cleaning 244001 clauses out of 488023 with flag 62795563/30782233
3561.08/3516.98	c cleaning 245000 clauses out of 490023 with flag 63307351/31028234
3591.59/3547.05	c cleaning 245997 clauses out of 492022 with flag 63822758/31275233
3600.07/3555.52	c starts		: 6
3600.07/3555.52	c conflicts		: 31410218
3600.07/3555.52	c decisions		: 44425353
3600.07/3555.52	c propagations		: 643004366
3600.07/3555.52	c inspects		: 24927037620
3600.07/3555.52	c shortcuts		: 0
3600.07/3555.52	c learnt literals	: 0
3600.07/3555.52	c learnt binary clauses	: 0
3600.07/3555.52	c learnt ternary clauses	: 0
3600.07/3555.52	c learnt constraints	: 31410218
3600.07/3555.52	c ignored constraints	: 0
3600.07/3555.52	c root simplifications	: 0
3600.07/3555.52	c removed literals (reason simplification)	: 0
3600.07/3555.52	c reason swapping (by a shorter reason)	: 0
3600.07/3555.52	c Calls to reduceDB	: 275
3600.07/3555.52	c Number of update (reduction) of LBD	: 457870
3600.07/3555.52	c Imported unit clauses	: 0
3600.07/3555.54	c No decision after first conflict	: false
3600.07/3555.54	c number of reductions to clauses (during analyze)	: 0
3600.07/3555.54	c number of learned constraints concerned by reduction	: 0
3600.07/3555.54	c number of learning phase by resolution	: 0
3600.07/3555.54	c number of learning phase by cutting planes	: 0
3600.07/3555.54	c number of rounding to 1 operations	: 0
3600.07/3555.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3555.54	c number of reductions of the coefficients by power 2 	: 0
3600.07/3555.54	c number of right shift for reduction by power 2 	: 0
3600.07/3555.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3555.54	c number of ending skipping 	: 0
3600.07/3555.54	c number of internal skipping 	: 0
3600.07/3555.54	c number of derivation steps 	: 0
3600.07/3555.54	c number of skipped derivation steps 	: 0
3600.07/3555.54	c number of remaining unassigned 	: 0
3600.07/3555.54	c number of remaining assigned 	: 0
3600.07/3555.54	c number of falsified literals weakened from reason	: 0
3600.07/3555.54	c number of falsified literals weakened from conflict	: 0
3600.07/3555.54	c time for arithmetic operations	: 0
3600.07/3555.54	c minimum degree of deleted constraints	: null
3600.07/3555.54	c maximum degree of deleted constraints	: null
3600.07/3555.54	c number of deleted constraints	: 0
3600.07/3555.54	c speed (assignments/second)	: 180855.23016836017
3600.07/3555.54	c non guided choices	: 0
3600.29/3555.64	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 381010
3600.29/3555.64	s SATISFIABLE
3600.29/3555.64	c Found 5 solution(s)
3600.29/3555.64	v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 x20 x21 x22 x23 -x24 -x25 x26 -x27 x28 x29 x30 x31 -x32 x33 x34 -x35 x36 x37 -x38 -x39 x40 x41 x42 x43 x44 x45 x46 -x47 x48 x49 x50 x51 x52 -x53 -x54 x55 x56 -x57 -x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 -x68 -x69 x70 -x71 x72 x73 x74 x75 x76 x77 -x78 x79 x80 -x81 x82 x83 x84 -x85 x86 x87 x88 x89 x90 x91 x92 -x93 x94 -x95 x96 x97 x98 x99 x100 x101 -x102 x103 x104 -x105 x106 x107 x108 x109 -x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 x127 -x128 x129 x130 x131 -x132 x133 x134 x135 -x136 x137 x138 x139 x140 x141 x142 x143 -x144 -x145 -x146 x147 x148 x149 x150 x151 x152 -x153 x154 -x155 -x156 x157 x158 -x159 x160 x161 x162 x163 x164 x165 -x166 x167 -x168 x169 x170 x171 x172 x173 x174 -x175 x176 x177 x178 -x179 x180 -x181 -x182 x183 x184 -x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 x198 x199 -x200 x201 x202 x203 x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x220 -x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 x233 -x234 -x235 -x236 x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 x266 x267 x268 -x269 x270 -x271 -x272 x273 -x274 -x275 x276 x277 x278 x279 x280 x281 -x282 -x283 -x284 -x285 x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 x295 x296 x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 x310 x311 x312 x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 
3600.29/3555.65	c objective function=223
3600.29/3555.65	c Total wall clock time (in seconds): 3555.521

Verifier Data 

OK	223

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432225-1721089499/watcher-4432225-1721089499 -o /tmp/evaluation-result-4432225-1721089499/solver-4432225-1721089499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826327 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432225-1721089499.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=828169, runsolver pid=828166

[startup+0.100377 s]*
/proc/loadavg: 4.18 4.35 4.54 5/330 828187
/proc/meminfo: memFree=115893668/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=18975048 memory=63240 CPUtime=0.13 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 7198 0 0 0 11 2 0 0 20 0 18 0 161119660 19430449152 15810 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4743762 15810 5712 1 0 549300 0
[pid=828169/tid=828171] ppid=828166 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 5724 0 0 0 7 1 0 0 20 0 18 0 161119661 19430449152 15810 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161119663 19430449152 15810 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161119664 19430449152 15810 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63240 KiB

[startup+0.206073 s]*
/proc/loadavg: 4.18 4.35 4.54 7/331 828188
/proc/meminfo: memFree=115883296/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19041612 memory=70056 CPUtime=0.32 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 8170 0 0 0 30 2 0 0 20 0 19 0 161119660 19498610688 17514 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4760403 17514 5855 1 0 549975 0
[pid=828169/tid=828171] ppid=828166 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6011 0 0 0 16 1 0 0 20 0 19 0 161119661 19498610688 17514 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19041612 memory=17963 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161119663 19498610688 17514 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161119664 19498610688 17514 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161119679 19498610688 17514 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70056 KiB

[startup+0.306072 s]*
/proc/loadavg: 4.18 4.35 4.54 7/331 828188
/proc/meminfo: memFree=115868812/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19041612 memory=79720 CPUtime=0.52 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 11198 0 0 0 49 3 0 0 20 0 19 0 161119660 19498610688 19930 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4760403 19930 5855 1 0 551436 0
[pid=828169/tid=828171] ppid=828166 vsize=19041612 memory=-8743573081598304956 CPUtime=0.26 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6032 0 0 0 25 1 0 0 20 0 19 0 161119661 19498610688 19930 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161119663 19498610688 19930 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161119664 19498610688 19930 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161119679 19498610688 19930 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79720 KiB

[startup+0.705073 s]
/proc/loadavg: 4.18 4.35 4.54 6/331 828188
/proc/meminfo: memFree=115852208/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19041612 memory=101760 CPUtime=1.29 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 13014 0 0 0 126 3 0 0 20 0 19 0 161119660 19498610688 25440 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4760403 25440 5870 1 0 552663 0
[pid=828169/tid=828171] ppid=828166 vsize=19041612 memory=40864 CPUtime=0.64 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6064 0 0 0 62 2 0 0 20 0 19 0 161119661 19498610688 25440 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19041612 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161119663 19498610688 25440 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161119664 19498610688 25440 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161119679 19498610688 25440 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101760 KiB

[startup+1.50107 s]
/proc/loadavg: 4.33 4.38 4.55 7/331 828188
/proc/meminfo: memFree=115743140/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19041612 memory=168792 CPUtime=2.39 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 14391 0 0 0 234 5 0 0 20 0 19 0 161119660 19498610688 42198 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4760403 42198 5870 1 0 552887 0
[pid=828169/tid=828171] ppid=828166 vsize=19041612 memory=12312 CPUtime=1.43 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6506 0 0 0 140 3 0 0 20 0 19 0 161119661 19498610688 42198 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161119663 19498610688 42198 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161119664 19498610688 42198 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161119679 19498610688 42198 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168792 KiB

[startup+3.10567 s]
/proc/loadavg: 4.33 4.38 4.55 5/332 828189
/proc/meminfo: memFree=115452724/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=245240 CPUtime=4.11 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 18345 0 0 0 404 7 0 0 20 0 20 0 161119660 19566772224 61310 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 61310 5886 1 0 553178 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=0 CPUtime=2.96 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6814 0 0 0 293 3 0 0 20 0 20 0 161119661 19566772224 61310 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=-8743573081598304956 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 61310 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 61310 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 61310 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 245240 KiB

[startup+6.30025 s]
/proc/loadavg: 4.30 4.37 4.55 5/332 828190
/proc/meminfo: memFree=114991140/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=494440 CPUtime=7.48 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 19359 0 0 0 736 12 0 0 20 0 20 0 161119660 19566772224 123610 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 123610 5886 1 0 701466 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=2220 CPUtime=5.97 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 6944 0 0 0 593 4 0 0 20 0 20 0 161119661 19566772224 123610 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 123610 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 123610 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 123610 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 494440 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.36 4.54 5/332 828190
/proc/meminfo: memFree=114348628/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=909876 CPUtime=14.04 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 21804 0 0 0 1384 20 0 0 20 0 20 0 161119660 19566772224 227469 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 227469 5886 1 0 856045 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=12312 CPUtime=12.08 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 7777 0 0 0 1201 7 0 0 20 0 20 0 161119661 19566772224 227469 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=695436 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 227469 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=40864 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 227469 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 227469 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 909876 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.35 4.54 5/332 828193
/proc/meminfo: memFree=112884488/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=1771436 CPUtime=27.26 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 22866 0 0 0 2690 36 0 0 20 0 20 0 161119660 19566772224 442859 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 442859 5902 1 0 985568 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=6943526294502006880 CPUtime=24.25 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 7901 0 0 0 2414 11 0 0 20 0 20 0 161119661 19566772224 442859 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 442859 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=3444 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 442859 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 442859 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1771436 KiB

[startup+51.1056 s]
/proc/loadavg: 4.37 4.37 4.54 5/331 828580
/proc/meminfo: memFree=111047808/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=2931640 CPUtime=53.4 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 32074 0 0 0 5282 58 0 0 20 0 20 0 161119660 19566772224 732910 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 732910 5918 1 0 1110905 0

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

[startup+3222.3 s]
/proc/loadavg: 4.28 4.23 4.20 5/332 830100
/proc/meminfo: memFree=92302620/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384004 CPUtime=3264.06 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 345266 0 0 0 325973 433 0 0 20 0 20 0 161119660 19566772224 3846001 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846001 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=-8743573081598304956 CPUtime=3165.76 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 109109 0 0 0 316473 103 0 0 20 0 20 0 161119661 19566772224 3846001 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846001 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1558 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846001 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=15384004 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846001 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3264.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.19 5/332 830110
/proc/meminfo: memFree=92297704/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384012 CPUtime=3324.54 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 352225 0 0 0 332019 435 0 0 20 0 20 0 161119660 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846003 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=15384004 CPUtime=3225.02 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 112317 0 0 0 322398 104 0 0 20 0 20 0 161119661 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=15384004 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1606 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=40972 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3324.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/332 830121
/proc/meminfo: memFree=91511184/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384012 CPUtime=3384.85 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 358365 0 0 0 338048 437 0 0 20 0 20 0 161119660 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846003 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=12316 CPUtime=3284.43 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 115466 0 0 0 328339 104 0 0 20 0 20 0 161119661 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=15384012 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1659 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846003 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3384.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/333 830135
/proc/meminfo: memFree=90018372/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384032 CPUtime=3445.58 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 363977 0 0 0 344118 440 0 0 20 0 20 0 161119660 19566772224 3846008 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846008 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=40972 CPUtime=3343.33 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 117564 0 0 0 334228 105 0 0 20 0 20 0 161119661 19566772224 3846008 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=15384012 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846008 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=15384032 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1711 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846008 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=15384032 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846008 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3445.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/333 830147
/proc/meminfo: memFree=88778360/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384052 CPUtime=3506.28 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 370538 0 0 0 350186 442 0 0 20 0 20 0 161119660 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846013 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=40972 CPUtime=3402.37 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 120501 0 0 0 340132 105 0 0 20 0 20 0 161119661 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=15384012 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1762 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3506.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/333 830157
/proc/meminfo: memFree=86878928/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384052 CPUtime=3566.48 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 377034 0 0 0 356204 444 0 0 20 0 20 0 161119660 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846013 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=40972 CPUtime=3461.61 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 124040 0 0 0 346056 105 0 0 20 0 20 0 161119661 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=15976 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=15976 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1813 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3566.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3555.5 s]
/proc/loadavg: 4.34 4.21 4.19 6/333 830233
/proc/meminfo: memFree=98370960/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19108176 memory=15384052 CPUtime=3600.07 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 378512 0 0 0 359562 445 0 0 20 0 20 0 161119660 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4777044 3846013 5950 1 0 4087006 0
[pid=828169/tid=828171] ppid=828166 vsize=19108176 memory=12316 CPUtime=3494.22 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 125061 0 0 0 349317 105 0 0 20 0 20 0 161119661 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19108176 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161119663 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 20 0 161119664 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828188] ppid=828166 vsize=19108176 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828188/stat : 828188 (Timer-0) S 828166 828169 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161119679 19566772224 3846013 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15384052 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.93 s, system=4.49977 s

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

[startup+3555.61 s]
/proc/loadavg: 4.34 4.21 4.19 6/333 830233
/proc/meminfo: memFree=98370960/131524600 swapFree=131071996/131071996
[pid=828169] ppid=828166 vsize=19307868 memory=15384728 CPUtime=3600.29 cores=5,7
/proc/828169/stat : 828169 (java) S 828166 828169 826314 0 -1 1077936128 381438 0 0 0 359584 445 0 0 20 0 21 0 161119660 19771256832 3846182 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
/proc/828169/statm: 4826967 3846182 5949 1 0 4087919 0
[pid=828169/tid=828171] ppid=828166 vsize=19307868 memory=37484 CPUtime=3494.33 cores=5,7
/proc/828169/task/828171/stat : 828171 (java) R 828166 828169 826314 0 -1 4194368 125226 0 0 0 349328 105 0 0 20 0 21 0 161119661 19771256832 3846182 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828180] ppid=828166 vsize=19307868 memory=15384052 CPUtime=0 cores=5,7
/proc/828169/task/828180/stat : 828180 (Finalizer) S 828166 828169 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161119663 19771256832 3846182 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
[pid=828169/tid=828187] ppid=828166 vsize=19307868 memory=-8743573081598304956 CPUtime=0 cores=5,7
/proc/828169/task/828187/stat : 828187 (Common-Cleaner) S 828166 828169 826314 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 21 0 161119664 19771256832 3846182 134679101440 94771370336256 94771370339952 140725653405840 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94771370347768 94771370348560 94771387224064 140725653410823 140725653410913 140725653410913 140725653417928 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15384728 KiB

Child status: 143

Real time (s): 3555.7
CPU time (s): 3600.42
CPU user time (s): 3595.93
CPU system time (s): 4.49977
CPU usage (%): 101.258
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15384728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.49977
maximum resident set size= 15385508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116478
involuntary context switches= 13564


# summary of solver processes directly reported to runsolver:
#   pid: 828169
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3595.93
#   total CPU system time (s): 4.49977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62882 second user time and 17.449 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 02:25:12
IDJOB=4432225
IDBENCH=147549
IDSOLVER=3058
FILE ID=nodeC033/4432225-1721089499
RUNJOBID= nodeC033-1721085950-826327
SLURM_JOB_ID= 7505580
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432225-1721089499/watcher-4432225-1721089499 -o /tmp/evaluation-result-4432225-1721089499/solver-4432225-1721089499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826327 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432225-1721089499.opb

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

MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=784687295

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115939852 kB
MemAvailable:   118812272 kB
Buffers:          405088 kB
Cached:          3273192 kB
SwapCached:            0 kB
Active:           655124 kB
Inactive:       14248412 kB
Active(anon):       1580 kB
Inactive(anon): 11261392 kB
Active(file):     653544 kB
Inactive(file):  2987020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2048 kB
Writeback:             0 kB
AnonPages:      11224612 kB
Mapped:           124152 kB
Shmem:             37716 kB
KReclaimable:     143008 kB
Slab:             254600 kB
SReclaimable:     143008 kB
SUnreclaim:       111592 kB
KernelStack:        5004 kB
PageTables:        31968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13742952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10887168 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC033 at 2024-07-16 03:24:27