Trace number 4432216

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)50922 3600.65 3593.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUM1adddfdbf1ced655bc7cf87afdf2cbda
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 benchmark40292
Best CPU time to get the best result obtained on this benchmark72000.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
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.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	c os.arch		amd64
0.13/0.22	c Free memory 		2115194816
0.13/0.22	c Max memory 		16282288128
0.13/0.22	c Total memory 		2122317824
0.30/0.23	c Number of processors 	2
0.30/0.31	--- Begin Solver configuration ---
0.30/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.31	Learn all clauses as in MiniSAT
0.30/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.31	No reason simplification
0.30/0.31	Glucose 2.1 dynamic restart strategy
0.30/0.31	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.30/0.31	timeout=2147483s
0.30/0.31	DB Simplification allowed=false
0.30/0.31	Listener: none
0.30/0.31	--- End Solver configuration ---
0.48/0.33	c Pseudo Boolean Optimization by upper bound
0.48/0.33	c --- Begin Solver configuration ---
0.48/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.48/0.33	c Learn all clauses as in MiniSAT
0.48/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.48/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.48/0.33	c No reason simplification
0.48/0.33	c Glucose 2.1 dynamic restart strategy
0.48/0.33	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.48/0.33	c timeout=2147483s
0.48/0.33	c DB Simplification allowed=false
0.48/0.33	c Listener: none
0.48/0.33	c --- End Solver configuration ---
0.48/0.33	c solving HOME/instance-4432216-1721073224.opb
0.48/0.33	c reading problem ... 
0.48/0.33	c  objective function found
1.36/0.84	c ... done. Wall clock time 0.511s.
1.36/0.84	c declared #vars     1344
1.36/0.84	c #constraints  16376
1.36/0.84	c constraints type 
1.36/0.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.36/0.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.36/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.36/0.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.36/0.84	c 16376 constraints processed.
1.36/0.86	c objective function length is 448 literals
1.77/1.02	c SATISFIABLE
1.77/1.03	c OPTIMIZING...
1.77/1.03	c Got one! Elapsed wall clock time (in seconds):0.702
1.77/1.03	o 53930
1.97/1.16	c Got one! Elapsed wall clock time (in seconds):0.833
1.97/1.17	o 53133
2.13/1.20	c Got one! Elapsed wall clock time (in seconds):0.875
2.13/1.20	o 51395
2.13/1.27	c Got one! Elapsed wall clock time (in seconds):0.944
2.13/1.27	o 50922
2.93/1.69	c cleaning 3231 clauses out of 6467 with flag 12226/6467
3.32/1.89	c cleaning 4620 clauses out of 9239 with flag 26062/12470
3.63/2.09	c cleaning 5808 clauses out of 11616 with flag 42065/19467
3.93/2.27	c cleaning 6903 clauses out of 13808 with flag 59931/27467
4.17/2.46	c cleaning 7947 clauses out of 15905 with flag 79824/36467
4.38/2.70	c cleaning 8979 clauses out of 17958 with flag 102640/46467
4.68/2.97	c cleaning 9986 clauses out of 19979 with flag 128199/57467
4.99/3.26	c cleaning 10996 clauses out of 21993 with flag 155982/69467
5.29/3.56	c cleaning 11995 clauses out of 23997 with flag 185856/82467
5.60/3.89	c cleaning 13001 clauses out of 26002 with flag 218328/96467
6.40/4.69	c cleaning 13999 clauses out of 28001 with flag 253666/111467
7.09/5.38	c cleaning 14999 clauses out of 30002 with flag 292198/127467
7.68/5.89	c cleaning 16000 clauses out of 32003 with flag 332950/144467
8.25/6.35	c cleaning 16995 clauses out of 34004 with flag 376811/162468
8.75/6.83	c cleaning 18000 clauses out of 36010 with flag 425011/181469
9.25/7.37	c cleaning 19003 clauses out of 38008 with flag 476677/201467
9.84/7.99	c cleaning 20003 clauses out of 40005 with flag 532252/222467
10.44/8.59	c cleaning 20995 clauses out of 42002 with flag 591366/244467
11.24/9.31	c cleaning 22003 clauses out of 44007 with flag 652888/267467
11.95/10.04	c cleaning 22997 clauses out of 46004 with flag 717480/291467
12.77/10.90	c cleaning 24001 clauses out of 48010 with flag 784412/316470
13.68/11.76	c cleaning 25000 clauses out of 50007 with flag 854711/342468
14.68/12.70	c cleaning 25994 clauses out of 52006 with flag 927920/369467
15.58/13.62	c cleaning 27003 clauses out of 54015 with flag 1004252/397470
16.61/14.64	c cleaning 28002 clauses out of 56009 with flag 1082807/426467
17.41/15.48	c cleaning 29001 clauses out of 58007 with flag 1165383/456467
18.51/16.52	c cleaning 29999 clauses out of 60007 with flag 1251102/487468
19.72/17.77	c cleaning 30995 clauses out of 62008 with flag 1342476/519468
20.71/18.77	c cleaning 32004 clauses out of 64013 with flag 1436656/552468
21.81/19.88	c cleaning 32995 clauses out of 66009 with flag 1533804/586468
23.05/21.03	c cleaning 34006 clauses out of 68013 with flag 1634102/621467
24.24/22.28	c cleaning 34998 clauses out of 70008 with flag 1737483/657468
25.53/23.55	c cleaning 36003 clauses out of 72010 with flag 1843235/694468
27.05/25.09	c cleaning 36999 clauses out of 74006 with flag 1953524/732467
28.44/26.44	c cleaning 37998 clauses out of 76009 with flag 2068454/771469
29.77/27.77	c cleaning 38998 clauses out of 78010 with flag 2187607/811468
31.26/29.25	c cleaning 40005 clauses out of 80011 with flag 2308273/852467
32.77/30.74	c cleaning 40999 clauses out of 82007 with flag 2433964/894468
34.56/32.58	c cleaning 42001 clauses out of 84007 with flag 2562263/937467
36.17/34.12	c cleaning 42996 clauses out of 86006 with flag 2695677/981467
37.95/36.01	c cleaning 43998 clauses out of 88010 with flag 2833645/1026467
39.65/37.66	c cleaning 45000 clauses out of 90012 with flag 2974848/1072467
41.59/39.58	c cleaning 45997 clauses out of 92012 with flag 3120713/1119467
43.51/41.42	c cleaning 47006 clauses out of 94016 with flag 3266875/1167468
45.64/43.45	c cleaning 48004 clauses out of 96011 with flag 3416965/1216469
47.44/45.22	c cleaning 48995 clauses out of 98005 with flag 3571710/1266467
49.54/47.37	c cleaning 49995 clauses out of 100012 with flag 3728835/1317469
51.84/49.60	c cleaning 51008 clauses out of 102015 with flag 3889828/1369467
54.04/51.83	c cleaning 51996 clauses out of 104007 with flag 4055132/1422467
56.47/54.23	c cleaning 53007 clauses out of 106014 with flag 4224951/1476470
58.66/56.45	c cleaning 53996 clauses out of 108004 with flag 4396011/1531467
61.00/58.68	c cleaning 55004 clauses out of 110008 with flag 4573927/1587467
63.80/61.47	c cleaning 56001 clauses out of 112004 with flag 4758977/1644467
66.29/63.94	c cleaning 56992 clauses out of 114003 with flag 4939079/1702467
68.73/66.36	c cleaning 57999 clauses out of 116011 with flag 5131083/1761467
71.13/68.74	c cleaning 59003 clauses out of 118012 with flag 5324528/1821467
73.84/71.44	c cleaning 59997 clauses out of 120009 with flag 5519443/1882467
76.44/74.05	c cleaning 61005 clauses out of 122013 with flag 5721730/1944468
79.34/76.94	c cleaning 61992 clauses out of 124007 with flag 5926448/2007467
81.94/79.57	c cleaning 63006 clauses out of 126017 with flag 6137889/2071469
84.94/82.56	c cleaning 63998 clauses out of 128011 with flag 6353790/2136469
88.24/85.83	c cleaning 65001 clauses out of 130014 with flag 6574349/2202470
91.23/88.84	c cleaning 66002 clauses out of 132011 with flag 6799854/2269468
94.82/92.42	c cleaning 67002 clauses out of 134012 with flag 7031106/2337471
97.91/95.55	c cleaning 67991 clauses out of 136006 with flag 7267628/2406467
101.71/99.33	c cleaning 69003 clauses out of 138016 with flag 7505677/2476468
105.00/102.62	c cleaning 69995 clauses out of 140012 with flag 7752089/2547467
108.59/106.28	c cleaning 71005 clauses out of 142017 with flag 7997571/2619467
112.70/110.30	c cleaning 72007 clauses out of 144014 with flag 8251119/2692469
116.41/114.02	c cleaning 72994 clauses out of 146005 with flag 8501220/2766467
119.90/117.55	c cleaning 73999 clauses out of 148012 with flag 8758508/2841468
123.89/121.59	c cleaning 75000 clauses out of 150013 with flag 9020456/2917468
127.84/125.47	c cleaning 75997 clauses out of 152012 with flag 9293974/2994467
131.83/129.45	c cleaning 77007 clauses out of 154015 with flag 9574914/3072467
136.02/133.69	c cleaning 77999 clauses out of 156009 with flag 9850991/3151468
140.12/137.79	c cleaning 78990 clauses out of 158009 with flag 10132348/3231467
144.22/141.89	c cleaning 80005 clauses out of 160020 with flag 10417385/3312468
148.75/146.32	c cleaning 81002 clauses out of 162014 with flag 10705105/3394467
153.15/150.72	c cleaning 82001 clauses out of 164012 with flag 10998355/3477467
157.45/155.07	c cleaning 83005 clauses out of 166013 with flag 11292577/3561469
162.65/160.22	c cleaning 83997 clauses out of 168006 with flag 11588832/3646467
167.55/165.15	c cleaning 84997 clauses out of 170009 with flag 11887779/3732467
172.73/170.33	c cleaning 86000 clauses out of 172012 with flag 12197669/3819467
177.66/175.25	c cleaning 87005 clauses out of 174012 with flag 12517073/3907467
182.57/180.12	c cleaning 88003 clauses out of 176008 with flag 12835221/3996468
187.69/185.28	c cleaning 89003 clauses out of 178007 with flag 13158032/4086470
192.69/190.22	c cleaning 89995 clauses out of 180001 with flag 13489593/4177467
197.49/195.02	c cleaning 91000 clauses out of 182006 with flag 13822692/4269467
202.37/200.00	c cleaning 91998 clauses out of 184008 with flag 14154616/4362469
208.26/205.86	c cleaning 92999 clauses out of 186008 with flag 14493428/4456467
213.66/211.28	c cleaning 93988 clauses out of 188010 with flag 14835422/4551468
218.56/216.19	c cleaning 95001 clauses out of 190023 with flag 15177365/4647469
224.24/221.77	c cleaning 96004 clauses out of 192020 with flag 15526863/4744467
230.54/228.04	c cleaning 97000 clauses out of 194016 with flag 15873621/4842467
236.64/234.14	c cleaning 98005 clauses out of 196016 with flag 16226469/4941467
242.72/240.16	c cleaning 98999 clauses out of 198013 with flag 16593314/5041469
248.89/246.34	c cleaning 99997 clauses out of 200012 with flag 16966201/5142467
256.70/253.15	c cleaning 101004 clauses out of 202016 with flag 17341035/5244468
263.18/259.60	c cleaning 102004 clauses out of 204011 with flag 17721815/5347467
269.47/266.00	c cleaning 102999 clauses out of 206007 with flag 18110723/5451467
275.27/271.74	c cleaning 103999 clauses out of 208011 with flag 18497501/5556470
281.36/277.88	c cleaning 104998 clauses out of 210010 with flag 18890674/5662468
288.66/285.12	c cleaning 106000 clauses out of 212011 with flag 19285475/5769467
295.03/291.58	c cleaning 107003 clauses out of 214012 with flag 19681527/5877468
301.22/297.79	c cleaning 108002 clauses out of 216011 with flag 20098068/5986470
308.72/305.24	c cleaning 108999 clauses out of 218007 with flag 20508464/6096468
315.72/312.25	c cleaning 110002 clauses out of 220007 with flag 20922134/6207467
323.23/319.75	c cleaning 110992 clauses out of 222005 with flag 21339384/6319467
330.43/326.97	c cleaning 111999 clauses out of 224014 with flag 21765000/6432468
337.52/334.06	c cleaning 112991 clauses out of 226014 with flag 22190016/6546467
344.99/341.47	c cleaning 114003 clauses out of 228023 with flag 22625922/6661467
352.47/348.93	c cleaning 115003 clauses out of 230021 with flag 23062764/6777468
360.10/356.57	c cleaning 116005 clauses out of 232018 with flag 23504949/6894468
368.08/364.59	c cleaning 117000 clauses out of 234012 with flag 23951171/7012467
376.12/372.56	c cleaning 118006 clauses out of 236014 with flag 24394566/7131469
383.82/380.29	c cleaning 118996 clauses out of 238009 with flag 24850296/7251470
391.92/388.31	c cleaning 120003 clauses out of 240012 with flag 25313111/7372469
399.40/395.89	c cleaning 120999 clauses out of 242008 with flag 25774229/7494468
407.61/404.11	c cleaning 121991 clauses out of 244009 with flag 26243197/7617468
416.60/413.05	c cleaning 123002 clauses out of 246017 with flag 26707001/7741467
424.73/421.19	c cleaning 124001 clauses out of 248016 with flag 27178873/7866468
433.00/429.43	c cleaning 125005 clauses out of 250016 with flag 27656258/7992469
440.90/437.35	c cleaning 126001 clauses out of 252010 with flag 28136717/8119468
448.88/445.30	c cleaning 126996 clauses out of 254008 with flag 28623800/8247467
459.26/455.76	c cleaning 128005 clauses out of 256014 with flag 29107866/8376469
467.04/463.50	c cleaning 129001 clauses out of 258007 with flag 29601020/8506467
476.33/472.84	c cleaning 129996 clauses out of 260006 with flag 30122686/8637467
485.66/482.17	c cleaning 131002 clauses out of 262011 with flag 30622872/8769468
494.04/490.55	c cleaning 132000 clauses out of 264008 with flag 31140074/8902467
502.84/499.31	c cleaning 133003 clauses out of 266009 with flag 31662050/9036468
511.13/507.64	c cleaning 133996 clauses out of 268005 with flag 32172166/9171467
521.22/517.78	c cleaning 134998 clauses out of 270009 with flag 32683749/9307467
531.20/527.75	c cleaning 136002 clauses out of 272011 with flag 33207053/9444467
540.79/537.31	c cleaning 137000 clauses out of 274009 with flag 33728920/9582467
553.11/548.93	c cleaning 138003 clauses out of 276012 with flag 34264449/9721470
563.50/559.31	c cleaning 138998 clauses out of 278007 with flag 34803576/9861468
574.29/570.17	c cleaning 140003 clauses out of 280011 with flag 35343367/10002470
585.28/581.14	c cleaning 140995 clauses out of 282005 with flag 35882542/10144467
595.37/591.23	c cleaning 142003 clauses out of 284011 with flag 36427663/10287468
606.58/602.46	c cleaning 143000 clauses out of 286008 with flag 36978897/10431468
618.20/614.02	c cleaning 143998 clauses out of 288007 with flag 37526462/10576467
628.28/624.08	c cleaning 144991 clauses out of 290009 with flag 38082516/10722467
639.60/635.32	c cleaning 146006 clauses out of 292019 with flag 38645075/10869468
649.74/645.44	c cleaning 147007 clauses out of 294014 with flag 39208928/11017469
661.19/656.86	c cleaning 147996 clauses out of 296005 with flag 39785192/11166467
672.13/667.78	c cleaning 148996 clauses out of 298009 with flag 40364318/11316467
683.34/678.96	c cleaning 150004 clauses out of 300014 with flag 40945824/11467468
694.36/689.98	c cleaning 151000 clauses out of 302009 with flag 41534421/11619467
705.64/701.24	c cleaning 152002 clauses out of 304010 with flag 42114784/11772468
718.23/713.83	c cleaning 152998 clauses out of 306007 with flag 42699639/11926467
730.20/725.80	c cleaning 153993 clauses out of 308010 with flag 43296245/12081468
741.08/736.77	c cleaning 154998 clauses out of 310017 with flag 43893461/12237468
752.56/748.21	c cleaning 156006 clauses out of 312018 with flag 44504236/12394467
764.58/760.22	c cleaning 157002 clauses out of 314012 with flag 45130248/12552467
776.47/772.18	c cleaning 158006 clauses out of 316011 with flag 45748901/12711468
789.63/785.33	c cleaning 158996 clauses out of 318004 with flag 46370061/12871467
802.11/797.83	c cleaning 159997 clauses out of 320008 with flag 46997061/13032467
815.57/811.37	c cleaning 161005 clauses out of 322013 with flag 47629014/13194469
828.36/824.19	c cleaning 161998 clauses out of 324006 with flag 48263826/13357467
839.03/834.86	c cleaning 163002 clauses out of 326009 with flag 48846863/13521468
852.91/848.62	c cleaning 163996 clauses out of 328007 with flag 49431217/13686468
866.56/861.58	c cleaning 165001 clauses out of 330011 with flag 49990272/13852468
878.93/873.83	c cleaning 165999 clauses out of 332011 with flag 50555119/14019469
891.48/886.37	c cleaning 166998 clauses out of 334015 with flag 51159876/14187472
903.92/898.74	c cleaning 167997 clauses out of 336015 with flag 51816729/14356470
918.75/913.54	c cleaning 169003 clauses out of 338015 with flag 52473895/14526467
932.91/927.64	c cleaning 170000 clauses out of 340012 with flag 53135238/14697467
947.05/941.71	c cleaning 170997 clauses out of 342013 with flag 53804433/14869468
961.72/956.34	c cleaning 171998 clauses out of 344016 with flag 54477990/15042468
977.90/972.54	c cleaning 172998 clauses out of 346017 with flag 55169971/15216467
991.53/986.12	c cleaning 173994 clauses out of 348019 with flag 55842520/15391467
1007.42/1002.02	c cleaning 175005 clauses out of 350025 with flag 56522855/15567467
1025.57/1020.14	c cleaning 176006 clauses out of 352020 with flag 57174479/15744467
1043.06/1037.68	c cleaning 177006 clauses out of 354016 with flag 57862703/15922469
1060.22/1054.89	c cleaning 178003 clauses out of 356008 with flag 58550720/16101467
1078.91/1073.49	c cleaning 178998 clauses out of 358005 with flag 59234598/16281467
1096.04/1090.58	c cleaning 179996 clauses out of 360008 with flag 59944033/16462468
1112.28/1106.77	c cleaning 181006 clauses out of 362013 with flag 60645846/16644469
1130.12/1124.55	c cleaning 181997 clauses out of 364006 with flag 61358771/16827468
1148.19/1142.53	c cleaning 182997 clauses out of 366009 with flag 62081538/17011468
1166.07/1160.31	c cleaning 183999 clauses out of 368011 with flag 62807128/17196467
1181.45/1175.79	c cleaning 184997 clauses out of 370012 with flag 63548069/17382467
1202.55/1196.54	c cleaning 186003 clauses out of 372017 with flag 64285047/17569469
1219.48/1213.40	c cleaning 187005 clauses out of 374012 with flag 65024296/17757467
1234.43/1228.38	c cleaning 187994 clauses out of 376008 with flag 65770509/17946468
1252.11/1246.04	c cleaning 188999 clauses out of 378014 with flag 66520146/18136468
1269.71/1263.54	c cleaning 190000 clauses out of 380016 with flag 67292863/18327469
1286.08/1279.82	c cleaning 191000 clauses out of 382016 with flag 68063795/18519469
1303.84/1297.56	c cleaning 192005 clauses out of 384016 with flag 68840333/18712469
1322.99/1316.68	c cleaning 192996 clauses out of 386010 with flag 69621288/18906468
1340.77/1334.47	c cleaning 193999 clauses out of 388015 with flag 70410468/19101469
1360.94/1354.69	c cleaning 195006 clauses out of 390015 with flag 71186775/19297468
1379.58/1373.26	c cleaning 195998 clauses out of 392008 with flag 71984338/19494467
1399.47/1393.04	c cleaning 196999 clauses out of 394011 with flag 72783658/19692468
1420.12/1413.78	c cleaning 197994 clauses out of 396011 with flag 73582431/19891467
1438.76/1432.31	c cleaning 199000 clauses out of 398017 with flag 74400032/20091467
1459.43/1452.94	c cleaning 200000 clauses out of 400017 with flag 75231235/20292467
1481.61/1475.15	c cleaning 200997 clauses out of 402017 with flag 76051488/20494467
1501.03/1494.59	c cleaning 201999 clauses out of 404020 with flag 76876371/20697467
1520.77/1514.21	c cleaning 203008 clauses out of 406021 with flag 77710589/20901467
1540.54/1534.02	c cleaning 203997 clauses out of 408014 with flag 78540000/21106468
1565.31/1558.82	c cleaning 205002 clauses out of 410018 with flag 79382842/21312469
1587.21/1580.72	c cleaning 206002 clauses out of 412014 with flag 80213734/21519467
1608.24/1601.78	c cleaning 206993 clauses out of 414012 with flag 81073286/21727467
1634.26/1627.79	c cleaning 208006 clauses out of 416019 with flag 81930359/21936467
1656.90/1650.38	c cleaning 209000 clauses out of 418013 with flag 82811705/22146467
1682.95/1676.33	c cleaning 209996 clauses out of 420015 with flag 83666140/22357469
1706.82/1700.15	c cleaning 211005 clauses out of 422017 with flag 84552759/22569467
1725.89/1719.16	c cleaning 212002 clauses out of 424013 with flag 85468019/22782468
1745.36/1738.55	c cleaning 213003 clauses out of 426010 with flag 86381939/22996467
1771.82/1765.07	c cleaning 214000 clauses out of 428008 with flag 87298374/23211468
1796.98/1790.14	c cleaning 214997 clauses out of 430007 with flag 88205810/23427467
1822.24/1815.36	c cleaning 215999 clauses out of 432010 with flag 89114545/23644467
1845.23/1838.24	c cleaning 216995 clauses out of 434011 with flag 90041072/23862467
1870.40/1863.39	c cleaning 218001 clauses out of 436016 with flag 90939938/24081467
1894.37/1886.64	c cleaning 219000 clauses out of 438016 with flag 91837347/24301468
1916.95/1909.14	c cleaning 220005 clauses out of 440015 with flag 92738872/24522467
1943.59/1935.85	c cleaning 221002 clauses out of 442011 with flag 93663829/24744468
1965.99/1958.14	c cleaning 221993 clauses out of 444009 with flag 94635666/24967468
1989.57/1981.69	c cleaning 223003 clauses out of 446017 with flag 95610811/25191469
2013.64/2005.79	c cleaning 223997 clauses out of 448012 with flag 96577229/25416467
2035.72/2027.80	c cleaning 225001 clauses out of 450015 with flag 97571352/25642467
2060.98/2053.11	c cleaning 226005 clauses out of 452017 with flag 98549689/25869470
2085.62/2077.85	c cleaning 226999 clauses out of 454010 with flag 99520278/26097468
2109.64/2101.89	c cleaning 228001 clauses out of 456010 with flag 100470340/26326467
2129.49/2121.76	c cleaning 229001 clauses out of 458010 with flag 101394699/26556468
2155.64/2147.92	c cleaning 230000 clauses out of 460009 with flag 102398933/26787468
2182.01/2174.23	c cleaning 231001 clauses out of 462010 with flag 103398173/27019469
2208.58/2200.74	c cleaning 231999 clauses out of 464008 with flag 104376668/27252468
2236.53/2228.76	c cleaning 233004 clauses out of 466009 with flag 105367952/27486468
2263.92/2256.14	c cleaning 233992 clauses out of 468005 with flag 106379439/27721468
2289.64/2281.90	c cleaning 235001 clauses out of 470012 with flag 107408328/27957467
2316.00/2308.38	c cleaning 235997 clauses out of 472012 with flag 108443973/28194468
2342.93/2335.33	c cleaning 236998 clauses out of 474014 with flag 109452189/28432467
2369.54/2361.99	c cleaning 238002 clauses out of 476017 with flag 110464274/28671468
2399.47/2392.00	c cleaning 238997 clauses out of 478014 with flag 111489030/28911467
2423.22/2415.76	c cleaning 239995 clauses out of 480017 with flag 112558481/29152467
2451.06/2443.68	c cleaning 241004 clauses out of 482022 with flag 113603288/29394467
2477.06/2469.58	c cleaning 242000 clauses out of 484018 with flag 114683558/29637467
2504.90/2497.45	c cleaning 243000 clauses out of 486019 with flag 115725808/29881468
2533.93/2526.57	c cleaning 244010 clauses out of 488019 with flag 116770460/30126468
2559.99/2552.67	c cleaning 244999 clauses out of 490008 with flag 117785145/30372467
2588.70/2581.35	c cleaning 245997 clauses out of 492010 with flag 118812163/30619468
2618.45/2611.17	c cleaning 247000 clauses out of 494014 with flag 119827698/30867469
2651.06/2643.80	c cleaning 247993 clauses out of 496013 with flag 120846929/31116468
2680.00/2672.87	c cleaning 249004 clauses out of 498019 with flag 121891727/31366467
2711.83/2704.55	c cleaning 250001 clauses out of 500019 with flag 122928950/31617471
2742.17/2735.00	c cleaning 250997 clauses out of 502014 with flag 123973210/31869467
2777.00/2769.66	c cleaning 252005 clauses out of 504018 with flag 125004452/32122468
2809.28/2801.70	c cleaning 252999 clauses out of 506013 with flag 126084615/32376468
2844.53/2837.03	c cleaning 254005 clauses out of 508013 with flag 127166519/32631467
2873.23/2865.97	c cleaning 255000 clauses out of 510008 with flag 128221808/32887467
2905.84/2898.72	c cleaning 256000 clauses out of 512009 with flag 129322936/33144468
2941.25/2934.17	c cleaning 257002 clauses out of 514008 with flag 130394913/33402467
2977.48/2970.43	c cleaning 257995 clauses out of 516006 with flag 131484430/33661467
3011.77/3004.63	c cleaning 259005 clauses out of 518013 with flag 132608976/33921469
3043.32/3036.24	c cleaning 259993 clauses out of 520007 with flag 133709337/34182468
3078.22/3071.05	c cleaning 260998 clauses out of 522015 with flag 134885891/34444469
3108.04/3100.97	c cleaning 262002 clauses out of 524017 with flag 136071009/34707469
3140.47/3133.36	c cleaning 263004 clauses out of 526013 with flag 137176666/34971467
3170.71/3163.67	c cleaning 263999 clauses out of 528010 with flag 138311456/35236468
3203.04/3195.83	c cleaning 265006 clauses out of 530013 with flag 139504259/35502470
3235.64/3228.32	c cleaning 265998 clauses out of 532005 with flag 140670219/35769468
3275.76/3268.53	c cleaning 267002 clauses out of 534009 with flag 141830054/36037470
3309.99/3302.73	c cleaning 267996 clauses out of 536006 with flag 142978825/36306469
3347.72/3340.59	c cleaning 268997 clauses out of 538008 with flag 144103510/36576467
3379.98/3372.74	c cleaning 270000 clauses out of 540012 with flag 145235533/36847468
3413.35/3406.12	c cleaning 271003 clauses out of 542012 with flag 146365054/37119468
3450.84/3443.68	c cleaning 271999 clauses out of 544008 with flag 147538317/37392467
3491.75/3484.63	c cleaning 272998 clauses out of 546012 with flag 148706056/37666470
3529.14/3521.97	c cleaning 273995 clauses out of 548011 with flag 149858018/37941467
3563.07/3556.00	c cleaning 275003 clauses out of 550016 with flag 151004561/38217467
3597.55/3590.36	c cleaning 275997 clauses out of 552014 with flag 152146321/38494468
3600.05/3592.84	c starts		: 130
3600.05/3592.86	c conflicts		: 38524627
3600.05/3592.86	c decisions		: 43251879
3600.05/3592.86	c propagations		: 418758647
3600.05/3592.86	c inspects		: 32534238981
3600.05/3592.86	c shortcuts		: 0
3600.05/3592.86	c learnt literals	: 0
3600.05/3592.86	c learnt binary clauses	: 0
3600.05/3592.86	c learnt ternary clauses	: 0
3600.05/3592.86	c learnt constraints	: 38524627
3600.05/3592.86	c ignored constraints	: 0
3600.05/3592.86	c root simplifications	: 0
3600.05/3592.86	c removed literals (reason simplification)	: 0
3600.05/3592.86	c reason swapping (by a shorter reason)	: 0
3600.05/3592.86	c Calls to reduceDB	: 273
3600.05/3592.86	c Number of update (reduction) of LBD	: 3244764
3600.05/3592.86	c Imported unit clauses	: 0
3600.05/3592.86	c No decision after first conflict	: false
3600.05/3592.86	c number of reductions to clauses (during analyze)	: 0
3600.05/3592.86	c number of learned constraints concerned by reduction	: 0
3600.05/3592.86	c number of learning phase by resolution	: 0
3600.05/3592.86	c number of learning phase by cutting planes	: 0
3600.05/3592.86	c number of rounding to 1 operations	: 0
3600.05/3592.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3592.86	c number of reductions of the coefficients by power 2 	: 0
3600.05/3592.86	c number of right shift for reduction by power 2 	: 0
3600.05/3592.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3592.86	c number of ending skipping 	: 0
3600.05/3592.86	c number of internal skipping 	: 0
3600.05/3592.86	c number of derivation steps 	: 0
3600.05/3592.86	c number of skipped derivation steps 	: 0
3600.05/3592.86	c number of remaining unassigned 	: 0
3600.05/3592.86	c number of remaining assigned 	: 0
3600.05/3592.86	c number of falsified literals weakened from reason	: 0
3600.05/3592.86	c number of falsified literals weakened from conflict	: 0
3600.05/3592.86	c time for arithmetic operations	: 0
3600.05/3592.88	c minimum degree of deleted constraints	: null
3600.05/3592.88	c maximum degree of deleted constraints	: null
3600.05/3592.88	c number of deleted constraints	: 0
3600.05/3592.88	c speed (assignments/second)	: 116580.6878995503
3600.05/3592.89	c non guided choices	: 1227
3600.48/3593.07	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306176
3600.48/3593.07	s SATISFIABLE
3600.48/3593.07	c Found 4 solution(s)
3600.48/3593.08	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 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 x899 x900 x901 x902 x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 x960 x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 x1024 x1025 x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 x1150 x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 x1280 x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 x1341 -x1342 x1343 -x1344 
3600.48/3593.08	c objective function=50922
3600.48/3593.08	c Total wall clock time (in seconds): 3592.756

Verifier Data 

OK	50922

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: 64096 MiB (61060 MiB free)
  memory of node 1: 64473 MiB (60819 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432216-1721073224/watcher-4432216-1721073224 -o /tmp/evaluation-result-4432216-1721073224/solver-4432216-1721073224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812193 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432216-1721073224.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=812258, runsolver pid=812249

[startup+0.103275 s]*
/proc/loadavg: 1.52 2.86 3.71 12/292 812299
/proc/meminfo: memFree=124725920/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=18975048 memory=55648 CPUtime=0.13 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 6447 0 0 0 9 4 0 0 20 0 18 0 159479598 19430449152 13912 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4743762 13912 5587 1 0 550809 0
[pid=812258/tid=812262] ppid=812249 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 5370 0 0 0 6 3 0 0 20 0 18 0 159479599 19430449152 13912 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=18975048 memory=4674 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 13912 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 13912 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55648 KiB

[startup+0.215388 s]*
/proc/loadavg: 1.52 2.86 3.71 15/311 812321
/proc/meminfo: memFree=124685148/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=18975048 memory=57928 CPUtime=0.3 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 7094 0 0 0 25 5 0 0 20 0 18 0 159479598 19430449152 14482 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4743762 14482 5596 1 0 551331 0
[pid=812258/tid=812262] ppid=812249 vsize=18975048 memory=7301190626353741955 CPUtime=0.19 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 5679 0 0 0 16 3 0 0 20 0 18 0 159479599 19430449152 14482 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=18975048 memory=4674 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 14482 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 14482 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57928 KiB

[startup+0.322118 s]*
/proc/loadavg: 1.52 2.86 3.71 11/313 812325
/proc/meminfo: memFree=124666856/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=18975048 memory=64276 CPUtime=0.48 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 7403 0 0 0 42 6 0 0 20 0 18 0 159479598 19430449152 16069 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4743762 16069 5785 1 0 551548 0
[pid=812258/tid=812262] ppid=812249 vsize=18975048 memory=-9105547728411534012 CPUtime=0.3 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 5871 0 0 0 26 4 0 0 20 0 18 0 159479599 19430449152 16069 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 16069 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 16069 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64276 KiB

[startup+0.7013 s]
/proc/loadavg: 1.52 2.86 3.71 15/313 812325
/proc/meminfo: memFree=124623352/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=18975048 memory=104384 CPUtime=1.16 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 9150 0 0 0 109 7 0 0 20 0 18 0 159479598 19430449152 26096 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4743762 26096 5839 1 0 552669 0
[pid=812258/tid=812262] ppid=812249 vsize=18975048 memory=5540 CPUtime=0.58 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 5963 0 0 0 53 5 0 0 20 0 18 0 159479599 19430449152 26096 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=18975048 memory=12508 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 26096 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 26096 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 104384 KiB

[startup+1.50126 s]
/proc/loadavg: 1.52 2.86 3.71 11/294 812343
/proc/meminfo: memFree=124474216/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19041612 memory=158484 CPUtime=2.73 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 14686 0 0 0 262 11 0 0 20 0 19 0 159479598 19498610688 39621 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4760403 39621 5877 1 0 554989 0
[pid=812258/tid=812262] ppid=812249 vsize=19041612 memory=12508 CPUtime=1.28 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 6670 0 0 0 121 7 0 0 20 0 19 0 159479599 19498610688 39621 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159479605 19498610688 39621 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159479606 19498610688 39621 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159479686 19498610688 39621 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158484 KiB

[startup+3.10625 s]
/proc/loadavg: 1.80 2.90 3.72 7/320 812398
/proc/meminfo: memFree=123964200/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=182560 CPUtime=4.9 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 16605 0 0 0 478 12 0 0 20 0 20 0 159479598 19566772224 45640 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 45640 5892 1 0 555412 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 7549 0 0 0 276 7 0 0 20 0 20 0 159479599 19566772224 45640 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 45640 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 45640 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 45640 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182560 KiB

[startup+6.30044 s]
/proc/loadavg: 1.80 2.90 3.72 8/320 812398
/proc/meminfo: memFree=123624516/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=188504 CPUtime=8.25 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 17289 0 0 0 812 13 0 0 20 0 20 0 159479598 19566772224 47126 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 47126 5918 1 0 555413 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=0 CPUtime=5.96 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 7597 0 0 0 589 7 0 0 20 0 20 0 159479599 19566772224 47126 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 47126 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 47126 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=42536 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 47126 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 8.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188504 KiB

[startup+12.7005 s]
/proc/loadavg: 1.97 2.92 3.72 6/320 812399
/proc/meminfo: memFree=122642028/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=240000 CPUtime=14.68 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 18868 0 0 0 1453 15 0 0 20 0 20 0 159479598 19566772224 60000 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 60000 5918 1 0 555413 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=240000 CPUtime=12.26 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 8126 0 0 0 1218 8 0 0 20 0 20 0 159479599 19566772224 60000 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=182560 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 60000 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 60000 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 60000 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240000 KiB

[startup+25.5005 s]
/proc/loadavg: 2.42 2.97 3.73 7/320 812401
/proc/meminfo: memFree=119811672/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=387620 CPUtime=27.54 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 21899 0 0 0 2735 19 0 0 20 0 20 0 159479598 19566772224 96905 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 96905 5918 1 0 555413 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=240000 CPUtime=24.68 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 9247 0 0 0 2460 8 0 0 20 0 20 0 159479599 19566772224 96905 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=198828 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 96905 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 96905 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=-8527962175712895676 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 96905 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 27.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 387620 KiB

[startup+51.1138 s]
/proc/loadavg: 3.38 3.15 3.77 7/320 812406
/proc/meminfo: memFree=114273488/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=775904 CPUtime=53.35 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 27662 0 0 0 5306 29 0 0 20 0 20 0 159479598 19566772224 193976 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 193976 5933 1 0 661932 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=430648 CPUtime=49.66 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 10630 0 0 0 4956 10 0 0 20 0 20 0 159479599 19566772224 193976 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=173 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 193976 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=430648 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 193976 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0

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

/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=5049476 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2167 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3289.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5049476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.27 4.32 6/317 814245
/proc/meminfo: memFree=90338452/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5049476 CPUtime=3349.52 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 183213 0 0 0 334658 294 0 0 20 0 20 0 159479598 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1262369 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=5540 CPUtime=3314.36 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 70379 0 0 0 331380 56 0 0 20 0 20 0 159479599 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=7328 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=-8527962175712895676 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2167 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1262369 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3349.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5049476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.30 6/317 814255
/proc/meminfo: memFree=89870204/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5051524 CPUtime=3409.54 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 184569 0 0 0 340656 298 0 0 20 0 20 0 159479598 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1262881 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=7328 CPUtime=3374.09 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 71404 0 0 0 337353 56 0 0 20 0 20 0 159479599 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=-8527962175712895676 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=5051524 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2255 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3409.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.29 6/319 814269
/proc/meminfo: memFree=89552968/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5051524 CPUtime=3469.49 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 186324 0 0 0 346649 300 0 0 20 0 20 0 159479598 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1262881 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=7328 CPUtime=3433.84 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 71795 0 0 0 343328 56 0 0 20 0 20 0 159479599 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=-8527962175712895676 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2272 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=42756 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1262881 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3469.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.25 4.29 6/319 814281
/proc/meminfo: memFree=89349400/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5055728 CPUtime=3529.54 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 186919 0 0 0 352651 303 0 0 20 0 20 0 159479598 19566772224 1263932 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1263932 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=12508 CPUtime=3493.52 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 72133 0 0 0 349295 57 0 0 20 0 20 0 159479599 19566772224 1263932 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1263932 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=5055728 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2272 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1263932 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1263932 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3529.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5055728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.57 4.33 4.32 7/319 814359
/proc/meminfo: memFree=95434688/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5056036 CPUtime=3589.57 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 189218 0 0 0 358650 307 0 0 20 0 20 0 159479598 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1264009 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=5055728 CPUtime=3553.17 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 72802 0 0 0 355260 57 0 0 20 0 20 0 159479599 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=42756 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3589.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5056036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.8 s]
/proc/loadavg: 4.56 4.34 4.32 8/319 814360
/proc/meminfo: memFree=93172136/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19108176 memory=5056036 CPUtime=3600.05 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 189428 0 0 0 359698 307 0 0 20 0 20 0 159479598 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4777044 1264009 5933 1 0 1276747 0
[pid=812258/tid=812262] ppid=812249 vsize=19108176 memory=-8527962175712895676 CPUtime=3563.65 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 73012 0 0 0 356308 57 0 0 20 0 20 0 159479599 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19108176 memory=42756 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19108176 memory=5056036 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812329] ppid=812249 vsize=19108176 memory=5540 CPUtime=0 cores=5,7
/proc/812258/task/812329/stat : 812329 (Timer-0) S 812249 812258 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 1264009 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5056036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.52 s, system=3.12312 s

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

[startup+3593.01 s]*
/proc/loadavg: 4.56 4.34 4.32 8/320 814363
/proc/meminfo: memFree=93066820/131655788 swapFree=131071996/131071996
[pid=812258] ppid=812249 vsize=19307868 memory=5056996 CPUtime=3600.48 cores=5,7
/proc/812258/stat : 812258 (java) S 812249 812258 812180 0 -1 1077936128 192082 0 0 0 359739 309 0 0 20 0 21 0 159479598 19771256832 1264249 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
/proc/812258/statm: 4826967 1264249 5947 1 0 1277686 0
[pid=812258/tid=812262] ppid=812249 vsize=19307868 memory=5642236 CPUtime=3563.87 cores=5,7
/proc/812258/task/812262/stat : 812262 (java) R 812249 812258 812180 0 -1 4194368 73201 0 0 0 356330 57 0 0 20 0 21 0 159479599 19771256832 1264249 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812281] ppid=812249 vsize=19307868 memory=-8960588106815611580 CPUtime=0 cores=5,7
/proc/812258/task/812281/stat : 812281 (Finalizer) S 812249 812258 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159479605 19771256832 1264249 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=812295] ppid=812249 vsize=19307868 memory=11420 CPUtime=0 cores=5,7
/proc/812258/task/812295/stat : 812295 (Common-Cleaner) S 812249 812258 812180 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 21 0 159479606 19771256832 1264249 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
[pid=812258/tid=814362] ppid=812249 vsize=19307868 memory=1744 CPUtime=0.13 cores=5,7
/proc/812258/task/814362/stat : 814362 (Thread-0) R 812249 812258 812180 0 -1 4194368 367 0 0 0 13 0 0 0 20 0 21 0 159838880 19771256832 1264249 134679101440 94072609484800 94072609488496 140729979364592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94072609496312 94072609497104 94072627871744 140729979372551 140729979372641 140729979372641 140729979379656 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5056996 KiB

[startup+3593.12 s]*
/proc/loadavg: 4.56 4.34 4.32 5/300 814363
/proc/meminfo: memFree=98110376/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3593.13
CPU time (s): 3600.65
CPU user time (s): 3597.52
CPU system time (s): 3.12312
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5056996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 3.12312
maximum resident set size= 5058012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110779
involuntary context switches= 4055


# summary of solver processes directly reported to runsolver:
#   pid: 812258
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3597.52
#   total CPU system time (s): 3.12312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7875 second user time and 39.464 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 21:53:57
IDJOB=4432216
IDBENCH=147018
IDSOLVER=3058
FILE ID=nodeC011/4432216-1721073224
RUNJOBID= nodeC011-1721073237-812193
SLURM_JOB_ID= 7505544
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432216-1721073224/watcher-4432216-1721073224 -o /tmp/evaluation-result-4432216-1721073224/solver-4432216-1721073224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812193 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432216-1721073224.opb

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

MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1233614149

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124844836 kB
MemAvailable:   129887720 kB
Buffers:          399456 kB
Cached:          5422152 kB
SwapCached:            0 kB
Active:           667096 kB
Inactive:        5477408 kB
Active(anon):       1340 kB
Inactive(anon):   359604 kB
Active(file):     665756 kB
Inactive(file):  5117804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4380 kB
Writeback:             4 kB
AnonPages:        321432 kB
Mapped:           103608 kB
Shmem:             37704 kB
KReclaimable:     199048 kB
Slab:             308808 kB
SReclaimable:     199048 kB
SUnreclaim:       109760 kB
KernelStack:        3744 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     750416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-15 22:53:50