Trace number 4432205

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)115 3600.32 3601.94

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUM41af2b26463fe500a2b560ae49f59ea6
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 benchmark90
Best CPU time to get the best result obtained on this benchmark0.072877
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint46
Number of terms in the objective function 652
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432205-1721106640.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.19	c ... done. Wall clock time 0.062s.
0.13/0.19	c declared #vars     652
0.13/0.19	c #constraints  759
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 743
0.13/0.19	c 759 constraints processed.
0.13/0.20	c objective function length is 652 literals
0.31/0.22	c SATISFIABLE
0.31/0.22	c OPTIMIZING...
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.093
0.31/0.22	o 116
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.101
0.31/0.22	o 115
0.90/0.56	c cleaning 2500 clauses out of 5012 with flag 10296/5012
1.28/0.79	c cleaning 4249 clauses out of 8512 with flag 22456/11012
1.66/0.96	c cleaning 5625 clauses out of 11262 with flag 36882/18011
1.93/1.12	c cleaning 6810 clauses out of 13638 with flag 53146/26012
2.22/1.31	c cleaning 7906 clauses out of 15827 with flag 71373/35011
2.55/1.52	c cleaning 8951 clauses out of 17922 with flag 91963/45012
2.77/1.75	c cleaning 9981 clauses out of 19970 with flag 114522/56011
3.08/2.00	c cleaning 10987 clauses out of 21989 with flag 138786/68011
3.39/2.32	c cleaning 11990 clauses out of 24002 with flag 165497/81011
3.70/2.65	c cleaning 12997 clauses out of 26012 with flag 194828/95011
4.10/3.02	c cleaning 14000 clauses out of 28015 with flag 225372/110011
4.50/3.41	c cleaning 14999 clauses out of 30016 with flag 258903/126012
4.94/3.81	c cleaning 16000 clauses out of 32016 with flag 295565/143011
5.37/4.29	c cleaning 17001 clauses out of 34017 with flag 332493/161012
5.87/4.77	c cleaning 18000 clauses out of 36016 with flag 371692/180012
6.37/5.24	c cleaning 18999 clauses out of 38016 with flag 413128/200012
6.87/5.76	c cleaning 19997 clauses out of 40016 with flag 456363/221011
7.57/6.41	c cleaning 20999 clauses out of 42019 with flag 506157/243011
8.18/7.02	c cleaning 21996 clauses out of 44022 with flag 556864/266013
8.77/7.64	c cleaning 23000 clauses out of 46024 with flag 609106/290011
9.37/8.29	c cleaning 24003 clauses out of 48025 with flag 664326/315012
10.11/8.99	c cleaning 24997 clauses out of 50022 with flag 722921/341012
10.81/9.69	c cleaning 26001 clauses out of 52024 with flag 781203/368011
11.70/10.52	c cleaning 27000 clauses out of 54023 with flag 838727/396011
12.50/11.36	c cleaning 28005 clauses out of 56024 with flag 899408/425012
13.40/12.24	c cleaning 29002 clauses out of 58018 with flag 965164/455011
14.42/13.21	c cleaning 30000 clauses out of 60017 with flag 1030070/486012
15.32/14.15	c cleaning 30997 clauses out of 62017 with flag 1099734/518012
16.22/15.04	c cleaning 31999 clauses out of 64019 with flag 1172329/551011
17.23/16.03	c cleaning 33002 clauses out of 66021 with flag 1245184/585012
18.32/17.13	c cleaning 33999 clauses out of 68018 with flag 1319390/620011
19.41/18.23	c cleaning 34994 clauses out of 70020 with flag 1399247/656012
20.52/19.34	c cleaning 36006 clauses out of 72025 with flag 1478854/693011
21.73/20.56	c cleaning 37001 clauses out of 74019 with flag 1558961/731011
22.93/21.77	c cleaning 37999 clauses out of 76019 with flag 1642647/770012
24.26/23.01	c cleaning 38996 clauses out of 78020 with flag 1723853/810012
25.55/24.34	c cleaning 40005 clauses out of 80023 with flag 1812734/851011
26.87/25.68	c cleaning 40999 clauses out of 82019 with flag 1901722/893012
28.27/27.04	c cleaning 42000 clauses out of 84020 with flag 1993834/936012
29.77/28.53	c cleaning 43000 clauses out of 86019 with flag 2085489/980011
31.17/29.95	c cleaning 44001 clauses out of 88020 with flag 2182402/1025012
32.56/31.36	c cleaning 45000 clauses out of 90018 with flag 2279656/1071011
34.09/32.87	c cleaning 45996 clauses out of 92019 with flag 2381291/1118012
35.69/34.47	c cleaning 47002 clauses out of 94023 with flag 2480909/1166012
37.52/36.30	c cleaning 48003 clauses out of 96020 with flag 2584851/1215011
39.21/38.00	c cleaning 48999 clauses out of 98018 with flag 2691594/1265012
41.11/39.83	c cleaning 49999 clauses out of 100018 with flag 2802322/1316011
42.84/41.51	c cleaning 51001 clauses out of 102019 with flag 2914607/1368011
44.62/43.35	c cleaning 51995 clauses out of 104019 with flag 3028135/1421012
46.66/45.39	c cleaning 52999 clauses out of 106023 with flag 3142730/1475011
48.74/47.40	c cleaning 54000 clauses out of 108024 with flag 3256109/1530011
50.72/49.47	c cleaning 55004 clauses out of 110024 with flag 3373784/1586011
52.75/51.46	c cleaning 56001 clauses out of 112020 with flag 3492720/1643011
54.93/53.64	c cleaning 57000 clauses out of 114019 with flag 3614514/1701011
57.02/55.77	c cleaning 58001 clauses out of 116021 with flag 3739234/1760013
59.30/58.03	c cleaning 58997 clauses out of 118018 with flag 3863606/1820011
61.62/60.36	c cleaning 60000 clauses out of 120022 with flag 3991871/1881012
64.19/62.98	c cleaning 60996 clauses out of 122023 with flag 4124771/1943013
66.87/65.65	c cleaning 62004 clauses out of 124026 with flag 4262269/2006012
69.05/67.87	c cleaning 62997 clauses out of 126022 with flag 4397045/2070012
71.72/70.52	c cleaning 64006 clauses out of 128025 with flag 4532516/2135012
73.96/72.77	c cleaning 64997 clauses out of 130018 with flag 4673676/2201011
76.74/75.58	c cleaning 65999 clauses out of 132021 with flag 4819962/2268011
79.71/78.50	c cleaning 66996 clauses out of 134024 with flag 4972090/2336013
82.29/81.18	c cleaning 67998 clauses out of 136026 with flag 5125474/2405011
85.15/83.98	c cleaning 69003 clauses out of 138029 with flag 5271305/2475012
87.82/86.62	c cleaning 70001 clauses out of 140025 with flag 5421397/2546011
90.89/89.78	c cleaning 71001 clauses out of 142025 with flag 5577455/2618012
94.26/93.14	c cleaning 71995 clauses out of 144024 with flag 5741900/2691012
97.05/95.93	c cleaning 72999 clauses out of 146028 with flag 5899829/2765011
100.31/99.22	c cleaning 74008 clauses out of 148029 with flag 6055172/2840011
103.09/102.02	c cleaning 75002 clauses out of 150021 with flag 6217094/2916011
106.82/105.30	c cleaning 76002 clauses out of 152020 with flag 6383750/2993012
109.70/108.22	c cleaning 77003 clauses out of 154017 with flag 6552124/3071011
113.07/111.65	c cleaning 77996 clauses out of 156014 with flag 6716306/3150011
116.14/114.79	c cleaning 79000 clauses out of 158019 with flag 6886908/3230012
119.63/118.29	c cleaning 79998 clauses out of 160018 with flag 7058273/3311011
123.23/121.81	c cleaning 80996 clauses out of 162020 with flag 7236973/3393011
126.79/125.44	c cleaning 82004 clauses out of 164025 with flag 7409910/3476012
130.08/128.71	c cleaning 82998 clauses out of 166020 with flag 7588005/3560011
133.67/132.39	c cleaning 84002 clauses out of 168023 with flag 7769229/3645012
138.02/136.62	c cleaning 84997 clauses out of 170020 with flag 7959553/3731011
141.81/140.40	c cleaning 86004 clauses out of 172025 with flag 8142087/3818013
145.50/144.15	c cleaning 86996 clauses out of 174020 with flag 8328165/3906012
149.39/148.09	c cleaning 88005 clauses out of 176024 with flag 8519034/3995012
153.78/152.47	c cleaning 88997 clauses out of 178019 with flag 8712207/4085012
158.20/156.83	c cleaning 90002 clauses out of 180021 with flag 8903006/4176011
161.90/160.56	c cleaning 91001 clauses out of 182019 with flag 9100294/4268011
165.79/164.46	c cleaning 91995 clauses out of 184019 with flag 9298265/4361012
170.67/169.36	c cleaning 93001 clauses out of 186023 with flag 9509801/4455011
174.96/173.63	c cleaning 94001 clauses out of 188023 with flag 9712652/4550012
179.84/178.51	c cleaning 94997 clauses out of 190021 with flag 9915790/4646011
184.78/183.46	c cleaning 95998 clauses out of 192025 with flag 10125370/4743012
189.67/188.34	c cleaning 97002 clauses out of 194026 with flag 10340012/4841011
193.96/192.64	c cleaning 98001 clauses out of 196025 with flag 10549675/4940012
199.25/197.90	c cleaning 98999 clauses out of 198023 with flag 10759904/5040011
204.13/202.85	c cleaning 100003 clauses out of 200025 with flag 10976550/5141012
208.72/207.46	c cleaning 100999 clauses out of 202021 with flag 11196210/5243011
213.21/211.92	c cleaning 102004 clauses out of 204022 with flag 11414182/5346011
217.69/216.44	c cleaning 102996 clauses out of 206018 with flag 11634557/5450011
223.06/221.75	c cleaning 104001 clauses out of 208024 with flag 11860126/5555013
227.65/226.39	c cleaning 104995 clauses out of 210021 with flag 12080884/5661011
232.23/230.96	c cleaning 106003 clauses out of 212026 with flag 12307458/5768011
237.52/236.22	c cleaning 107005 clauses out of 214024 with flag 12537950/5876012
243.01/241.74	c cleaning 108002 clauses out of 216018 with flag 12778774/5985011
248.19/246.94	c cleaning 109001 clauses out of 218016 with flag 13011009/6095011
253.51/252.11	c cleaning 109996 clauses out of 220015 with flag 13248658/6206011
258.79/257.49	c cleaning 111003 clauses out of 222019 with flag 13488063/6318011
264.27/262.93	c cleaning 111998 clauses out of 224017 with flag 13722336/6431012
268.86/267.57	c cleaning 113001 clauses out of 226018 with flag 13966797/6545011
274.54/273.25	c cleaning 113997 clauses out of 228017 with flag 14220334/6660011
280.64/279.37	c cleaning 114999 clauses out of 230020 with flag 14477797/6776011
287.22/285.82	c cleaning 116000 clauses out of 232021 with flag 14721842/6893011
293.06/291.70	c cleaning 117002 clauses out of 234022 with flag 14974151/7011012
299.20/297.90	c cleaning 117998 clauses out of 236020 with flag 15234405/7130012
304.66/303.46	c cleaning 118996 clauses out of 238022 with flag 15492984/7250012
310.98/309.74	c cleaning 120003 clauses out of 240026 with flag 15752019/7371012
318.12/316.97	c cleaning 120997 clauses out of 242022 with flag 16021423/7493011
324.47/323.36	c cleaning 122004 clauses out of 244025 with flag 16278018/7616011
330.91/329.85	c cleaning 123001 clauses out of 246022 with flag 16546312/7740012
338.29/336.63	c cleaning 123996 clauses out of 248020 with flag 16806377/7865011
344.53/342.92	c cleaning 124999 clauses out of 250024 with flag 17077276/7991011
351.28/349.77	c cleaning 126004 clauses out of 252025 with flag 17352528/8118011
357.39/355.86	c cleaning 127000 clauses out of 254021 with flag 17625553/8246011
364.12/362.63	c cleaning 127995 clauses out of 256021 with flag 17904879/8375011
371.56/370.18	c cleaning 129002 clauses out of 258027 with flag 18175018/8505012
378.21/376.87	c cleaning 130002 clauses out of 260024 with flag 18461671/8636011
386.31/384.96	c cleaning 131000 clauses out of 262022 with flag 18747532/8768011
393.74/392.40	c cleaning 131999 clauses out of 264022 with flag 19027034/8901011
401.57/400.32	c cleaning 132998 clauses out of 266024 with flag 19311155/9035012
408.81/407.69	c cleaning 134002 clauses out of 268025 with flag 19593877/9170011
416.15/415.08	c cleaning 135001 clauses out of 270024 with flag 19881287/9306012
423.52/422.42	c cleaning 135995 clauses out of 272022 with flag 20177540/9443011
430.56/429.59	c cleaning 136998 clauses out of 274027 with flag 20469756/9581011
438.00/437.02	c cleaning 138002 clauses out of 276030 with flag 20764259/9720012
445.73/444.85	c cleaning 139005 clauses out of 278027 with flag 21057018/9860011
453.26/452.50	c cleaning 139999 clauses out of 280022 with flag 21359116/10001011
460.90/460.05	c cleaning 140998 clauses out of 282023 with flag 21659894/10143011
468.03/467.21	c cleaning 142000 clauses out of 284025 with flag 21969804/10286011
476.37/475.61	c cleaning 143002 clauses out of 286025 with flag 22284570/10430011
485.00/484.38	c cleaning 144002 clauses out of 288024 with flag 22587252/10575012
493.43/492.88	c cleaning 145000 clauses out of 290021 with flag 22910068/10721011
502.45/501.92	c cleaning 145995 clauses out of 292021 with flag 23230246/10868011
510.72/510.28	c cleaning 147000 clauses out of 294026 with flag 23541568/11016011
520.14/519.76	c cleaning 148000 clauses out of 296026 with flag 23863575/11165011
528.82/528.45	c cleaning 149003 clauses out of 298027 with flag 24180075/11315012
537.89/537.59	c cleaning 150001 clauses out of 300024 with flag 24502803/11466012
546.48/546.15	c cleaning 151006 clauses out of 302023 with flag 24826803/11618012
556.11/555.67	c cleaning 151996 clauses out of 304017 with flag 25156173/11771012
565.33/564.90	c cleaning 152997 clauses out of 306020 with flag 25481372/11925011
574.66/574.35	c cleaning 154002 clauses out of 308023 with flag 25811030/12080011
584.44/583.52	c cleaning 154999 clauses out of 310022 with flag 26141482/12236012
593.07/592.29	c cleaning 156001 clauses out of 312022 with flag 26471898/12393011
605.27/604.58	c cleaning 157004 clauses out of 314021 with flag 26804475/12551011
616.14/615.43	c cleaning 157995 clauses out of 316017 with flag 27138873/12710011
626.46/625.89	c cleaning 159001 clauses out of 318022 with flag 27478252/12870011
636.57/636.06	c cleaning 159999 clauses out of 320022 with flag 27824620/13031012
646.49/646.02	c cleaning 161002 clauses out of 322022 with flag 28172438/13193011
656.94/656.41	c cleaning 162002 clauses out of 324021 with flag 28524062/13356012
667.81/667.31	c cleaning 162997 clauses out of 326019 with flag 28879894/13520012
678.29/677.82	c cleaning 163995 clauses out of 328021 with flag 29238708/13685011
688.17/687.70	c cleaning 164999 clauses out of 330026 with flag 29591599/13851011
699.25/698.78	c cleaning 166003 clauses out of 332027 with flag 29951285/14018011
710.33/709.83	c cleaning 166996 clauses out of 334025 with flag 30314420/14186012
720.90/720.45	c cleaning 168001 clauses out of 336028 with flag 30673970/14355011
731.97/731.42	c cleaning 169000 clauses out of 338028 with flag 31037562/14525012
742.16/741.61	c cleaning 170000 clauses out of 340028 with flag 31402132/14696012
753.23/752.74	c cleaning 171004 clauses out of 342027 with flag 31765200/14868011
765.12/763.92	c cleaning 171999 clauses out of 344024 with flag 32131242/15041012
775.60/774.45	c cleaning 172998 clauses out of 346025 with flag 32501481/15215012
787.07/785.93	c cleaning 174001 clauses out of 348027 with flag 32878507/15390012
799.56/798.46	c cleaning 175000 clauses out of 350026 with flag 33251911/15566012
812.14/811.09	c cleaning 176000 clauses out of 352026 with flag 33630704/15743012
826.01/824.96	c cleaning 177003 clauses out of 354025 with flag 34008411/15921011
837.38/836.38	c cleaning 177997 clauses out of 356022 with flag 34389668/16100011
849.71/848.68	c cleaning 178999 clauses out of 358026 with flag 34770436/16280012
861.88/860.86	c cleaning 179999 clauses out of 360027 with flag 35158176/16461012
874.15/873.13	c cleaning 181004 clauses out of 362028 with flag 35551285/16643012
886.52/885.55	c cleaning 182001 clauses out of 364023 with flag 35938075/16826011
898.82/897.87	c cleaning 183000 clauses out of 366023 with flag 36327476/17010012
914.29/913.34	c cleaning 184000 clauses out of 368022 with flag 36718119/17195011
926.55/925.65	c cleaning 185000 clauses out of 370023 with flag 37112660/17381012
940.32/939.42	c cleaning 185998 clauses out of 372022 with flag 37512251/17568011
953.60/952.70	c cleaning 186998 clauses out of 374025 with flag 37909741/17756012
969.46/968.59	c cleaning 188002 clauses out of 376026 with flag 38311063/17945011
985.82/984.91	c cleaning 188999 clauses out of 378024 with flag 38714193/18135011
1002.29/1001.42	c cleaning 189998 clauses out of 380025 with flag 39117314/18326011
1017.52/1016.60	c cleaning 191000 clauses out of 382028 with flag 39521619/18518012
1032.89/1032.11	c cleaning 192000 clauses out of 384028 with flag 39929966/18711012
1048.46/1047.88	c cleaning 193000 clauses out of 386027 with flag 40339826/18905011
1064.49/1063.22	c cleaning 194006 clauses out of 388027 with flag 40752065/19100011
1079.86/1078.77	c cleaning 194995 clauses out of 390021 with flag 41165755/19296011
1095.70/1094.64	c cleaning 196000 clauses out of 392026 with flag 41581436/19493011
1109.29/1108.20	c cleaning 197001 clauses out of 394026 with flag 41999833/19691011
1123.36/1122.38	c cleaning 198001 clauses out of 396025 with flag 42418986/19890011
1141.62/1140.69	c cleaning 199002 clauses out of 398024 with flag 42842379/20090011
1158.30/1157.24	c cleaning 199997 clauses out of 400022 with flag 43268510/20291011
1175.95/1175.08	c cleaning 200997 clauses out of 402025 with flag 43695586/20493011
1190.68/1189.73	c cleaning 202002 clauses out of 404028 with flag 44125563/20696011
1205.44/1204.56	c cleaning 203000 clauses out of 406027 with flag 44556731/20900012
1219.91/1219.01	c cleaning 204007 clauses out of 408027 with flag 44993997/21105012
1235.39/1234.02	c cleaning 205000 clauses out of 410019 with flag 45418459/21311011
1251.84/1250.58	c cleaning 205997 clauses out of 412019 with flag 45843467/21518011
1269.07/1267.75	c cleaning 206997 clauses out of 414023 with flag 46270072/21726012
1286.43/1285.12	c cleaning 208004 clauses out of 416025 with flag 46698376/21935011
1303.29/1302.08	c cleaning 208998 clauses out of 418021 with flag 47132545/22145011
1321.23/1319.99	c cleaning 210002 clauses out of 420023 with flag 47575413/22356011
1339.68/1338.40	c cleaning 210997 clauses out of 422022 with flag 48017676/22568012
1358.44/1357.28	c cleaning 211996 clauses out of 424025 with flag 48455153/22781012
1376.19/1374.91	c cleaning 213002 clauses out of 426029 with flag 48902419/22995012
1392.65/1391.48	c cleaning 214005 clauses out of 428027 with flag 49351575/23210012
1407.12/1405.96	c cleaning 214999 clauses out of 430021 with flag 49791757/23426011
1422.68/1421.58	c cleaning 215999 clauses out of 432022 with flag 50236214/23643011
1439.04/1437.73	c cleaning 217001 clauses out of 434023 with flag 50691288/23861011
1458.79/1457.50	c cleaning 217996 clauses out of 436023 with flag 51161741/24080012
1477.85/1476.61	c cleaning 219001 clauses out of 438026 with flag 51627796/24300011
1499.58/1498.37	c cleaning 219999 clauses out of 440026 with flag 52100327/24521012
1519.93/1518.78	c cleaning 220999 clauses out of 442026 with flag 52571658/24743011
1538.88/1537.78	c cleaning 222004 clauses out of 444027 with flag 53042157/24966011
1559.70/1558.52	c cleaning 222997 clauses out of 446024 with flag 53511897/25190012
1576.85/1575.70	c cleaning 224004 clauses out of 448027 with flag 53990549/25415012
1591.22/1590.19	c cleaning 224998 clauses out of 450023 with flag 54471382/25641012
1607.59/1606.08	c cleaning 226002 clauses out of 452024 with flag 54959951/25868011
1624.35/1622.82	c cleaning 227001 clauses out of 454023 with flag 55448256/26096012
1639.21/1637.77	c cleaning 227999 clauses out of 456021 with flag 55932815/26325011
1656.79/1655.39	c cleaning 228999 clauses out of 458022 with flag 56423893/26555011
1676.64/1675.22	c cleaning 230001 clauses out of 460024 with flag 56911661/26786012
1695.10/1693.71	c cleaning 230997 clauses out of 462022 with flag 57409745/27018011
1714.58/1713.22	c cleaning 232003 clauses out of 464025 with flag 57902169/27251011
1735.12/1733.96	c cleaning 232998 clauses out of 466023 with flag 58395593/27485012
1757.05/1756.03	c cleaning 233996 clauses out of 468024 with flag 58904849/27720011
1776.28/1775.44	c cleaning 234997 clauses out of 470028 with flag 59408552/27956011
1801.36/1800.66	c cleaning 236007 clauses out of 472031 with flag 59909571/28193011
1824.56/1824.01	c cleaning 237000 clauses out of 474024 with flag 60411237/28431011
1845.98/1845.67	c cleaning 238001 clauses out of 476025 with flag 60916413/28670012
1867.80/1867.65	c cleaning 239000 clauses out of 478023 with flag 61420865/28910011
1889.18/1889.09	c cleaning 240001 clauses out of 480024 with flag 61937615/29151012
1907.03/1907.05	c cleaning 240999 clauses out of 482022 with flag 62454440/29393011
1930.13/1930.30	c cleaning 241998 clauses out of 484024 with flag 62980032/29636012
1953.61/1953.28	c cleaning 243002 clauses out of 486026 with flag 63497526/29880012
1975.85/1975.52	c cleaning 243998 clauses out of 488024 with flag 64023054/30125012
1997.60/1997.33	c cleaning 245001 clauses out of 490026 with flag 64545975/30371012
2018.20/2018.07	c cleaning 246003 clauses out of 492024 with flag 65071720/30618011
2037.93/2037.95	c cleaning 247000 clauses out of 494022 with flag 65604863/30866012
2060.14/2060.33	c cleaning 247999 clauses out of 496022 with flag 66136381/31115012
2082.72/2082.94	c cleaning 249000 clauses out of 498022 with flag 66667817/31365011
2107.11/2107.56	c cleaning 249995 clauses out of 500022 with flag 67196604/31616011
2128.93/2129.56	c cleaning 251005 clauses out of 502027 with flag 67725804/31868011
2152.66/2153.36	c cleaning 251997 clauses out of 504022 with flag 68257152/32121011
2177.94/2178.88	c cleaning 252998 clauses out of 506026 with flag 68800985/32375012
2201.16/2202.29	c cleaning 253998 clauses out of 508027 with flag 69337360/32630011
2224.01/2224.61	c cleaning 255002 clauses out of 510031 with flag 69882700/32886013
2244.76/2245.47	c cleaning 255998 clauses out of 512027 with flag 70439776/33143011
2266.82/2267.40	c cleaning 257002 clauses out of 514030 with flag 70983760/33401012
2293.85/2294.55	c cleaning 257997 clauses out of 516027 with flag 71529865/33660011
2317.77/2318.48	c cleaning 259006 clauses out of 518032 with flag 72099354/33920013
2338.42/2339.17	c cleaning 260002 clauses out of 520025 with flag 72682297/34181012
2361.17/2361.89	c cleaning 261000 clauses out of 522023 with flag 73258287/34443012
2380.72/2381.45	c cleaning 261999 clauses out of 524022 with flag 73849706/34706011
2402.37/2403.18	c cleaning 262999 clauses out of 526023 with flag 74457191/34970011
2424.69/2425.64	c cleaning 264000 clauses out of 528025 with flag 75035351/35235012
2443.32/2444.33	c cleaning 264993 clauses out of 530024 with flag 75637854/35501011
2463.26/2464.49	c cleaning 266006 clauses out of 532031 with flag 76241182/35768011
2483.91/2484.58	c cleaning 266995 clauses out of 534026 with flag 76826015/36036012
2505.72/2506.26	c cleaning 268003 clauses out of 536031 with flag 77423244/36305012
2528.96/2529.51	c cleaning 269001 clauses out of 538027 with flag 78003932/36575011
2548.26/2548.83	c cleaning 269999 clauses out of 540027 with flag 78619317/36846012
2570.61/2571.27	c cleaning 271001 clauses out of 542027 with flag 79220281/37118011
2591.70/2592.37	c cleaning 271995 clauses out of 544027 with flag 79818503/37391012
2614.15/2614.88	c cleaning 272999 clauses out of 546031 with flag 80416362/37665011
2635.90/2636.52	c cleaning 274002 clauses out of 548034 with flag 81023317/37940013
2658.05/2658.78	c cleaning 275003 clauses out of 550031 with flag 81636161/38216012
2683.69/2684.35	c cleaning 276000 clauses out of 552027 with flag 82245028/38493011
2710.64/2711.37	c cleaning 277000 clauses out of 554028 with flag 82851100/38771012
2730.79/2731.43	c cleaning 277998 clauses out of 556028 with flag 83474153/39050012
2755.47/2755.22	c cleaning 278999 clauses out of 558029 with flag 84090473/39330011
2779.55/2779.47	c cleaning 280005 clauses out of 560031 with flag 84712589/39611012
2802.22/2802.21	c cleaning 281001 clauses out of 562025 with flag 85326211/39893011
2824.84/2824.98	c cleaning 282003 clauses out of 564025 with flag 85948718/40176012
2848.65/2848.91	c cleaning 282996 clauses out of 566022 with flag 86574407/40460012
2870.69/2871.13	c cleaning 283995 clauses out of 568025 with flag 87215082/40745011
2895.92/2896.30	c cleaning 285006 clauses out of 570032 with flag 87870164/41031013
2920.05/2919.41	c cleaning 286001 clauses out of 572024 with flag 88501551/41318011
2944.66/2944.10	c cleaning 286997 clauses out of 574024 with flag 89144844/41606012
2969.30/2968.72	c cleaning 287999 clauses out of 576027 with flag 89779132/41895012
2993.20/2992.83	c cleaning 289003 clauses out of 578028 with flag 90437951/42185012
3018.13/3017.99	c cleaning 289996 clauses out of 580025 with flag 91094362/42476012
3039.55/3039.57	c cleaning 291001 clauses out of 582029 with flag 91745096/42768012
3066.65/3066.72	c cleaning 292000 clauses out of 584028 with flag 92420210/43061012
3093.22/3093.59	c cleaning 292999 clauses out of 586027 with flag 93068910/43355011
3118.71/3119.08	c cleaning 293999 clauses out of 588028 with flag 93738839/43650011
3145.15/3145.53	c cleaning 294999 clauses out of 590029 with flag 94420957/43946011
3168.75/3169.12	c cleaning 296004 clauses out of 592031 with flag 95076776/44243012
3197.28/3197.77	c cleaning 297000 clauses out of 594027 with flag 95761205/44541012
3223.99/3224.44	c cleaning 298006 clauses out of 596027 with flag 96427132/44840012
3249.23/3249.79	c cleaning 298996 clauses out of 598021 with flag 97104968/45140012
3282.28/3282.34	c cleaning 299996 clauses out of 600025 with flag 97788153/45441012
3306.48/3306.71	c cleaning 301001 clauses out of 602029 with flag 98458142/45743012
3336.17/3336.64	c cleaning 301999 clauses out of 604027 with flag 99151975/46046011
3363.45/3364.12	c cleaning 303000 clauses out of 606029 with flag 99821643/46350012
3391.51/3392.48	c cleaning 303999 clauses out of 608028 with flag 100516797/46655011
3417.49/3418.63	c cleaning 305003 clauses out of 610029 with flag 101202955/46961011
3441.09/3442.40	c cleaning 305997 clauses out of 612026 with flag 101896859/47268011
3470.35/3471.99	c cleaning 307001 clauses out of 614029 with flag 102595399/47576011
3495.15/3496.75	c cleaning 307999 clauses out of 616029 with flag 103286426/47885012
3521.79/3523.49	c cleaning 309000 clauses out of 618029 with flag 103998134/48195011
3546.74/3548.42	c cleaning 309999 clauses out of 620029 with flag 104687313/48506011
3575.27/3577.03	c cleaning 310999 clauses out of 622030 with flag 105401984/48818011
3600.05/3601.82	c starts		: 3
3600.05/3601.82	c conflicts		: 49131012
3600.05/3601.82	c decisions		: 67271750
3600.05/3601.82	c propagations		: 1056389341
3600.05/3601.82	c inspects		: 16658804444
3600.05/3601.82	c shortcuts		: 0
3600.05/3601.82	c learnt literals	: 0
3600.05/3601.82	c learnt binary clauses	: 0
3600.05/3601.82	c learnt ternary clauses	: 0
3600.05/3601.82	c learnt constraints	: 49131012
3600.05/3601.82	c ignored constraints	: 0
3600.05/3601.82	c root simplifications	: 0
3600.05/3601.82	c removed literals (reason simplification)	: 0
3600.05/3601.82	c reason swapping (by a shorter reason)	: 0
3600.05/3601.82	c Calls to reduceDB	: 309
3600.05/3601.82	c Number of update (reduction) of LBD	: 3308155
3600.05/3601.82	c Imported unit clauses	: 0
3600.05/3601.82	c No decision after first conflict	: false
3600.05/3601.82	c number of reductions to clauses (during analyze)	: 0
3600.05/3601.82	c number of learned constraints concerned by reduction	: 0
3600.05/3601.82	c number of learning phase by resolution	: 0
3600.05/3601.82	c number of learning phase by cutting planes	: 0
3600.05/3601.82	c number of rounding to 1 operations	: 0
3600.05/3601.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3601.82	c number of reductions of the coefficients by power 2 	: 0
3600.05/3601.82	c number of right shift for reduction by power 2 	: 0
3600.05/3601.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3601.82	c number of ending skipping 	: 0
3600.05/3601.82	c number of internal skipping 	: 0
3600.05/3601.82	c number of derivation steps 	: 0
3600.05/3601.82	c number of skipped derivation steps 	: 0
3600.05/3601.82	c number of remaining unassigned 	: 0
3600.05/3601.82	c number of remaining assigned 	: 0
3600.05/3601.82	c number of falsified literals weakened from reason	: 0
3600.05/3601.82	c number of falsified literals weakened from conflict	: 0
3600.05/3601.82	c time for arithmetic operations	: 0
3600.05/3601.83	c minimum degree of deleted constraints	: null
3600.05/3601.83	c maximum degree of deleted constraints	: null
3600.05/3601.83	c number of deleted constraints	: 0
3600.05/3601.83	c speed (assignments/second)	: 293309.9015302857
3600.05/3601.83	c non guided choices	: 0
3600.25/3601.92	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 624032
3600.25/3601.92	s SATISFIABLE
3600.25/3601.92	c Found 2 solution(s)
3600.25/3601.93	v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 x19 x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 -x233 -x234 -x235 x236 x237 -x238 x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 
3600.25/3601.93	c objective function=115
3600.25/3601.93	c Total wall clock time (in seconds): 3601.8

Verifier Data 

OK	115

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: 63968 MiB (62920 MiB free)
  memory of node 1: 64473 MiB (62986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432205-1721106640/watcher-4432205-1721106640 -o /tmp/evaluation-result-4432205-1721106640/solver-4432205-1721106640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842435 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432205-1721106640.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.101296 s]*
/proc/loadavg: 3.82 4.12 4.16 8/326 842567
/proc/meminfo: memFree=128755628/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=18975048 memory=64544 CPUtime=0.13 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 7265 0 0 0 12 1 0 0 20 0 18 0 162830210 19430449152 16136 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4743762 16136 5525 1 0 549337 0
[pid=842484/tid=842491] ppid=842477 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 5787 0 0 0 7 1 0 0 20 0 18 0 162830210 19430449152 16136 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=18975048 memory=16952 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 16136 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 16136 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64544 KiB

[startup+0.207025 s]*
/proc/loadavg: 3.82 4.12 4.16 9/307 842570
/proc/meminfo: memFree=128754052/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=18975048 memory=73404 CPUtime=0.31 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 7706 0 0 0 30 1 0 0 20 0 18 0 162830210 19430449152 18351 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4743762 18351 5834 1 0 549616 0
[pid=842484/tid=842491] ppid=842477 vsize=18975048 memory=664970851429515383 CPUtime=0.16 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 1077936192 6015 0 0 0 15 1 0 0 20 0 18 0 162830210 19430449152 18351 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=18975048 memory=215671390465 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 18351 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=18975048 memory=2745 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 18351 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73404 KiB

[startup+0.31058 s]*
/proc/loadavg: 3.82 4.12 4.16 10/308 842586
/proc/meminfo: memFree=128674096/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19041612 memory=81344 CPUtime=0.52 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 9557 0 0 0 50 2 0 0 20 0 19 0 162830210 19498610688 20336 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4760403 20336 5850 1 0 550863 0
[pid=842484/tid=842491] ppid=842477 vsize=19041612 memory=-6170700500682046914 CPUtime=0.26 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 6073 0 0 0 25 1 0 0 20 0 19 0 162830210 19498610688 20336 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 20336 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 20336 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830231 19498610688 20336 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81344 KiB

[startup+0.701039 s]
/proc/loadavg: 3.82 4.12 4.16 9/307 842607
/proc/meminfo: memFree=128608924/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19041612 memory=93952 CPUtime=1.28 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 11960 0 0 0 125 3 0 0 20 0 19 0 162830210 19498610688 23488 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4760403 23488 5865 1 0 552344 0
[pid=842484/tid=842491] ppid=842477 vsize=19041612 memory=16156 CPUtime=0.65 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 6161 0 0 0 63 2 0 0 20 0 19 0 162830210 19498610688 23488 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 23488 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19041612 memory=5536 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 23488 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19041612 memory=32192 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830231 19498610688 23488 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93952 KiB

[startup+1.50805 s]
/proc/loadavg: 3.82 4.12 4.16 6/310 842654
/proc/meminfo: memFree=128580568/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19041612 memory=133816 CPUtime=2.55 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 15621 0 0 0 251 4 0 0 20 0 19 0 162830210 19498610688 33454 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4760403 33454 5865 1 0 552585 0
[pid=842484/tid=842491] ppid=842477 vsize=19041612 memory=12420 CPUtime=1.45 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 6529 0 0 0 142 3 0 0 20 0 19 0 162830210 19498610688 33454 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 33454 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19041612 memory=5536 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 33454 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19041612 memory=32192 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830231 19498610688 33454 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133816 KiB

[startup+3.10556 s]
/proc/loadavg: 3.82 4.12 4.16 5/332 842705
/proc/meminfo: memFree=128395352/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=193984 CPUtime=4.2 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 17656 0 0 0 414 6 0 0 20 0 20 0 162830210 19566772224 48496 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 48496 5919 1 0 552877 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=0 CPUtime=3.02 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 6751 0 0 0 299 3 0 0 20 0 20 0 162830210 19566772224 48496 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 48496 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 48496 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 48496 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193984 KiB

[startup+6.30022 s]
/proc/loadavg: 3.92 4.13 4.17 5/332 842707
/proc/meminfo: memFree=128305824/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=274476 CPUtime=7.47 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 17970 0 0 0 739 8 0 0 20 0 20 0 162830210 19566772224 68619 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 68619 5919 1 0 552879 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=0 CPUtime=6.12 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 6772 0 0 0 609 3 0 0 20 0 20 0 162830210 19566772224 68619 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 68619 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 68619 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 68619 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 274476 KiB

[startup+12.7091 s]
/proc/loadavg: 3.92 4.13 4.17 5/333 842708
/proc/meminfo: memFree=128143448/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=373300 CPUtime=13.91 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 19540 0 0 0 1380 11 0 0 20 0 20 0 162830210 19566772224 93325 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 93325 5919 1 0 552879 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=12420 CPUtime=12.41 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) S 842477 842484 842425 0 -1 1077936192 7311 0 0 0 1238 3 0 0 20 0 20 0 162830210 19566772224 93325 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=358964 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 93325 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 93325 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 93325 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 13.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 373300 KiB

[startup+25.5003 s]
/proc/loadavg: 3.94 4.12 4.16 5/333 842711
/proc/meminfo: memFree=127871836/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=578376 CPUtime=26.77 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 22840 0 0 0 2662 15 0 0 20 0 20 0 162830210 19566772224 144594 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 144594 5919 1 0 552879 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=358964 CPUtime=24.99 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 8426 0 0 0 2495 4 0 0 20 0 20 0 162830210 19566772224 144594 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 144594 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=543560 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 144594 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=543560 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 144594 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 26.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 578376 KiB

[startup+51.106 s]
/proc/loadavg: 4.22 4.17 4.18 5/334 842715
/proc/meminfo: memFree=127271096/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=1055668 CPUtime=52.46 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 26827 0 0 0 5219 27 0 0 20 0 20 0 162830210 19566772224 263917 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 263917 5919 1 0 552879 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=932788 CPUtime=50.16 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 9837 0 0 0 5011 5 0 0 20 0 20 0 162830210 19566772224 263917 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830211 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/331 844881
/proc/meminfo: memFree=121138952/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580056 CPUtime=3282.28 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 154022 0 0 0 328088 140 0 0 20 0 20 0 162830210 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645014 5967 1 0 656394 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=2580056 CPUtime=3257.07 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 52567 0 0 0 325675 32 0 0 20 0 20 0 162830210 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=2580056 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3282.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/330 844891
/proc/meminfo: memFree=121138396/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580056 CPUtime=3341.81 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 154233 0 0 0 334040 141 0 0 20 0 20 0 162830210 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645014 5967 1 0 656395 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=11664 CPUtime=3316.51 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 52731 0 0 0 331619 32 0 0 20 0 20 0 162830210 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=2580056 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=2580056 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=2580056 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645014 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3341.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/331 844904
/proc/meminfo: memFree=121137696/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3401.32 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 155950 0 0 0 339989 143 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645015 5967 1 0 656395 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=2580056 CPUtime=3375.92 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53501 0 0 0 337560 32 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1511 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=2580060 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3401.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/332 844916
/proc/meminfo: memFree=121137124/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3460.82 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 156110 0 0 0 345938 144 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645015 5967 1 0 656395 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=41552 CPUtime=3435.4 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53615 0 0 0 343508 32 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=2580060 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=140339130998177 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1551 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=2580060 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3460.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.17 5/332 844926
/proc/meminfo: memFree=121136340/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3520.69 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 156498 0 0 0 351923 146 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645015 5967 1 0 656396 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3494.98 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53789 0 0 0 349465 33 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=140339130998177 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=2580060 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1551 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3520.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/334 844940
/proc/meminfo: memFree=121080272/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3580.6 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 156706 0 0 0 357912 148 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645015 5967 1 0 656396 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3554.75 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53903 0 0 0 355442 33 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1551 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 4.23 4.16 4.17 5/334 844944
/proc/meminfo: memFree=121061444/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19108176 memory=2580060 CPUtime=3600.05 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 156709 0 0 0 359857 148 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4777044 645015 5967 1 0 656396 0
[pid=842484/tid=842491] ppid=842477 vsize=19108176 memory=16156 CPUtime=3574.2 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53903 0 0 0 357387 33 0 0 20 0 20 0 162830210 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19108176 memory=2580060 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19108176 memory=-8671230739785032380 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1551 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842571] ppid=842477 vsize=19108176 memory=2680 CPUtime=0 cores=0,2
/proc/842484/task/842571/stat : 842571 (Timer-0) S 842477 842484 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830231 19566772224 645015 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=1.4969 s

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

[startup+3601.91 s]
/proc/loadavg: 4.23 4.16 4.17 5/334 844944
/proc/meminfo: memFree=121061444/131524600 swapFree=131071996/131071996
[pid=842484] ppid=842477 vsize=19307868 memory=2580676 CPUtime=3600.25 cores=0,2
/proc/842484/stat : 842484 (java) S 842477 842484 842425 0 -1 1077936128 158694 0 0 0 359877 148 0 0 20 0 21 0 162830210 19771256832 645169 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
/proc/842484/statm: 4826967 645169 5966 1 0 657299 0
[pid=842484/tid=842491] ppid=842477 vsize=19307868 memory=2580060 CPUtime=3574.31 cores=0,2
/proc/842484/task/842491/stat : 842491 (java) R 842477 842484 842425 0 -1 4194368 53903 0 0 0 357398 33 0 0 20 0 21 0 162830210 19771256832 645169 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 162830212 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842533] ppid=842477 vsize=19307868 memory=2580056 CPUtime=0 cores=0,2
/proc/842484/task/842533/stat : 842533 (Finalizer) S 842477 842484 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162830213 19771256832 645169 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
[pid=842484/tid=842554] ppid=842477 vsize=19307868 memory=26000 CPUtime=0 cores=0,2
/proc/842484/task/842554/stat : 842554 (Common-Cleaner) S 842477 842484 842425 0 -1 1077936192 1551 0 0 0 0 0 0 0 20 0 21 0 162830213 19771256832 645169 134679101440 93829299920896 93829299924592 140732525161472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93829299932408 93829299933200 93829316157440 140732525167623 140732525167713 140732525167713 140732525174728 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2580676 KiB

Child status: 143

Real time (s): 3601.94
CPU time (s): 3600.32
CPU user time (s): 3598.82
CPU system time (s): 1.4969
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2580676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.4969
maximum resident set size= 2581356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108785
involuntary context switches= 34041


# summary of solver processes directly reported to runsolver:
#   pid: 842484
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 1.4969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99745 second user time and 17.0538 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 07:10:53
IDJOB=4432205
IDBENCH=147663
IDSOLVER=3058
FILE ID=nodeC026/4432205-1721106640
RUNJOBID= nodeC026-1721106653-842435
SLURM_JOB_ID= 7505637
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432205-1721106640/watcher-4432205-1721106640 -o /tmp/evaluation-result-4432205-1721106640/solver-4432205-1721106640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842435 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432205-1721106640.opb

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

MD5SUM BENCH= 41af2b26463fe500a2b560ae49f59ea6
RANDOM SEED=409296075

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128930156 kB
MemAvailable:   129756024 kB
Buffers:          399156 kB
Cached:          1261168 kB
SwapCached:            0 kB
Active:           688052 kB
Inactive:        1309188 kB
Active(anon):       1444 kB
Inactive(anon):   373220 kB
Active(file):     686608 kB
Inactive(file):   935968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2460 kB
Writeback:             0 kB
AnonPages:        334008 kB
Mapped:           104040 kB
Shmem:             37720 kB
KReclaimable:      86232 kB
Slab:             191440 kB
SReclaimable:      86232 kB
SUnreclaim:       105208 kB
KernelStack:        3904 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     699272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-16 08:10:55