Trace number 4496234

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 2025-06-06OPT8908 363.696 361.415

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
MD5SUMa74353a91b8173c9f34b6251be571240
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8908
Best CPU time to get the best result obtained on this benchmark0.018223
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4496234-1751374868.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.12/0.16	c ... done. Wall clock time 0.026s.
0.12/0.16	c declared #vars     253
0.12/0.16	c #constraints  286
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 242
0.12/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22
0.12/0.16	c 286 constraints processed.
0.12/0.17	c objective function length is 253 literals
0.12/0.17	c SATISFIABLE
0.12/0.17	c OPTIMIZING...
0.12/0.17	c Got one! Elapsed wall clock time (in seconds):0.043
0.12/0.17	o 10896
0.12/0.18	c Got one! Elapsed wall clock time (in seconds):0.048
0.12/0.18	o 10411
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.096
0.32/0.23	o 10369
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.102
0.32/0.23	o 9354
0.89/0.54	c cleaning 2682 clauses out of 5369 with flag 10002/5369
1.46/0.87	c cleaning 4344 clauses out of 8688 with flag 22004/11370
2.01/1.11	c cleaning 5669 clauses out of 11343 with flag 36002/18369
2.53/1.44	c cleaning 6835 clauses out of 13675 with flag 53651/26370
2.84/1.66	c cleaning 7920 clauses out of 15840 with flag 74962/35370
3.24/1.90	c cleaning 8960 clauses out of 17921 with flag 98789/45371
3.48/2.17	c cleaning 9979 clauses out of 19959 with flag 125157/56369
3.77/2.47	c cleaning 10990 clauses out of 21982 with flag 154758/68371
4.17/2.83	c cleaning 11995 clauses out of 23990 with flag 187388/81369
4.68/3.20	c cleaning 12994 clauses out of 25996 with flag 224081/95370
5.07/3.60	c cleaning 13999 clauses out of 28003 with flag 260530/110371
5.48/4.07	c cleaning 14997 clauses out of 30003 with flag 300389/126370
6.00/4.57	c cleaning 15998 clauses out of 32006 with flag 343098/143370
6.43/4.98	c cleaning 17000 clauses out of 34007 with flag 387054/161369
6.93/5.43	c cleaning 18003 clauses out of 36008 with flag 433410/180370
7.43/5.93	c cleaning 18994 clauses out of 38004 with flag 482345/200369
7.93/6.47	c cleaning 20002 clauses out of 40010 with flag 531452/221369
8.54/7.05	c cleaning 21004 clauses out of 42009 with flag 586802/243370
9.14/7.69	c cleaning 21993 clauses out of 44004 with flag 645300/266369
9.94/8.40	c cleaning 22998 clauses out of 46013 with flag 706754/290371
10.54/9.09	c cleaning 24002 clauses out of 48014 with flag 769784/315370
11.14/9.64	c cleaning 24987 clauses out of 50012 with flag 831965/341370
11.84/10.35	c cleaning 26010 clauses out of 52024 with flag 899153/368369
12.64/11.12	c cleaning 26999 clauses out of 54014 with flag 969676/396369
13.44/11.92	c cleaning 28009 clauses out of 56017 with flag 1045403/425371
14.34/12.84	c cleaning 29004 clauses out of 58008 with flag 1119397/455371
15.23/13.77	c cleaning 29995 clauses out of 60003 with flag 1199934/486370
16.13/14.63	c cleaning 30994 clauses out of 62008 with flag 1279642/518370
17.14/15.62	c cleaning 32002 clauses out of 64013 with flag 1360210/551369
18.14/16.64	c cleaning 33003 clauses out of 66012 with flag 1444250/585370
19.14/17.66	c cleaning 34002 clauses out of 68011 with flag 1534797/620372
20.24/18.71	c cleaning 34995 clauses out of 70006 with flag 1625481/656369
21.33/19.80	c cleaning 36003 clauses out of 72011 with flag 1722790/693369
23.04/21.27	c cleaning 36998 clauses out of 74009 with flag 1822936/731370
24.23/22.48	c cleaning 38002 clauses out of 76011 with flag 1921179/770370
25.77/23.82	c cleaning 38997 clauses out of 78009 with flag 2025965/810370
27.25/25.29	c cleaning 39997 clauses out of 80012 with flag 2130704/851370
28.65/26.66	c cleaning 41004 clauses out of 82014 with flag 2237864/893369
29.85/27.88	c cleaning 42003 clauses out of 84011 with flag 2340834/936370
31.15/29.15	c cleaning 42992 clauses out of 86007 with flag 2446807/980369
32.54/30.58	c cleaning 44002 clauses out of 88015 with flag 2558084/1025369
34.24/32.22	c cleaning 45005 clauses out of 90013 with flag 2674200/1071369
35.86/33.84	c cleaning 46003 clauses out of 92009 with flag 2790662/1118370
37.36/35.35	c cleaning 46993 clauses out of 94005 with flag 2911450/1166369
38.85/36.86	c cleaning 48006 clauses out of 96012 with flag 3031804/1215369
40.25/38.29	c cleaning 49002 clauses out of 98007 with flag 3153290/1265370
41.85/39.88	c cleaning 50003 clauses out of 100006 with flag 3281014/1316371
43.65/41.68	c cleaning 50998 clauses out of 102002 with flag 3409941/1368370
45.58/43.58	c cleaning 51998 clauses out of 104004 with flag 3545522/1421370
47.08/45.09	c cleaning 53000 clauses out of 106005 with flag 3681422/1475369
48.57/46.57	c cleaning 54000 clauses out of 108005 with flag 3820525/1530369
51.10/49.05	c cleaning 54988 clauses out of 110005 with flag 3959157/1586369
53.79/51.74	c cleaning 56001 clauses out of 112017 with flag 4103709/1643369
55.72/53.67	c cleaning 57004 clauses out of 114017 with flag 4243813/1701370
57.41/55.38	c cleaning 58000 clauses out of 116012 with flag 4383713/1760369
59.61/57.50	c cleaning 59004 clauses out of 118012 with flag 4527127/1820369
62.00/59.96	c cleaning 59997 clauses out of 120009 with flag 4683835/1881370
64.70/62.63	c cleaning 61001 clauses out of 122012 with flag 4839787/1943370
67.13/65.08	c cleaning 61999 clauses out of 124011 with flag 4995385/2006370
69.42/67.34	c cleaning 63001 clauses out of 126011 with flag 5150787/2070369
72.01/69.94	c cleaning 63997 clauses out of 128010 with flag 5310526/2135369
74.12/72.06	c cleaning 65005 clauses out of 130013 with flag 5466814/2201369
76.73/74.61	c cleaning 65994 clauses out of 132008 with flag 5635495/2268369
79.51/77.49	c cleaning 67001 clauses out of 134014 with flag 5801286/2336369
82.81/80.71	c cleaning 68005 clauses out of 136013 with flag 5974283/2405369
85.71/83.69	c cleaning 68999 clauses out of 138008 with flag 6148697/2475369
88.50/86.45	c cleaning 69999 clauses out of 140010 with flag 6323287/2546370
91.61/89.51	c cleaning 70993 clauses out of 142010 with flag 6497770/2618369
94.51/92.42	c cleaning 71994 clauses out of 144018 with flag 6680335/2691370
97.11/95.05	c cleaning 73007 clauses out of 146024 with flag 6857568/2765370
99.73/97.69	c cleaning 73993 clauses out of 148016 with flag 7039092/2840369
102.23/100.12	c cleaning 75004 clauses out of 150023 with flag 7225821/2916369
104.92/102.82	c cleaning 75999 clauses out of 152019 with flag 7414068/2993369
107.62/105.58	c cleaning 77005 clauses out of 154020 with flag 7605746/3071369
110.84/108.71	c cleaning 77994 clauses out of 156017 with flag 7800767/3150371
114.14/112.01	c cleaning 79007 clauses out of 158021 with flag 7999810/3230369
117.63/115.56	c cleaning 80004 clauses out of 160015 with flag 8201098/3311370
121.16/119.02	c cleaning 80999 clauses out of 162010 with flag 8401716/3393369
124.05/121.91	c cleaning 82000 clauses out of 164011 with flag 8594012/3476369
127.84/125.72	c cleaning 83003 clauses out of 166013 with flag 8792137/3560371
131.83/129.78	c cleaning 84004 clauses out of 168011 with flag 9009633/3645372
136.32/134.28	c cleaning 84993 clauses out of 170004 with flag 9229428/3731369
141.22/139.14	c cleaning 85995 clauses out of 172011 with flag 9462451/3818369
145.05/142.94	c cleaning 87008 clauses out of 174016 with flag 9682526/3906369
148.14/146.04	c cleaning 87996 clauses out of 176008 with flag 9898427/3995369
151.53/149.40	c cleaning 88995 clauses out of 178014 with flag 10121726/4085371
155.23/153.19	c cleaning 90004 clauses out of 180017 with flag 10348097/4176369
158.62/156.57	c cleaning 90997 clauses out of 182014 with flag 10575103/4268370
162.75/160.68	c cleaning 92004 clauses out of 184017 with flag 10801545/4361370
166.64/164.53	c cleaning 93003 clauses out of 186013 with flag 11035228/4455370
170.44/168.33	c cleaning 94001 clauses out of 188009 with flag 11266355/4550369
174.24/172.18	c cleaning 94996 clauses out of 190009 with flag 11518000/4646370
177.83/175.73	c cleaning 95995 clauses out of 192012 with flag 11753705/4743369
182.37/180.27	c cleaning 96994 clauses out of 194019 with flag 11996520/4841371
186.86/184.74	c cleaning 98003 clauses out of 196023 with flag 12234955/4940369
190.65/188.52	c cleaning 99005 clauses out of 198020 with flag 12467331/5040369
195.15/193.01	c cleaning 100003 clauses out of 200015 with flag 12716450/5141369
198.93/196.84	c cleaning 101000 clauses out of 202014 with flag 12976525/5243371
202.77/200.66	c cleaning 102000 clauses out of 204012 with flag 13229247/5346369
207.66/205.57	c cleaning 102992 clauses out of 206012 with flag 13491988/5450369
209.06/206.91	c Got one! Elapsed wall clock time (in seconds):206.78
209.06/206.91	o 9353
209.96/207.84	c cleaning 76484 clauses out of 152983 with flag 12954/5500332
210.37/208.20	c cleaning 41242 clauses out of 82500 with flag 27855/5506333
210.59/208.44	c cleaning 24120 clauses out of 48257 with flag 45098/5513332
210.82/208.63	c cleaning 16063 clauses out of 32136 with flag 64441/5521331
211.02/208.83	c cleaning 12522 clauses out of 25072 with flag 86640/5530330
211.23/209.06	c cleaning 11271 clauses out of 22550 with flag 111289/5540330
211.52/209.35	c cleaning 11133 clauses out of 22279 with flag 139727/5551330
211.82/209.63	c cleaning 11562 clauses out of 23146 with flag 171136/5563330
212.12/209.92	c cleaning 12290 clauses out of 24584 with flag 204271/5576330
212.52/210.31	c cleaning 13144 clauses out of 26294 with flag 239852/5590330
212.82/210.64	c cleaning 14069 clauses out of 28151 with flag 277519/5605331
213.22/211.00	c cleaning 15038 clauses out of 30081 with flag 316765/5621330
213.62/211.40	c cleaning 16013 clauses out of 32044 with flag 358933/5638331
214.02/211.82	c cleaning 17005 clauses out of 34030 with flag 403467/5656330
214.52/212.30	c cleaning 18007 clauses out of 36025 with flag 450506/5675330
215.02/212.81	c cleaning 19004 clauses out of 38018 with flag 498963/5695330
215.61/213.47	c cleaning 20001 clauses out of 40015 with flag 553934/5716331
216.11/213.94	c cleaning 21000 clauses out of 42013 with flag 607305/5738330
216.61/214.49	c cleaning 21998 clauses out of 44014 with flag 665476/5761331
217.22/215.01	c cleaning 23005 clauses out of 46015 with flag 723814/5785330
217.71/215.55	c cleaning 24004 clauses out of 48010 with flag 783070/5810330
218.31/216.18	c cleaning 25004 clauses out of 50008 with flag 850842/5836332
219.10/216.90	c cleaning 25999 clauses out of 52002 with flag 920409/5863330
219.80/217.61	c cleaning 26992 clauses out of 54003 with flag 988970/5891330
220.50/218.31	c cleaning 27999 clauses out of 56011 with flag 1061232/5920330
221.20/219.07	c cleaning 29003 clauses out of 58012 with flag 1136915/5950330
222.09/219.90	c cleaning 29999 clauses out of 60009 with flag 1213903/5981330
222.79/220.65	c cleaning 30998 clauses out of 62010 with flag 1289557/6013330
223.79/221.64	c cleaning 32001 clauses out of 64013 with flag 1380116/6046331
224.69/222.56	c cleaning 33001 clauses out of 66012 with flag 1465266/6080331
225.69/223.59	c cleaning 34001 clauses out of 68011 with flag 1559075/6115331
226.58/224.40	c cleaning 34996 clauses out of 70009 with flag 1647784/6151330
227.58/225.45	c cleaning 36004 clauses out of 72013 with flag 1739500/6188330
228.58/226.44	c cleaning 37001 clauses out of 74009 with flag 1837076/6226330
229.48/227.37	c cleaning 37994 clauses out of 76008 with flag 1926752/6265330
230.47/228.40	c cleaning 39006 clauses out of 78015 with flag 2026750/6305331
231.67/229.53	c cleaning 39996 clauses out of 80008 with flag 2129436/6346330
232.76/230.69	c cleaning 41006 clauses out of 82012 with flag 2232842/6388330
234.06/231.90	c cleaning 41998 clauses out of 84007 with flag 2336781/6431331
235.27/233.13	c cleaning 42997 clauses out of 86008 with flag 2444974/6475330
236.56/234.41	c cleaning 44002 clauses out of 88011 with flag 2557030/6520330
237.96/235.81	c cleaning 45002 clauses out of 90010 with flag 2670065/6566331
239.26/237.16	c cleaning 45998 clauses out of 92007 with flag 2785221/6613330
240.79/238.68	c cleaning 47002 clauses out of 94010 with flag 2907215/6661331
242.39/240.20	c cleaning 48001 clauses out of 96008 with flag 3028565/6710331
243.99/241.80	c cleaning 48999 clauses out of 98008 with flag 3153415/6760332
245.49/243.31	c cleaning 49995 clauses out of 100008 with flag 3272726/6811331
246.98/244.83	c cleaning 50999 clauses out of 102013 with flag 3394290/6863331
248.38/246.29	c cleaning 52001 clauses out of 104014 with flag 3518532/6916331
249.78/247.68	c cleaning 53001 clauses out of 106012 with flag 3649184/6970330
251.28/249.12	c cleaning 54002 clauses out of 108011 with flag 3783498/7025330
252.97/250.88	c cleaning 55000 clauses out of 110009 with flag 3921936/7081330
254.96/252.81	c cleaning 55999 clauses out of 112010 with flag 4060868/7138331
256.66/254.59	c cleaning 57001 clauses out of 114011 with flag 4201643/7196331
258.76/256.60	c cleaning 57994 clauses out of 116009 with flag 4346736/7255330
260.74/258.45	c cleaning 59005 clauses out of 118015 with flag 4494391/7315331
262.54/260.23	c cleaning 60001 clauses out of 120009 with flag 4641725/7376330
264.24/261.97	c cleaning 61004 clauses out of 122010 with flag 4789977/7438332
266.03/263.74	c cleaning 62001 clauses out of 124006 with flag 4941602/7501332
267.83/265.52	c cleaning 62993 clauses out of 126004 with flag 5090645/7565331
270.33/268.08	c cleaning 63997 clauses out of 128011 with flag 5256950/7630331
272.62/270.31	c cleaning 64999 clauses out of 130013 with flag 5422497/7696330
274.61/272.38	c cleaning 65999 clauses out of 132015 with flag 5589753/7763331
277.41/275.19	c cleaning 66995 clauses out of 134015 with flag 5763621/7831330
279.90/277.65	c cleaning 68000 clauses out of 136020 with flag 5939854/7900330
282.09/279.89	c cleaning 69005 clauses out of 138021 with flag 6110204/7970331
284.79/282.55	c cleaning 70004 clauses out of 140015 with flag 6289792/8041330
287.48/285.26	c cleaning 71002 clauses out of 142013 with flag 6470943/8113332
289.68/287.48	c cleaning 71997 clauses out of 144009 with flag 6644216/8186330
292.24/289.97	c cleaning 73005 clauses out of 146012 with flag 6829092/8260330
295.23/292.90	c cleaning 73997 clauses out of 148007 with flag 7013535/8335331
297.92/295.68	c cleaning 75000 clauses out of 150009 with flag 7209448/8411330
301.02/298.74	c cleaning 75995 clauses out of 152010 with flag 7403708/8488331
304.11/301.82	c cleaning 77002 clauses out of 154014 with flag 7602578/8566330
305.41/303.16	c Got one! Elapsed wall clock time (in seconds):303.032
305.41/303.16	o 9305
305.91/303.63	c cleaning 60834 clauses out of 121676 with flag 12458/8610994
306.21/303.99	c cleaning 33410 clauses out of 66841 with flag 28430/8616993
306.51/304.21	c cleaning 20210 clauses out of 40430 with flag 48482/8623992
306.71/304.42	c cleaning 14101 clauses out of 28222 with flag 69349/8631994
306.91/304.61	c cleaning 11548 clauses out of 23120 with flag 91610/8640993
307.11/304.83	c cleaning 10772 clauses out of 21571 with flag 117217/8650992
307.31/305.06	c cleaning 10895 clauses out of 21800 with flag 146532/8661993
307.60/305.30	c cleaning 11449 clauses out of 22905 with flag 177064/8673993
307.80/305.59	c cleaning 12219 clauses out of 24455 with flag 208774/8686992
308.20/305.90	c cleaning 13118 clauses out of 26239 with flag 244540/8700995
308.50/306.22	c cleaning 14053 clauses out of 28119 with flag 283124/8715993
308.80/306.55	c cleaning 15034 clauses out of 30068 with flag 320270/8731995
309.10/306.89	c cleaning 16009 clauses out of 32032 with flag 362049/8748993
309.60/307.30	c cleaning 17006 clauses out of 34023 with flag 405423/8766993
310.00/307.72	c cleaning 18008 clauses out of 36016 with flag 448869/8785992
310.40/308.13	c cleaning 18997 clauses out of 38008 with flag 494783/8805992
310.90/308.64	c cleaning 20002 clauses out of 40014 with flag 546812/8826995
311.40/309.18	c cleaning 21005 clauses out of 42009 with flag 598346/8848992
311.99/309.75	c cleaning 21994 clauses out of 44005 with flag 654206/8871993
312.69/310.40	c cleaning 22996 clauses out of 46010 with flag 714544/8895992
313.30/311.06	c cleaning 23999 clauses out of 48015 with flag 776538/8920993
314.09/311.84	c cleaning 25004 clauses out of 50015 with flag 842218/8946992
314.89/312.63	c cleaning 25996 clauses out of 52012 with flag 909996/8973993
315.59/313.34	c cleaning 27004 clauses out of 54015 with flag 976741/9001992
316.30/314.10	c cleaning 27999 clauses out of 56011 with flag 1048883/9030992
317.19/314.95	c cleaning 29006 clauses out of 58013 with flag 1124547/9060993
317.40/315.19	c Got one! Elapsed wall clock time (in seconds):315.058
317.40/315.19	o 9304
317.59/315.36	c cleaning 21728 clauses out of 43466 with flag 12120/9075452
317.79/315.51	c cleaning 13869 clauses out of 27738 with flag 27082/9081452
317.89/315.67	c cleaning 10431 clauses out of 20871 with flag 46744/9088454
318.09/315.85	c cleaning 9212 clauses out of 18438 with flag 66484/9096452
318.29/316.03	c cleaning 9109 clauses out of 18226 with flag 88032/9105452
318.49/316.26	c cleaning 9559 clauses out of 19117 with flag 112825/9115452
318.69/316.47	c cleaning 10280 clauses out of 20559 with flag 139475/9126453
318.99/316.70	c cleaning 11130 clauses out of 22279 with flag 169371/9138453
319.19/316.99	c cleaning 12071 clauses out of 24149 with flag 201992/9151453
319.59/317.32	c cleaning 13034 clauses out of 26078 with flag 237390/9165453
319.89/317.68	c cleaning 14017 clauses out of 28044 with flag 275589/9180453
320.29/318.06	c cleaning 15008 clauses out of 30027 with flag 315669/9196453
320.69/318.45	c cleaning 16007 clauses out of 32020 with flag 357479/9213454
320.79/318.58	c Got one! Elapsed wall clock time (in seconds):318.445
320.79/318.58	o 9277
320.89/318.69	c cleaning 13802 clauses out of 27608 with flag 13021/9225049
321.09/318.82	c cleaning 9896 clauses out of 19808 with flag 29647/9231051
321.19/318.93	c cleaning 8452 clauses out of 16911 with flag 47519/9238050
321.30/319.09	c cleaning 8226 clauses out of 16459 with flag 67923/9246050
321.49/319.25	c cleaning 8611 clauses out of 17232 with flag 90693/9255049
321.69/319.42	c cleaning 9307 clauses out of 18621 with flag 115131/9265049
321.89/319.66	c cleaning 10150 clauses out of 20314 with flag 141899/9276049
322.19/319.91	c cleaning 11079 clauses out of 22165 with flag 170751/9288050
322.40/320.17	c cleaning 12032 clauses out of 24086 with flag 202562/9301050
322.69/320.42	c cleaning 13024 clauses out of 26054 with flag 233532/9315050
322.99/320.77	c cleaning 14016 clauses out of 28031 with flag 270992/9330051
323.39/321.14	c cleaning 15000 clauses out of 30013 with flag 313928/9346049
323.79/321.56	c cleaning 15998 clauses out of 32014 with flag 361472/9363050
324.29/322.01	c cleaning 17006 clauses out of 34015 with flag 411017/9381049
324.69/322.40	c cleaning 18004 clauses out of 36010 with flag 458270/9400050
325.09/322.88	c cleaning 19001 clauses out of 38005 with flag 510432/9420049
325.58/323.36	c cleaning 20001 clauses out of 40005 with flag 564249/9441050
326.08/323.85	c cleaning 20997 clauses out of 42003 with flag 618171/9463049
326.68/324.46	c cleaning 22003 clauses out of 44008 with flag 676389/9486051
327.29/325.03	c cleaning 23002 clauses out of 46006 with flag 734164/9510052
327.88/325.68	c cleaning 23995 clauses out of 48001 with flag 797350/9535049
328.58/326.31	c cleaning 24997 clauses out of 50007 with flag 861324/9561050
329.08/326.83	c Got one! Elapsed wall clock time (in seconds):326.7
329.08/326.83	o 9237
329.28/327.03	c cleaning 27355 clauses out of 54717 with flag 12479/9590757
329.48/327.21	c cleaning 16676 clauses out of 33361 with flag 28544/9596756
329.58/327.37	c cleaning 11830 clauses out of 23684 with flag 46535/9603755
329.78/327.54	c cleaning 9918 clauses out of 19854 with flag 66976/9611755
329.98/327.72	c cleaning 9459 clauses out of 18936 with flag 90019/9620755
330.21/327.94	c cleaning 9736 clauses out of 19477 with flag 114044/9630755
330.40/328.14	c cleaning 10368 clauses out of 20742 with flag 140589/9641756
330.60/328.38	c cleaning 11184 clauses out of 22373 with flag 171020/9653755
330.90/328.63	c cleaning 12094 clauses out of 24189 with flag 201219/9666755
331.19/328.91	c cleaning 13048 clauses out of 26098 with flag 233636/9680758
331.40/329.17	c Got one! Elapsed wall clock time (in seconds):329.034
331.40/329.17	o 9171
331.60/329.33	c cleaning 15647 clauses out of 31302 with flag 13068/9699010
331.70/329.48	c cleaning 10819 clauses out of 21658 with flag 28969/9705013
331.90/329.64	c cleaning 8904 clauses out of 17836 with flag 47333/9712010
332.00/329.79	c cleaning 8458 clauses out of 16934 with flag 67569/9720012
332.20/329.98	c cleaning 8734 clauses out of 17474 with flag 91777/9729010
332.40/330.17	c cleaning 9359 clauses out of 18740 with flag 117192/9739010
332.70/330.41	c cleaning 10189 clauses out of 20381 with flag 144646/9750010
332.90/330.64	c cleaning 11093 clauses out of 22192 with flag 174474/9762010
333.10/330.88	c cleaning 12044 clauses out of 24099 with flag 205955/9775010
333.40/331.18	c cleaning 13022 clauses out of 26056 with flag 239862/9789011
333.80/331.53	c cleaning 14011 clauses out of 28033 with flag 277362/9804010
334.09/331.87	c cleaning 15012 clauses out of 30023 with flag 317837/9820011
334.59/332.30	c cleaning 16004 clauses out of 32011 with flag 361397/9837011
334.69/332.49	c Got one! Elapsed wall clock time (in seconds):332.362
334.69/332.49	o 9169
334.90/332.62	c cleaning 15991 clauses out of 31994 with flag 13579/9852998
335.00/332.73	c cleaning 11000 clauses out of 22003 with flag 28931/9858998
335.10/332.88	c cleaning 8998 clauses out of 18002 with flag 46854/9865997
335.30/333.03	c cleaning 8493 clauses out of 17004 with flag 68733/9873997
335.49/333.21	c cleaning 8750 clauses out of 17512 with flag 92136/9882998
335.59/333.39	c cleaning 9380 clauses out of 18764 with flag 117648/9893000
335.79/333.59	c cleaning 10188 clauses out of 20382 with flag 146104/9903998
336.09/333.83	c cleaning 11089 clauses out of 22193 with flag 176034/9915997
336.30/334.09	c cleaning 12053 clauses out of 24105 with flag 205304/9928998
336.59/334.39	c cleaning 13023 clauses out of 26051 with flag 239896/9942997
336.99/334.72	c cleaning 14006 clauses out of 28028 with flag 278959/9957997
337.30/335.04	c cleaning 15003 clauses out of 30022 with flag 318259/9973997
337.69/335.44	c cleaning 16001 clauses out of 32019 with flag 361269/9990997
338.09/335.86	c cleaning 17006 clauses out of 34018 with flag 405875/10008997
338.49/336.25	c cleaning 18003 clauses out of 36012 with flag 454104/10027997
338.89/336.68	c cleaning 19001 clauses out of 38011 with flag 501032/10047999
339.39/337.14	c cleaning 20003 clauses out of 40009 with flag 551789/10068998
339.99/337.73	c cleaning 21003 clauses out of 42006 with flag 610703/10090998
340.58/338.34	c cleaning 21997 clauses out of 44003 with flag 669095/10113998
341.18/338.90	c cleaning 23002 clauses out of 46006 with flag 727067/10137998
341.78/339.51	c cleaning 23999 clauses out of 48003 with flag 786777/10162997
342.38/340.14	c cleaning 24997 clauses out of 50004 with flag 848479/10188997
343.08/340.84	c cleaning 26001 clauses out of 52008 with flag 913840/10215998
343.78/341.51	c cleaning 26999 clauses out of 54006 with flag 980043/10243997
344.38/342.18	c cleaning 28001 clauses out of 56006 with flag 1045675/10272997
345.21/342.91	c cleaning 29001 clauses out of 58004 with flag 1116589/10302997
345.90/343.64	c cleaning 29997 clauses out of 60005 with flag 1190489/10333999
346.60/344.33	c cleaning 30998 clauses out of 62007 with flag 1261844/10365998
347.20/344.99	c cleaning 31997 clauses out of 64009 with flag 1334224/10398998
348.00/345.72	c cleaning 33005 clauses out of 66012 with flag 1407867/10432998
348.70/346.49	c cleaning 33998 clauses out of 68006 with flag 1485849/10467997
349.69/347.41	c cleaning 35000 clauses out of 70008 with flag 1566031/10503997
350.49/348.29	c cleaning 35998 clauses out of 72009 with flag 1655432/10540998
350.99/348.76	c Got one! Elapsed wall clock time (in seconds):348.634
350.99/348.76	o 8970
351.19/348.97	c cleaning 30960 clauses out of 61929 with flag 12251/10566916
351.40/349.14	c cleaning 18482 clauses out of 36968 with flag 26762/10572915
351.59/349.31	c cleaning 12738 clauses out of 25486 with flag 44794/10579915
351.69/349.49	c cleaning 10364 clauses out of 20749 with flag 65235/10587916
351.89/349.66	c cleaning 9687 clauses out of 19387 with flag 86494/10596918
352.09/349.86	c cleaning 9843 clauses out of 19698 with flag 110453/10606916
352.30/350.08	c cleaning 10421 clauses out of 20854 with flag 137064/10617915
352.59/350.31	c cleaning 11208 clauses out of 22433 with flag 165983/10629915
352.79/350.55	c cleaning 12113 clauses out of 24226 with flag 195866/10642916
353.09/350.83	c cleaning 13051 clauses out of 26112 with flag 230139/10656915
353.39/351.18	c cleaning 14029 clauses out of 28063 with flag 267415/10671917
353.79/351.58	c cleaning 15015 clauses out of 30031 with flag 307333/10687915
354.19/351.93	c cleaning 16003 clauses out of 32017 with flag 347183/10704916
354.59/352.31	c cleaning 17001 clauses out of 34012 with flag 388811/10722915
354.89/352.66	c cleaning 18006 clauses out of 36012 with flag 431098/10741916
355.29/353.07	c cleaning 18997 clauses out of 38006 with flag 475525/10761916
355.78/353.54	c cleaning 20003 clauses out of 40009 with flag 523621/10782916
356.18/353.99	c cleaning 21002 clauses out of 42006 with flag 576549/10804916
356.68/354.48	c cleaning 21993 clauses out of 44003 with flag 630549/10827915
357.18/354.97	c cleaning 23001 clauses out of 46010 with flag 686295/10851915
357.78/355.54	c cleaning 24004 clauses out of 48010 with flag 747138/10876916
358.38/356.12	c cleaning 24997 clauses out of 50005 with flag 807428/10902915
358.98/356.73	c cleaning 26004 clauses out of 52009 with flag 867097/10929916
359.58/357.38	c cleaning 26998 clauses out of 54005 with flag 932509/10957916
360.18/357.97	c cleaning 28000 clauses out of 56007 with flag 996553/10986916
360.87/358.64	c cleaning 28998 clauses out of 58006 with flag 1068816/11016915
361.28/359.09	c Got one! Elapsed wall clock time (in seconds):358.954
361.28/359.09	o 8908
361.47/359.22	c cleaning 27299 clauses out of 54606 with flag 10663/11042513
361.57/359.35	c cleaning 16645 clauses out of 33306 with flag 23013/11048512
361.67/359.49	c cleaning 11821 clauses out of 23661 with flag 38345/11055512
361.87/359.64	c cleaning 9919 clauses out of 19841 with flag 57058/11063513
362.07/359.82	c cleaning 9457 clauses out of 18921 with flag 80321/11072512
362.17/359.99	c cleaning 9731 clauses out of 19463 with flag 102772/11082512
362.38/360.17	c cleaning 10366 clauses out of 20731 with flag 127009/11093512
362.57/360.38	c cleaning 11180 clauses out of 22366 with flag 154154/11105514
362.87/360.61	c cleaning 12089 clauses out of 24184 with flag 183054/11118512
363.07/360.89	c cleaning 13045 clauses out of 26095 with flag 214708/11132512
363.38/361.17	c cleaning 14024 clauses out of 28047 with flag 248143/11147512
363.57/361.35	c starts		: 7655
363.57/361.36	c conflicts		: 11156853
363.57/361.36	c decisions		: 15227821
363.57/361.36	c propagations		: 220920826
363.57/361.36	c inspects		: 3657101639
363.57/361.36	c shortcuts		: 0
363.57/361.36	c learnt literals	: 17
363.57/361.36	c learnt binary clauses	: 239
363.57/361.36	c learnt ternary clauses	: 2038
363.57/361.36	c learnt constraints	: 11156835
363.57/361.36	c ignored constraints	: 0
363.57/361.36	c root simplifications	: 0
363.57/361.36	c removed literals (reason simplification)	: 110890540
363.57/361.36	c reason swapping (by a shorter reason)	: 0
363.57/361.36	c Calls to reduceDB	: 328
363.57/361.36	c Number of update (reduction) of LBD	: 1151803
363.57/361.36	c Imported unit clauses	: 0
363.57/361.36	c No decision after first conflict	: false
363.57/361.36	c number of reductions to clauses (during analyze)	: 0
363.57/361.36	c number of learned constraints concerned by reduction	: 0
363.57/361.36	c number of learning phase by resolution	: 0
363.57/361.36	c number of learning phase by cutting planes	: 0
363.57/361.36	c number of rounding to 1 operations	: 0
363.57/361.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
363.57/361.36	c number of reductions of the coefficients by power 2 	: 0
363.57/361.36	c number of right shift for reduction by power 2 	: 0
363.57/361.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
363.57/361.36	c number of ending skipping 	: 0
363.57/361.36	c number of internal skipping 	: 0
363.57/361.36	c number of derivation steps 	: 0
363.57/361.36	c number of skipped derivation steps 	: 0
363.57/361.36	c number of remaining unassigned 	: 0
363.57/361.36	c number of remaining assigned 	: 0
363.57/361.36	c number of falsified literals weakened from reason	: 0
363.57/361.36	c number of falsified literals weakened from conflict	: 0
363.57/361.36	c time for arithmetic operations	: 0
363.57/361.37	c minimum degree of deleted constraints	: null
363.57/361.37	c maximum degree of deleted constraints	: null
363.57/361.37	c number of deleted constraints	: 0
363.57/361.37	c speed (assignments/second)	: 611635.2738256409
363.57/361.37	c non guided choices	: 14
363.57/361.37	s OPTIMUM FOUND
363.57/361.37	c Found 13 solution(s)
363.57/361.37	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 
363.57/361.37	c objective function=8908
363.57/361.37	c Total wall clock time (in seconds): 361.24

Verifier Data 

OK	8908

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: 63708 MiB (61588 MiB free)
  memory of node 1: 64465 MiB (63184 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496234-1751374868/watcher-4496234-1751374868 -o /tmp/evaluation-result-4496234-1751374868/solver-4496234-1751374868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53878 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4496234-1751374868.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=54098, runsolver pid=54094

[startup+0.100059 s]*
/proc/loadavg: 0.47 0.91 1.30 8/337 54137
/proc/meminfo: memFree=127702888/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18930384 memory=55460 CPUtime=0.12 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 6547 0 0 0 10 2 0 0 20 0 18 0 53163447 19384713216 13865 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4732596 13865 5332 1 0 547603 0
[pid=54098/tid=54104] ppid=54094 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 5054 0 0 0 6 1 0 0 20 0 18 0 53163449 19384713216 13865 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18930384 memory=16955 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53163451 19384713216 13865 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53163451 19384713216 13865 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55460 KiB

[startup+0.205533 s]*
/proc/loadavg: 0.47 0.91 1.30 9/339 54139
/proc/meminfo: memFree=127694204/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=63112 CPUtime=0.32 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 7710 0 0 0 29 3 0 0 20 0 19 0 53163447 19452874752 15778 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 15778 5460 1 0 548433 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 5395 0 0 0 15 2 0 0 20 0 19 0 53163449 19452874752 15778 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=16955 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 15778 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 15778 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 15778 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63112 KiB

[startup+0.305481 s]*
/proc/loadavg: 0.47 0.91 1.30 5/319 54141
/proc/meminfo: memFree=127719692/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=68784 CPUtime=0.51 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 9048 0 0 0 48 3 0 0 20 0 19 0 53163447 19452874752 17196 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 17196 5460 1 0 549246 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=-6000919489819601002 CPUtime=0.25 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 5447 0 0 0 23 2 0 0 20 0 19 0 53163449 19452874752 17196 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 17196 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 17196 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 17196 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68784 KiB

[startup+0.700231 s]
/proc/loadavg: 0.47 0.91 1.30 7/317 54149
/proc/meminfo: memFree=127739300/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=86064 CPUtime=1.26 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 14283 0 0 0 121 5 0 0 20 0 19 0 53163447 19452874752 21516 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 21516 5492 1 0 552405 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=18176 CPUtime=0.6 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 5553 0 0 0 57 3 0 0 20 0 19 0 53163449 19452874752 21516 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 21516 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 21516 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 21516 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86064 KiB

[startup+1.50021 s]
/proc/loadavg: 0.47 0.91 1.30 7/320 54155
/proc/meminfo: memFree=127735224/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=97864 CPUtime=2.73 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 18042 0 0 0 266 7 0 0 20 0 19 0 53163447 19452874752 24466 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 24466 5492 1 0 552635 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=10752 CPUtime=1.38 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 5913 0 0 0 134 4 0 0 20 0 19 0 53163449 19452874752 24466 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 24466 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 24466 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 24466 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97864 KiB

[startup+3.10534 s]
/proc/loadavg: 1.07 1.03 1.34 6/339 54204
/proc/meminfo: memFree=127635460/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=118600 CPUtime=4.58 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 19574 0 0 0 449 9 0 0 20 0 19 0 53163447 19452874752 29650 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 29650 5492 1 0 552639 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=10752 CPUtime=2.96 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 6277 0 0 0 291 5 0 0 20 0 19 0 53163449 19452874752 29650 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=-6000919489819601002 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 29650 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 29650 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 29650 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118600 KiB

[startup+6.30018 s]
/proc/loadavg: 1.07 1.03 1.34 5/339 54204
/proc/meminfo: memFree=127545524/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=18996948 memory=149596 CPUtime=7.83 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 19949 0 0 0 773 10 0 0 20 0 19 0 53163447 19452874752 37399 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4749237 37399 5492 1 0 552643 0
[pid=54098/tid=54104] ppid=54094 vsize=18996948 memory=0 CPUtime=6.14 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 6422 0 0 0 608 6 0 0 20 0 19 0 53163449 19452874752 37399 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 37399 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53163451 19452874752 37399 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=18996948 memory=14248 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163465 19452874752 37399 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149596 KiB

[startup+12.7002 s]
/proc/loadavg: 1.52 1.13 1.37 5/341 54206
/proc/meminfo: memFree=127467508/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=174660 CPUtime=14.24 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 23459 0 0 0 1413 11 0 0 20 0 20 0 53163447 19521036288 43665 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 43665 5524 1 0 552932 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=10752 CPUtime=12.51 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 7320 0 0 0 1245 6 0 0 20 0 20 0 53163449 19521036288 43665 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 43665 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=-6000919489819601002 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 43665 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=6656426216303648864 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 43665 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174660 KiB

[startup+25.5002 s]
/proc/loadavg: 1.90 1.22 1.40 5/342 54207
/proc/meminfo: memFree=127402480/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=196984 CPUtime=27.55 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 33057 0 0 0 2741 14 0 0 20 0 20 0 53163447 19521036288 49246 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 49246 5556 1 0 554038 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=190736 CPUtime=25.25 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 8948 0 0 0 2519 6 0 0 20 0 20 0 53163449 19521036288 49246 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=89016 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 49246 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 49246 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=-6000919489819601002 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 49246 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 27.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196984 KiB

[startup+51.1054 s]
/proc/loadavg: 2.75 1.48 1.48 5/343 54209
/proc/meminfo: memFree=127287736/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=258668 CPUtime=53.19 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 34424 0 0 0 5303 16 0 0 20 0 20 0 53163447 19521036288 64667 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 64667 5556 1 0 554038 0

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

/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 344.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+361.415 s]
# the end of solver process 54098 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=363.282 s, system=0.413871 s

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

[startup+345.6 s]
/proc/loadavg: 4.23 3.21 2.23 5/342 54482
/proc/meminfo: memFree=126359932/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131572 CPUtime=347.9 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43767 0 0 0 34751 39 0 0 20 0 20 0 53163447 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282893 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=1100768 CPUtime=343.94 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13456 0 0 0 34382 12 0 0 20 0 20 0 53163449 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=1100768 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 347.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+352 s]*
/proc/loadavg: 4.19 3.24 2.25 5/342 54482
/proc/meminfo: memFree=126360000/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131572 CPUtime=354.29 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43773 0 0 0 35390 39 0 0 20 0 20 0 53163447 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282893 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=-6000919481296513130 CPUtime=350.33 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13456 0 0 0 35021 12 0 0 20 0 20 0 53163449 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=4714873665777987225 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=2736 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 354.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+355.2 s]
/proc/loadavg: 4.19 3.24 2.25 5/342 54482
/proc/meminfo: memFree=126360000/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131572 CPUtime=357.48 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43773 0 0 0 35709 39 0 0 20 0 20 0 53163447 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282893 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=1131572 CPUtime=353.52 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13456 0 0 0 35340 12 0 0 20 0 20 0 53163449 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=-6000919489819601002 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=21608 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=2321666322459932416 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 357.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+358.4 s]
/proc/loadavg: 4.18 3.25 2.26 5/342 54482
/proc/meminfo: memFree=126360000/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131572 CPUtime=360.67 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43773 0 0 0 36028 39 0 0 20 0 20 0 53163447 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282893 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=14248 CPUtime=356.71 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13456 0 0 0 35659 12 0 0 20 0 20 0 53163449 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=969672 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 360.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+360 s]*
/proc/loadavg: 4.18 3.25 2.26 5/341 54482
/proc/meminfo: memFree=126360000/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131572 CPUtime=362.28 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43778 0 0 0 36189 39 0 0 20 0 20 0 53163447 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282893 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=-6000919481296513130 CPUtime=358.31 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13457 0 0 0 35819 12 0 0 20 0 20 0 53163449 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=7223285201685749268 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=6772 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=190752 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282893 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 362.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131572 KiB

[startup+360.8 s]
/proc/loadavg: 4.18 3.25 2.26 5/341 54482
/proc/meminfo: memFree=126360000/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131700 CPUtime=363.07 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43802 0 0 0 36268 39 0 0 20 0 20 0 53163447 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282925 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=1131572 CPUtime=359.11 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13457 0 0 0 35899 12 0 0 20 0 20 0 53163449 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=1100768 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 363.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131700 KiB

[startup+361.2 s]
/proc/loadavg: 4.18 3.25 2.26 5/341 54482
/proc/meminfo: memFree=126343616/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131700 CPUtime=363.47 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43805 0 0 0 36308 39 0 0 20 0 20 0 53163447 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282925 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=1100768 CPUtime=359.5 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13460 0 0 0 35938 12 0 0 20 0 20 0 53163449 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=6644 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=190752 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=1100768 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 363.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131700 KiB

[startup+361.3 s]
/proc/loadavg: 4.18 3.25 2.26 5/341 54482
/proc/meminfo: memFree=126343616/131250000 swapFree=33010684/33010684
[pid=54098] ppid=54094 vsize=19063512 memory=1131700 CPUtime=363.57 cores=4,6
/proc/54098/stat : 54098 (java) S 54094 54098 53867 0 -1 4194304 43805 0 0 0 36318 39 0 0 20 0 20 0 53163447 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
/proc/54098/statm: 4765878 282925 5556 1 0 554054 0
[pid=54098/tid=54104] ppid=54094 vsize=19063512 memory=1131572 CPUtime=359.6 cores=4,6
/proc/54098/task/54104/stat : 54104 (java) R 54094 54098 53867 0 -1 4194368 13460 0 0 0 35948 12 0 0 20 0 20 0 53163449 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54121] ppid=54094 vsize=19063512 memory=9472 CPUtime=0 cores=4,6
/proc/54098/task/54121/stat : 54121 (Finalizer) S 54094 54098 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54135] ppid=54094 vsize=19063512 memory=969544 CPUtime=0 cores=4,6
/proc/54098/task/54135/stat : 54135 (Common-Cleaner) S 54094 54098 53867 0 -1 4194368 198 0 0 0 0 0 0 0 20 0 20 0 53163451 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
[pid=54098/tid=54139] ppid=54094 vsize=19063512 memory=1131572 CPUtime=0 cores=4,6
/proc/54098/task/54139/stat : 54139 (Timer-0) S 54094 54098 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163465 19521036288 282925 18446744073709551615 94437016186880 94437016190576 140736827570912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94437016198392 94437016199184 94437038907392 140736827578753 140736827578854 140736827578854 140736827584456 0
Current children cumulated CPU time: 363.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131700 KiB

Child status: 30

Real time (s): 361.415
CPU time (s): 363.696
CPU user time (s): 363.282
CPU system time (s): 0.413871
CPU usage (%): 100.631
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1131700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.282
system time used= 0.413871
maximum resident set size= 1132212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12926
involuntary context switches= 1691


# summary of solver processes directly reported to runsolver:
#   pid: 54098
#   total CPU time (s): 363.696
#   total CPU user time (s): 363.282
#   total CPU system time (s): 0.413871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.647867 second user time and 1.70603 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-01 15:01:09
IDJOB=4496234
IDBENCH=148110
IDSOLVER=3363
FILE ID=nodeC014/4496234-1751374868
RUNJOBID= nodeC014-1751374867-53878
SLURM_JOB_ID= 9598211
Free space on /tmp= 433004 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496234-1751374868/watcher-4496234-1751374868 -o /tmp/evaluation-result-4496234-1751374868/solver-4496234-1751374868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53878 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4496234-1751374868.opb

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

MD5SUM BENCH= a74353a91b8173c9f34b6251be571240
RANDOM SEED=182891756

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.392
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.562
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.871
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.128
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.055
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.571
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.333
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.110
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127770992 kB
MemAvailable:   129488868 kB
Buffers:            3280 kB
Cached:          2514528 kB
SwapCached:            0 kB
Active:           617904 kB
Inactive:        2257772 kB
Active(anon):     375936 kB
Inactive(anon):        0 kB
Active(file):     241968 kB
Inactive(file):  2257772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6188 kB
Writeback:             0 kB
AnonPages:        360924 kB
Mapped:           123456 kB
Shmem:             18068 kB
KReclaimable:     114748 kB
Slab:             204544 kB
SReclaimable:     114748 kB
SUnreclaim:        89796 kB
KernelStack:        4880 kB
PageTables:         4052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4822480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151064 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC014 at 2025-07-01 15:07:10