Trace number 4432490

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-07? (TO) 3600.18 3607.06

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
MD5SUM22685a6d8447b8be1a49f22723e48d9b
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 benchmark3373010
Best CPU time to get the best result obtained on this benchmark296.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 97336000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12201970261
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 97336000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12201970261
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432490-1721143354.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.91/0.59	c ... done. Wall clock time 0.465s.
0.91/0.60	c declared #vars     31350
0.91/0.60	c #constraints  74539
0.91/0.60	c constraints type 
0.91/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 45025
0.91/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 32
0.91/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14750
0.91/0.60	c org.sat4j.specs.Constr$1 => 3
0.91/0.60	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.91/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14726
0.91/0.60	c 74539 constraints processed.
0.91/0.60	c objective function length is 16825 literals
4.67/2.65	c cleaning 2497 clauses out of 5000 with flag 20396/5000
6.52/4.34	c cleaning 4250 clauses out of 8503 with flag 52492/11000
8.90/6.41	c cleaning 5621 clauses out of 11253 with flag 92758/18000
9.01/6.57	c SATISFIABLE
9.01/6.57	c OPTIMIZING...
9.01/6.57	c Got one! Elapsed wall clock time (in seconds):6.455
9.01/6.57	o 19078006
11.86/9.07	c cleaning 5573 clauses out of 11160 with flag 20728/23531
13.76/10.77	c cleaning 5786 clauses out of 11587 with flag 43532/29531
17.47/14.42	c cleaning 6387 clauses out of 12799 with flag 70101/36532
19.40/16.31	c Got one! Elapsed wall clock time (in seconds):16.188
19.40/16.31	o 18705316
19.40/16.35	c Got one! Elapsed wall clock time (in seconds):16.226
19.40/16.35	o 3853651
19.40/16.38	c Got one! Elapsed wall clock time (in seconds):16.26
19.40/16.38	o 3759181
19.57/16.42	c Got one! Elapsed wall clock time (in seconds):16.305
19.57/16.42	o 3756929
22.45/19.24	c cleaning 8729 clauses out of 17459 with flag 22368/47594
25.55/22.37	c cleaning 7365 clauses out of 14730 with flag 57429/53594
29.49/26.23	c cleaning 7171 clauses out of 14352 with flag 98771/60594
33.88/30.67	c cleaning 7579 clauses out of 15181 with flag 137785/68594
38.78/35.59	c cleaning 8297 clauses out of 16602 with flag 179414/77594
44.08/40.86	c cleaning 9136 clauses out of 18305 with flag 226304/87594
50.07/46.74	c cleaning 10075 clauses out of 20168 with flag 279254/98598
56.67/53.36	c cleaning 11040 clauses out of 22085 with flag 342378/110595
63.46/60.17	c cleaning 12018 clauses out of 24044 with flag 414332/123594
71.12/67.79	c cleaning 13006 clauses out of 26026 with flag 499854/137594
79.83/76.45	c cleaning 14008 clauses out of 28020 with flag 594869/152594
89.39/85.92	c cleaning 15002 clauses out of 30013 with flag 701788/168595
99.53/96.08	c cleaning 16005 clauses out of 32010 with flag 815951/185594
110.13/106.74	c cleaning 16990 clauses out of 34007 with flag 929086/203596
120.78/117.45	c cleaning 17995 clauses out of 36017 with flag 1052499/222596
132.13/128.86	c cleaning 18998 clauses out of 38020 with flag 1172521/242594
139.25/135.93	c Got one! Elapsed wall clock time (in seconds):135.802
139.25/135.93	o 3751532
142.03/138.65	c cleaning 17932 clauses out of 35893 with flag 29159/259465
145.53/142.12	c cleaning 11969 clauses out of 23960 with flag 69160/265464
149.31/145.97	c cleaning 9480 clauses out of 18991 with flag 101845/272464
153.91/150.51	c cleaning 8750 clauses out of 17512 with flag 141986/280465
159.33/155.96	c cleaning 8866 clauses out of 17761 with flag 193832/289464
165.21/161.84	c cleaning 9442 clauses out of 18897 with flag 244617/299466
171.31/167.97	c cleaning 10216 clauses out of 20453 with flag 300701/310464
178.24/174.86	c cleaning 11110 clauses out of 22237 with flag 361962/322464
185.74/182.38	c cleaning 12061 clauses out of 24128 with flag 428969/335465
193.33/189.99	c cleaning 13031 clauses out of 26066 with flag 506210/349464
201.97/198.59	c cleaning 14016 clauses out of 28035 with flag 585363/364464
210.95/207.56	c cleaning 15002 clauses out of 30018 with flag 661487/380464
220.13/216.71	c cleaning 16004 clauses out of 32016 with flag 760521/397464
229.94/226.56	c cleaning 16994 clauses out of 34012 with flag 871965/415464
240.93/237.56	c cleaning 18000 clauses out of 36018 with flag 995714/434464
243.62/240.22	c Got one! Elapsed wall clock time (in seconds):240.097
243.62/240.22	o 3747018
244.18/240.79	c cleaning 11812 clauses out of 23638 with flag 5496/440085
247.37/243.92	c cleaning 8909 clauses out of 17826 with flag 33753/446085
251.10/247.69	c cleaning 7945 clauses out of 15919 with flag 65848/453087
255.50/252.04	c cleaning 7972 clauses out of 15972 with flag 102936/461085
260.50/257.07	c cleaning 8492 clauses out of 17000 with flag 145763/470085
265.88/262.43	c cleaning 9251 clauses out of 18509 with flag 188337/480086
271.67/268.29	c cleaning 10115 clauses out of 20257 with flag 236040/491085
278.41/274.97	c cleaning 11053 clauses out of 22142 with flag 288644/503085
285.80/282.31	c cleaning 12037 clauses out of 24089 with flag 360254/516085
293.39/289.99	c cleaning 13024 clauses out of 26053 with flag 445313/530086
302.58/299.12	c cleaning 14011 clauses out of 28029 with flag 540411/545086
312.36/308.94	c cleaning 15005 clauses out of 30018 with flag 633704/561086
322.75/319.34	c cleaning 16002 clauses out of 32012 with flag 721202/578085
324.94/321.58	c Got one! Elapsed wall clock time (in seconds):321.46
324.94/321.58	o 3732577
326.08/322.66	c cleaning 10987 clauses out of 21994 with flag 8639/584069
329.48/326.02	c cleaning 8489 clauses out of 17009 with flag 34776/590071
333.43/329.96	c cleaning 7746 clauses out of 15518 with flag 63464/597069
337.82/334.34	c cleaning 7878 clauses out of 15772 with flag 97465/605069
342.92/339.47	c cleaning 8438 clauses out of 16894 with flag 134074/614069
348.51/345.00	c cleaning 9223 clauses out of 18457 with flag 172433/624070
354.90/351.46	c cleaning 10101 clauses out of 20234 with flag 216180/635070
361.78/358.31	c cleaning 11056 clauses out of 22132 with flag 264572/647069
368.78/365.40	c cleaning 12031 clauses out of 24077 with flag 317144/660070
376.47/373.08	c cleaning 13009 clauses out of 26045 with flag 376370/674069
385.11/381.63	c cleaning 14006 clauses out of 28036 with flag 442505/689069
394.30/390.87	c cleaning 15008 clauses out of 30030 with flag 516109/705069
404.37/400.91	c cleaning 15998 clauses out of 32023 with flag 611754/722070
415.36/411.91	c cleaning 17008 clauses out of 34024 with flag 712652/740069
426.04/422.61	c cleaning 18000 clauses out of 36017 with flag 808522/759070
433.63/430.23	c Got one! Elapsed wall clock time (in seconds):430.112
433.63/430.23	o 3727544
436.65/433.28	c cleaning 18063 clauses out of 36149 with flag 25062/777202
440.62/436.98	c cleaning 12029 clauses out of 24084 with flag 53259/783200
444.59/440.96	c cleaning 9516 clauses out of 19055 with flag 88538/790200
448.86/445.26	c cleaning 8757 clauses out of 17539 with flag 127620/798200
454.06/450.41	c cleaning 8883 clauses out of 17784 with flag 174090/807202
460.24/456.61	c cleaning 9440 clauses out of 18900 with flag 227306/817201
466.43/462.80	c cleaning 10222 clauses out of 20459 with flag 284031/828200
468.14/464.53	c Got one! Elapsed wall clock time (in seconds):464.41
468.14/464.53	o 3713873
469.64/466.08	c cleaning 8001 clauses out of 16038 with flag 18263/834001
472.73/469.17	c cleaning 6996 clauses out of 14037 with flag 55390/840001
476.72/473.19	c cleaning 7010 clauses out of 14041 with flag 102284/847001
481.41/477.86	c cleaning 7506 clauses out of 15031 with flag 152540/855001
486.72/483.19	c cleaning 8252 clauses out of 16525 with flag 206405/864001
492.70/489.11	c cleaning 9130 clauses out of 18274 with flag 266856/874002
499.24/495.60	c cleaning 10065 clauses out of 20143 with flag 327476/885001
506.03/502.47	c cleaning 11031 clauses out of 22078 with flag 388718/897001
513.31/509.73	c cleaning 12023 clauses out of 24047 with flag 465030/910001
521.10/517.54	c cleaning 12994 clauses out of 26024 with flag 546035/924001
529.99/526.44	c cleaning 14010 clauses out of 28031 with flag 628222/939002
539.07/535.50	c cleaning 15000 clauses out of 30020 with flag 714092/955001
549.16/545.66	c cleaning 15994 clauses out of 32020 with flag 806154/972001
560.05/556.56	c cleaning 17004 clauses out of 34026 with flag 913132/990001
571.29/567.75	c cleaning 18005 clauses out of 36022 with flag 1018827/1009001
583.57/580.04	c cleaning 19003 clauses out of 38018 with flag 1144530/1029002
596.04/592.57	c cleaning 19998 clauses out of 40014 with flag 1269284/1050001
608.63/605.12	c cleaning 21003 clauses out of 42017 with flag 1381126/1072002
621.39/617.90	c cleaning 22003 clauses out of 44012 with flag 1494379/1095001
635.48/632.08	c cleaning 22995 clauses out of 46011 with flag 1623119/1119003
650.55/647.04	c cleaning 24005 clauses out of 48014 with flag 1754031/1144001
665.51/662.18	c cleaning 24996 clauses out of 50009 with flag 1880405/1170001
680.87/677.65	c cleaning 26004 clauses out of 52013 with flag 2011170/1197001
696.25/693.16	c cleaning 26998 clauses out of 54009 with flag 2140173/1225001
713.08/710.14	c cleaning 28001 clauses out of 56012 with flag 2284505/1254002
729.43/726.58	c Got one! Elapsed wall clock time (in seconds):726.462
729.43/726.58	o 3711054
732.30/729.42	c cleaning 30943 clauses out of 61909 with flag 32699/1287900
735.78/732.91	c cleaning 18475 clauses out of 36967 with flag 71343/1293901
739.64/736.80	c cleaning 12742 clauses out of 25491 with flag 110787/1300900
743.90/741.12	c cleaning 10350 clauses out of 20749 with flag 153525/1308900
748.86/746.12	c cleaning 9689 clauses out of 19399 with flag 196462/1317900
754.11/751.49	c cleaning 9847 clauses out of 19710 with flag 237793/1327900
759.86/757.29	c cleaning 10430 clauses out of 20863 with flag 286200/1338900
766.71/764.10	c cleaning 11205 clauses out of 22434 with flag 339244/1350901
774.13/771.66	c cleaning 12106 clauses out of 24228 with flag 404002/1363900
782.05/779.66	c cleaning 13053 clauses out of 26122 with flag 470613/1377900
790.87/788.58	c cleaning 14032 clauses out of 28070 with flag 546585/1392901
800.44/798.15	c cleaning 15011 clauses out of 30038 with flag 633249/1408901
810.44/808.20	c cleaning 16004 clauses out of 32026 with flag 734670/1425900
819.86/817.77	c cleaning 17001 clauses out of 34022 with flag 827980/1443900
830.96/828.93	c cleaning 17996 clauses out of 36021 with flag 913723/1462900
842.06/840.20	c cleaning 19010 clauses out of 38026 with flag 1016066/1482901
854.25/852.43	c cleaning 19998 clauses out of 40015 with flag 1120596/1503900
866.53/864.87	c cleaning 21000 clauses out of 42017 with flag 1226005/1525900
880.51/878.98	c cleaning 22006 clauses out of 44018 with flag 1336148/1548901
895.27/893.82	c cleaning 22993 clauses out of 46012 with flag 1464738/1572901
909.54/908.23	c cleaning 24006 clauses out of 48018 with flag 1599953/1597900
924.89/923.61	c cleaning 25003 clauses out of 50012 with flag 1726095/1623900
940.57/939.32	c cleaning 25998 clauses out of 52009 with flag 1840924/1650900
956.34/955.15	c cleaning 26991 clauses out of 54012 with flag 1971737/1678901
974.30/973.13	c cleaning 28009 clauses out of 56022 with flag 2110788/1707902
991.47/990.35	c cleaning 28997 clauses out of 58011 with flag 2234510/1737900
1008.64/1007.37	c cleaning 30003 clauses out of 60015 with flag 2381510/1768901
1026.81/1025.53	c cleaning 31001 clauses out of 62011 with flag 2537149/1800900
1045.58/1044.37	c cleaning 31998 clauses out of 64010 with flag 2682937/1833900
1065.74/1064.52	c cleaning 32991 clauses out of 66012 with flag 2828419/1867900
1086.80/1085.59	c cleaning 34003 clauses out of 68021 with flag 2981648/1902900
1107.96/1106.79	c cleaning 34998 clauses out of 70020 with flag 3135846/1938902
1110.56/1109.35	c Got one! Elapsed wall clock time (in seconds):1109.228
1110.56/1109.35	o 3705733
1111.06/1109.86	c cleaning 20276 clauses out of 40578 with flag 5746/1944458
1114.05/1112.84	c cleaning 13144 clauses out of 26303 with flag 42820/1950459
1117.64/1116.48	c cleaning 10068 clauses out of 20158 with flag 84892/1957458
1122.03/1120.80	c cleaning 9037 clauses out of 18090 with flag 129275/1965458
1127.12/1125.95	c cleaning 9016 clauses out of 18056 with flag 170273/1974461
1132.91/1131.71	c cleaning 9510 clauses out of 19037 with flag 216047/1984458
1138.90/1137.73	c cleaning 10265 clauses out of 20529 with flag 266317/1995460
1145.08/1143.99	c cleaning 11131 clauses out of 22262 with flag 314103/2007458
1152.66/1151.22	c cleaning 12061 clauses out of 24131 with flag 367240/2020458
1160.66/1159.24	c cleaning 13032 clauses out of 26070 with flag 428193/2034458
1168.94/1167.53	c cleaning 14013 clauses out of 28040 with flag 492877/2049460
1178.02/1176.64	c cleaning 15010 clauses out of 30031 with flag 563970/2065464
1187.70/1186.30	c cleaning 15979 clauses out of 32015 with flag 643479/2082458
1198.48/1197.17	c cleaning 17013 clauses out of 34036 with flag 727157/2100458
1210.06/1208.71	c cleaning 18002 clauses out of 36023 with flag 824449/2119458
1210.16/1208.87	c Got one! Elapsed wall clock time (in seconds):1208.748
1210.16/1208.87	o 3704554
1213.05/1211.78	c cleaning 11632 clauses out of 23287 with flag 27496/2124724
1216.64/1215.35	c cleaning 8815 clauses out of 17653 with flag 58095/2130722
1220.64/1219.38	c cleaning 7907 clauses out of 15838 with flag 92718/2137722
1225.13/1223.84	c cleaning 7956 clauses out of 15932 with flag 131831/2145723
1230.33/1229.06	c cleaning 8481 clauses out of 16975 with flag 179515/2154722
1235.91/1234.61	c cleaning 9247 clauses out of 18495 with flag 234305/2164723
1242.36/1241.08	c cleaning 10114 clauses out of 20247 with flag 299919/2175722
1249.04/1247.74	c cleaning 11065 clauses out of 22133 with flag 365263/2187722
1256.63/1255.33	c cleaning 12035 clauses out of 24070 with flag 439805/2200724
1264.42/1263.12	c cleaning 13017 clauses out of 26033 with flag 505082/2214722
1273.30/1272.01	c cleaning 13999 clauses out of 28016 with flag 584899/2229722
1282.49/1281.27	c cleaning 15004 clauses out of 30017 with flag 668490/2245722
1292.67/1291.48	c cleaning 16007 clauses out of 32014 with flag 762200/2262723
1303.06/1301.83	c cleaning 17002 clauses out of 34006 with flag 864218/2280722
1313.64/1312.42	c cleaning 18000 clauses out of 36006 with flag 976045/2299724
1324.83/1323.62	c cleaning 18997 clauses out of 38004 with flag 1095456/2319722
1337.51/1336.34	c cleaning 19998 clauses out of 40010 with flag 1210051/2340725
1350.20/1349.05	c cleaning 20997 clauses out of 42010 with flag 1322049/2362723
1363.97/1362.84	c cleaning 22002 clauses out of 44014 with flag 1454895/2385724
1378.65/1377.51	c cleaning 22995 clauses out of 46010 with flag 1589031/2409722
1393.64/1392.44	c cleaning 24001 clauses out of 48015 with flag 1725565/2434722
1407.23/1406.06	c cleaning 25004 clauses out of 50020 with flag 1860967/2460728
1421.80/1420.65	c cleaning 26001 clauses out of 52011 with flag 2004425/2487723
1437.37/1436.28	c cleaning 26996 clauses out of 54010 with flag 2156202/2515723
1454.65/1453.50	c cleaning 28006 clauses out of 56015 with flag 2329901/2544724
1471.81/1470.78	c cleaning 28992 clauses out of 58008 with flag 2474935/2574723
1489.39/1488.15	c cleaning 29997 clauses out of 60015 with flag 2619894/2605722
1507.95/1506.79	c cleaning 30998 clauses out of 62018 with flag 2801879/2637722
1527.12/1525.90	c cleaning 32006 clauses out of 64020 with flag 3002361/2670722
1547.18/1546.01	c cleaning 33004 clauses out of 66014 with flag 3186200/2704722
1567.94/1566.89	c cleaning 34005 clauses out of 68011 with flag 3361357/2739723
1588.30/1587.28	c cleaning 34986 clauses out of 70006 with flag 3538796/2775723
1609.84/1608.69	c cleaning 35998 clauses out of 72019 with flag 3715185/2812722
1632.41/1631.24	c cleaning 36994 clauses out of 74022 with flag 3893667/2850723
1655.46/1654.32	c cleaning 38008 clauses out of 76031 with flag 4082967/2889726
1677.53/1676.44	c cleaning 39000 clauses out of 78019 with flag 4304386/2929722
1701.89/1700.85	c cleaning 40000 clauses out of 80019 with flag 4573333/2970722
1726.05/1724.99	c cleaning 40995 clauses out of 82019 with flag 4786992/3012722
1751.62/1750.75	c cleaning 42002 clauses out of 84025 with flag 5009285/3055723
1778.88/1778.26	c cleaning 42996 clauses out of 86022 with flag 5248808/3099722
1807.95/1807.45	c cleaning 44006 clauses out of 88026 with flag 5495608/3144722
1835.31/1835.03	c cleaning 45003 clauses out of 90020 with flag 5750007/3190722
1864.13/1863.59	c cleaning 46000 clauses out of 92018 with flag 6020929/3237723
1893.47/1892.98	c cleaning 46997 clauses out of 94017 with flag 6295106/3285722
1922.83/1922.34	c cleaning 47998 clauses out of 96020 with flag 6558770/3334722
1952.46/1952.22	c cleaning 49003 clauses out of 98022 with flag 6865566/3384722
1983.52/1983.48	c cleaning 50002 clauses out of 100019 with flag 7197433/3435722
2014.80/2014.99	c cleaning 50996 clauses out of 102017 with flag 7488023/3487722
2045.85/2046.10	c cleaning 52002 clauses out of 104024 with flag 7770341/3540725
2078.51/2078.62	c cleaning 53005 clauses out of 106019 with flag 8078574/3594722
2111.26/2111.41	c cleaning 53999 clauses out of 108014 with flag 8405191/3649722
2144.19/2144.39	c cleaning 55007 clauses out of 110015 with flag 8672151/3705722
2177.53/2177.71	c cleaning 55996 clauses out of 112009 with flag 8965686/3762723
2211.78/2212.10	c cleaning 56994 clauses out of 114012 with flag 9279766/3820722
2246.53/2246.75	c cleaning 57996 clauses out of 116019 with flag 9608591/3879723
2281.47/2281.74	c cleaning 59004 clauses out of 118022 with flag 9928289/3939722
2315.71/2316.08	c cleaning 59991 clauses out of 120018 with flag 10255615/4000722
2351.62/2352.02	c cleaning 61002 clauses out of 122027 with flag 10613916/4062722
2390.80/2390.78	c cleaning 62005 clauses out of 124028 with flag 11005939/4125725
2427.88/2427.82	c cleaning 63005 clauses out of 126020 with flag 11365026/4189722
2465.84/2466.16	c cleaning 63998 clauses out of 128015 with flag 11668139/4254722
2498.64/2499.20	c Got one! Elapsed wall clock time (in seconds):2499.076
2498.64/2499.20	o 3702708
2501.90/2502.46	c cleaning 62605 clauses out of 125225 with flag 36668/4315930
2505.47/2506.09	c cleaning 34294 clauses out of 68621 with flag 77523/4321931
2509.64/2510.29	c cleaning 20642 clauses out of 41326 with flag 121212/4328930
2514.50/2515.16	c cleaning 14330 clauses out of 28685 with flag 173505/4336931
2519.94/2520.65	c cleaning 11663 clauses out of 23355 with flag 226916/4345931
2525.98/2526.71	c cleaning 10838 clauses out of 21692 with flag 274566/4355931
2532.22/2533.08	c cleaning 10922 clauses out of 21853 with flag 336812/4366930
2538.76/2539.68	c cleaning 11462 clauses out of 22931 with flag 399764/4378930
2546.49/2547.47	c cleaning 12226 clauses out of 24471 with flag 455866/4391932
2548.77/2549.74	c Got one! Elapsed wall clock time (in seconds):2549.623
2548.77/2549.74	o 3700026
2549.36/2550.31	c cleaning 8607 clauses out of 17273 with flag 6831/4396960
2552.83/2553.84	c cleaning 7298 clauses out of 14664 with flag 35909/4402958
2556.79/2557.88	c cleaning 7149 clauses out of 14366 with flag 63273/4409958
2561.25/2562.33	c cleaning 7597 clauses out of 15218 with flag 91058/4417959
2566.50/2567.64	c cleaning 8311 clauses out of 16621 with flag 125043/4426959
2572.09/2573.22	c cleaning 9141 clauses out of 18309 with flag 162973/4436958
2578.04/2579.22	c cleaning 10080 clauses out of 20168 with flag 206796/4447958
2584.68/2585.94	c cleaning 11038 clauses out of 22089 with flag 248349/4459959
2592.61/2593.91	c cleaning 12025 clauses out of 24052 with flag 299323/4472960
2601.22/2602.61	c cleaning 13005 clauses out of 26025 with flag 369947/4486958
2610.05/2611.58	c cleaning 14008 clauses out of 28021 with flag 432974/4501959
2619.47/2621.09	c cleaning 14999 clauses out of 30012 with flag 497130/4517958
2629.38/2631.07	c cleaning 16006 clauses out of 32013 with flag 567940/4534958
2638.99/2640.78	c cleaning 16990 clauses out of 34007 with flag 636383/4552958
2648.40/2650.21	c cleaning 18001 clauses out of 36017 with flag 700784/4571958
2659.11/2661.02	c cleaning 19007 clauses out of 38020 with flag 776284/4591962
2670.50/2672.55	c cleaning 20002 clauses out of 40009 with flag 855639/4612958
2683.77/2685.84	c cleaning 20996 clauses out of 42007 with flag 941801/4634958
2697.04/2699.20	c cleaning 21998 clauses out of 44012 with flag 1031571/4657959
2710.13/2712.44	c cleaning 22993 clauses out of 46014 with flag 1131082/4681959
2724.51/2726.99	c cleaning 23998 clauses out of 48020 with flag 1227438/4706958
2738.87/2741.46	c cleaning 25006 clauses out of 50022 with flag 1327698/4732958
2754.24/2756.97	c cleaning 26008 clauses out of 52017 with flag 1423866/4759959
2770.40/2773.29	c cleaning 26991 clauses out of 54008 with flag 1527408/4787958
2786.36/2789.22	c cleaning 27999 clauses out of 56017 with flag 1638399/4816958
2803.71/2806.72	c cleaning 29001 clauses out of 58019 with flag 1756444/4846959
2821.25/2824.47	c cleaning 30006 clauses out of 60019 with flag 1877319/4877960
2839.70/2843.07	c cleaning 30998 clauses out of 62011 with flag 2006108/4909958
2858.63/2862.13	c cleaning 31998 clauses out of 64015 with flag 2151702/4942960
2878.25/2881.99	c cleaning 33000 clauses out of 66019 with flag 2303575/4976962
2880.33/2884.03	c Got one! Elapsed wall clock time (in seconds):2883.914
2880.33/2884.03	o 3695182
2881.32/2885.07	c cleaning 19430 clauses out of 38890 with flag 7504/4982833
2883.81/2887.57	c Got one! Elapsed wall clock time (in seconds):2887.449
2883.81/2887.57	o 3690965
2884.30/2888.08	c cleaning 12416 clauses out of 24845 with flag 4610/4988218
2887.57/2891.37	c cleaning 9196 clauses out of 18429 with flag 28888/4994218
2891.43/2895.26	c cleaning 8110 clauses out of 16233 with flag 59943/5001218
2895.80/2899.67	c cleaning 8045 clauses out of 16123 with flag 91651/5009218
2900.65/2904.55	c cleaning 8535 clauses out of 17078 with flag 127187/5018218
2906.40/2910.39	c cleaning 9264 clauses out of 18545 with flag 167370/5028220
2913.38/2917.20	c cleaning 10134 clauses out of 20280 with flag 215274/5039219
2920.06/2923.91	c cleaning 11067 clauses out of 22145 with flag 265409/5051218
2927.45/2931.30	c cleaning 12026 clauses out of 24078 with flag 321373/5064218
2935.34/2939.26	c cleaning 13024 clauses out of 26052 with flag 383317/5078218
2943.93/2947.84	c cleaning 14007 clauses out of 28028 with flag 452591/5093218
2953.22/2957.12	c cleaning 15001 clauses out of 30021 with flag 527499/5109218
2963.49/2967.42	c cleaning 16009 clauses out of 32022 with flag 612974/5126220
2973.58/2977.58	c cleaning 16996 clauses out of 34011 with flag 696010/5144218
2985.06/2989.01	c cleaning 17998 clauses out of 36015 with flag 786766/5163218
2996.53/3000.52	c cleaning 18998 clauses out of 38017 with flag 873339/5183218
3008.62/3012.62	c cleaning 20000 clauses out of 40019 with flag 966151/5204218
3021.99/3026.08	c cleaning 21004 clauses out of 42021 with flag 1064199/5226220
3035.47/3039.67	c cleaning 22005 clauses out of 44015 with flag 1160301/5249218
3049.64/3053.91	c cleaning 23003 clauses out of 46010 with flag 1265007/5273218
3063.91/3068.31	c cleaning 23993 clauses out of 48008 with flag 1368213/5298219
3078.87/3083.46	c cleaning 24987 clauses out of 50015 with flag 1476727/5324219
3094.24/3098.95	c cleaning 26010 clauses out of 52027 with flag 1601752/5351218
3109.70/3114.59	c cleaning 27006 clauses out of 54017 with flag 1734691/5379218
3125.84/3130.82	c cleaning 27996 clauses out of 56011 with flag 1870157/5408218
3142.79/3147.95	c cleaning 29006 clauses out of 58015 with flag 2007269/5438218
3161.12/3166.22	c cleaning 30001 clauses out of 60010 with flag 2167920/5469219
3179.75/3185.08	c cleaning 31004 clauses out of 62009 with flag 2311409/5501219
3197.89/3203.39	c cleaning 31997 clauses out of 64005 with flag 2441109/5534219
3217.02/3222.69	c cleaning 32990 clauses out of 66007 with flag 2577968/5568218
3235.75/3241.59	c Got one! Elapsed wall clock time (in seconds):3241.471
3235.75/3241.59	o 3646061
3238.43/3244.21	c cleaning 35061 clauses out of 70138 with flag 22154/5605339
3241.71/3247.58	c cleaning 20533 clauses out of 41077 with flag 52519/5611339
3245.77/3251.62	c cleaning 13763 clauses out of 27544 with flag 85407/5618339
3250.52/3256.43	c cleaning 10877 clauses out of 21782 with flag 123968/5626340
3255.58/3261.53	c cleaning 9932 clauses out of 19904 with flag 165983/5635339
3261.42/3267.49	c cleaning 9987 clauses out of 19973 with flag 206131/5645340
3267.96/3274.05	c cleaning 10486 clauses out of 20985 with flag 254421/5656339
3274.71/3280.81	c cleaning 11240 clauses out of 22500 with flag 310191/5668340
3282.33/3288.57	c cleaning 12118 clauses out of 24261 with flag 377724/5681341
3290.56/3296.89	c cleaning 13067 clauses out of 26141 with flag 445872/5695339
3299.08/3305.43	c cleaning 14031 clauses out of 28074 with flag 510330/5710339
3307.80/3314.28	c cleaning 15022 clauses out of 30046 with flag 579197/5726342
3317.02/3323.56	c cleaning 16008 clauses out of 32021 with flag 651132/5743339
3322.17/3328.78	c Got one! Elapsed wall clock time (in seconds):3328.665
3322.17/3328.78	o 3639657
3324.84/3331.38	c cleaning 15047 clauses out of 30130 with flag 23418/5757456
3327.93/3334.49	c cleaning 10531 clauses out of 21083 with flag 52660/5763456
3331.82/3338.30	c cleaning 8751 clauses out of 17552 with flag 83396/5770456
3336.31/3342.83	c cleaning 8385 clauses out of 16801 with flag 116813/5778456
3341.62/3348.14	c cleaning 8700 clauses out of 17416 with flag 147039/5787456
3347.30/3353.88	c cleaning 9348 clauses out of 18716 with flag 182964/5797456
3353.69/3360.20	c cleaning 10179 clauses out of 20368 with flag 225129/5808456
3360.49/3367.01	c cleaning 11095 clauses out of 22189 with flag 270008/5820456
3367.87/3374.42	c cleaning 12048 clauses out of 24095 with flag 319063/5833457
3375.47/3382.07	c cleaning 13009 clauses out of 26047 with flag 370336/5847457
3383.95/3390.56	c cleaning 14013 clauses out of 28038 with flag 428889/5862457
3393.54/3400.11	c cleaning 15003 clauses out of 30027 with flag 494480/5878459
3403.42/3410.03	c cleaning 16007 clauses out of 32023 with flag 563569/5895458
3413.69/3420.38	c cleaning 16991 clauses out of 34014 with flag 635758/5913456
3424.27/3430.92	c cleaning 18008 clauses out of 36023 with flag 717103/5932456
3435.05/3441.74	c cleaning 19000 clauses out of 38015 with flag 800335/5952456
3446.22/3452.94	c cleaning 19986 clauses out of 40015 with flag 882652/5973456
3458.10/3464.89	c cleaning 21013 clauses out of 42031 with flag 975278/5995458
3470.57/3477.30	c cleaning 21992 clauses out of 44016 with flag 1069689/6018456
3483.84/3490.68	c cleaning 23006 clauses out of 46024 with flag 1166162/6042456
3497.21/3504.03	c cleaning 23996 clauses out of 48018 with flag 1260521/6067456
3511.76/3518.55	c cleaning 24994 clauses out of 50022 with flag 1365386/6093456
3516.36/3523.15	c Got one! Elapsed wall clock time (in seconds):3523.031
3516.36/3523.15	o 3634740
3518.85/3525.60	c cleaning 19090 clauses out of 38188 with flag 21243/6106616
3522.15/3528.91	c cleaning 12538 clauses out of 25095 with flag 49946/6112613
3526.14/3532.92	c cleaning 9766 clauses out of 19558 with flag 82875/6119614
3530.52/3537.39	c cleaning 8883 clauses out of 17792 with flag 121621/6127614
3535.22/3542.09	c cleaning 8931 clauses out of 17908 with flag 155467/6136613
3540.60/3547.43	c cleaning 9483 clauses out of 18977 with flag 195767/6146613
3546.58/3553.44	c cleaning 10246 clauses out of 20494 with flag 246066/6157613
3553.17/3560.06	c cleaning 11114 clauses out of 22248 with flag 297104/6169613
3560.17/3567.02	c cleaning 12065 clauses out of 24135 with flag 353476/6182614
3567.64/3574.53	c cleaning 13034 clauses out of 26069 with flag 410169/6196613
3575.73/3582.60	c cleaning 13999 clauses out of 28036 with flag 464954/6211614
3584.01/3590.96	c cleaning 15009 clauses out of 30036 with flag 529729/6227613
3593.29/3600.25	c cleaning 16015 clauses out of 32029 with flag 602663/6244615
3600.08/3607.01	c starts		: 6426
3600.08/3607.03	c conflicts		: 6257252
3600.08/3607.03	c decisions		: 18861829
3600.08/3607.03	c propagations		: 4073868233
3600.08/3607.03	c inspects		: 17297354636
3600.08/3607.03	c shortcuts		: 0
3600.08/3607.03	c learnt literals	: 47
3600.08/3607.03	c learnt binary clauses	: 252
3600.08/3607.03	c learnt ternary clauses	: 216
3600.08/3607.03	c learnt constraints	: 6257205
3600.08/3607.03	c ignored constraints	: 0
3600.08/3607.03	c root simplifications	: 0
3600.08/3607.03	c removed literals (reason simplification)	: 0
3600.08/3607.03	c reason swapping (by a shorter reason)	: 0
3600.08/3607.03	c Calls to reduceDB	: 323
3600.08/3607.03	c Number of update (reduction) of LBD	: 2204387
3600.08/3607.03	c Imported unit clauses	: 0
3600.08/3607.03	c No decision after first conflict	: false
3600.08/3607.03	c number of reductions to clauses (during analyze)	: 0
3600.08/3607.03	c number of learned constraints concerned by reduction	: 0
3600.08/3607.03	c number of learning phase by resolution	: 0
3600.08/3607.03	c number of learning phase by cutting planes	: 0
3600.08/3607.03	c number of rounding to 1 operations	: 0
3600.08/3607.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3607.03	c number of reductions of the coefficients by power 2 	: 0
3600.08/3607.03	c number of right shift for reduction by power 2 	: 0
3600.08/3607.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3607.03	c number of ending skipping 	: 0
3600.08/3607.03	c number of internal skipping 	: 0
3600.08/3607.03	c number of derivation steps 	: 0
3600.08/3607.03	c number of skipped derivation steps 	: 0
3600.08/3607.03	c number of remaining unassigned 	: 0
3600.08/3607.03	c number of remaining assigned 	: 0
3600.08/3607.03	c number of falsified literals weakened from reason	: 0
3600.08/3607.03	c number of falsified literals weakened from conflict	: 0
3600.08/3607.03	c time for arithmetic operations	: 0
3600.08/3607.03	c minimum degree of deleted constraints	: null
3600.08/3607.03	c maximum degree of deleted constraints	: null
3600.08/3607.03	c number of deleted constraints	: 0
3600.08/3607.03	c speed (assignments/second)	: 1129623.7274684908
3600.08/3607.03	c non guided choices	: 13393
3600.08/3607.05	c timeout
3600.08/3607.05	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.08/3607.05		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.08/3607.05		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.08/3607.05		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.08/3607.05		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.08/3607.05		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.08/3607.05		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.08/3607.05		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61065 MiB free)
  memory of node 1: 64473 MiB (60196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432490-1721143354/watcher-4432490-1721143354 -o /tmp/evaluation-result-4432490-1721143354/solver-4432490-1721143354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861246 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432490-1721143354.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=863487, runsolver pid=863484
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.36 4.33 4.24 5/330 863505
/proc/meminfo: memFree=124129536/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=18975048 memory=63924 CPUtime=0.13 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 7085 0 0 0 12 1 0 0 20 0 18 0 166499262 19430449152 15981 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4743762 15981 5541 1 0 549322 0
[pid=863487/tid=863489] ppid=863484 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 5658 0 0 0 7 1 0 0 20 0 18 0 166499262 19430449152 15992 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 15992 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 15992 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63924 KiB

[startup+0.208145 s]*
/proc/loadavg: 4.36 4.33 4.24 7/330 863505
/proc/meminfo: memFree=124107444/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=18975048 memory=87140 CPUtime=0.34 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 9261 0 0 0 32 2 0 0 20 0 18 0 166499262 19430449152 21785 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4743762 21785 5823 1 0 550745 0
[pid=863487/tid=863489] ppid=863484 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 5836 0 0 0 18 1 0 0 20 0 18 0 166499262 19430449152 22297 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=18975048 memory=3640 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 22297 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 22297 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87140 KiB

[startup+0.306815 s]*
/proc/loadavg: 4.36 4.33 4.24 6/330 863505
/proc/meminfo: memFree=124075128/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=18975048 memory=121604 CPUtime=0.52 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 9666 0 0 0 50 2 0 0 20 0 18 0 166499262 19430449152 30401 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4743762 30401 5823 1 0 550958 0
[pid=863487/tid=863489] ppid=863484 vsize=18975048 memory=-8887122042593583804 CPUtime=0.29 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 5873 0 0 0 27 2 0 0 20 0 18 0 166499262 19430449152 30401 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 30401 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166499265 19430449152 30401 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 121604 KiB

[startup+0.700845 s]
/proc/loadavg: 4.49 4.36 4.25 7/331 863506
/proc/meminfo: memFree=124018264/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19110276 memory=206040 CPUtime=1.29 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 16817 0 0 0 124 5 0 0 20 0 20 0 166499262 19568922624 51510 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777569 51510 5876 1 0 556267 0
[pid=863487/tid=863489] ppid=863484 vsize=19110276 memory=5496 CPUtime=0.61 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 6014 0 0 0 58 3 0 0 20 0 20 0 166499262 19568922624 51510 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19110276 memory=12180 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19568922624 51510 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19110276 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166499265 19568922624 51510 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19110276 KiB
Current children cumulated memory: 206040 KiB

[startup+1.50082 s]
/proc/loadavg: 4.49 4.36 4.25 6/332 863507
/proc/meminfo: memFree=123985956/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=209116 CPUtime=2.87 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 18719 0 0 0 282 5 0 0 20 0 20 0 166499262 19566772224 52279 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 52279 5908 1 0 556792 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=12180 CPUtime=1.38 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 6022 0 0 0 135 3 0 0 20 0 20 0 166499262 19566772224 52279 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 52279 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 52279 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 52279 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209116 KiB

[startup+3.10575 s]
/proc/loadavg: 4.49 4.36 4.25 5/332 863507
/proc/meminfo: memFree=123939036/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=210660 CPUtime=5.27 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 24428 0 0 0 521 6 0 0 20 0 20 0 166499262 19566772224 52665 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 52665 5908 1 0 557127 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=0 CPUtime=2.98 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 6846 0 0 0 295 3 0 0 20 0 20 0 166499262 19566772224 52665 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 52665 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 52665 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 52665 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210660 KiB

[startup+6.30028 s]
/proc/loadavg: 4.45 4.36 4.24 6/332 863507
/proc/meminfo: memFree=123884676/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=206784 CPUtime=8.8 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 30866 0 0 0 873 7 0 0 20 0 20 0 166499262 19566772224 51696 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 51696 5924 1 0 557380 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=0 CPUtime=6.16 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 7899 0 0 0 613 3 0 0 20 0 20 0 166499262 19566772224 51696 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 51696 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 51696 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=42176 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 51696 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 206784 KiB

[startup+12.7003 s]
/proc/loadavg: 4.41 4.35 4.24 5/332 863508
/proc/meminfo: memFree=123715524/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=207328 CPUtime=15.77 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 37127 0 0 0 1568 9 0 0 20 0 20 0 166499262 19566772224 51832 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 51832 5924 1 0 557412 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=206936 CPUtime=12.55 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 9012 0 0 0 1252 3 0 0 20 0 20 0 166499262 19566772224 51832 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=207328 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 51832 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=210660 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 51832 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 51832 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 15.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207328 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 4.35 4.25 5/332 863510
/proc/meminfo: memFree=123601232/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=271648 CPUtime=28.79 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 43985 0 0 0 2867 12 0 0 20 0 20 0 166499262 19566772224 67912 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 67912 5940 1 0 557412 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=207328 CPUtime=25.24 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 10669 0 0 0 2520 4 0 0 20 0 20 0 166499262 19566772224 67912 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=226388 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 67912 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 67912 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 67912 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 271648 KiB

[startup+51.1059 s]
/proc/loadavg: 4.39 4.35 4.25 5/332 863515
/proc/meminfo: memFree=123450248/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=321088 CPUtime=54.47 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 51512 0 0 0 5433 14 0 0 20 0 20 0 166499262 19566772224 80272 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 80272 5945 1 0 557412 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=271784 CPUtime=50.72 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 12831 0 0 0 5068 4 0 0 20 0 20 0 166499262 19566772224 80272 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=271784 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 80272 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=99076424/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3216.72 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 203642 0 0 0 321493 179 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568672 5960 1 0 581728 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=-8621784606586028186 CPUtime=3200.46 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 72584 0 0 0 320018 28 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 2894 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3216.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/330 865293
/proc/meminfo: memFree=98482740/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3276.19 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 204848 0 0 0 327437 182 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568672 5960 1 0 581728 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3259.89 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 73507 0 0 0 325961 28 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 2973 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3276.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/330 865304
/proc/meminfo: memFree=97640624/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3335.82 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 207729 0 0 0 333399 183 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568672 5960 1 0 581728 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=16152 CPUtime=3319.29 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 74912 0 0 0 331901 28 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3065 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3335.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/330 865314
/proc/meminfo: memFree=97608808/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3395.73 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 207925 0 0 0 339387 186 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568672 5960 1 0 581728 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=16152 CPUtime=3379.17 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 75103 0 0 0 337889 28 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3065 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3395.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.25 4.20 7/332 865395
/proc/meminfo: memFree=106435360/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3455.61 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 209033 0 0 0 345373 188 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568672 5960 1 0 581728 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=16152 CPUtime=3439.02 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 75963 0 0 0 343874 28 0 0 20 0 20 0 166499262 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3157 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568672 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3455.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.54 4.32 4.23 5/333 865407
/proc/meminfo: memFree=106183616/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274696 CPUtime=3515.56 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 210874 0 0 0 351368 188 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568674 5960 1 0 581744 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=2274688 CPUtime=3498.78 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 76357 0 0 0 349849 29 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=2274688 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3157 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=42176 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3515.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.46 4.35 4.24 5/334 865554
/proc/meminfo: memFree=122470968/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274696 CPUtime=3575.43 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 212357 0 0 0 357353 190 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568674 5960 1 0 581744 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=42176 CPUtime=3558.63 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 77638 0 0 0 355834 29 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3253 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607 s]*
/proc/loadavg: 4.30 4.32 4.24 5/334 865558
/proc/meminfo: memFree=122191412/131524600 swapFree=131071996/131071996
[pid=863487] ppid=863484 vsize=19108176 memory=2274696 CPUtime=3600.08 cores=4,6
/proc/863487/stat : 863487 (java) S 863484 863487 861235 0 -1 1077936128 212510 0 0 0 359818 190 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
/proc/863487/statm: 4777044 568674 5960 1 0 581744 0
[pid=863487/tid=863489] ppid=863484 vsize=19108176 memory=-8960867378390213308 CPUtime=3583.28 cores=4,6
/proc/863487/task/863489/stat : 863489 (java) R 863484 863487 861235 0 -1 4194368 77788 0 0 0 358299 29 0 0 20 0 20 0 166499262 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863498] ppid=863484 vsize=19108176 memory=580040 CPUtime=0 cores=4,6
/proc/863487/task/863498/stat : 863498 (Finalizer) S 863484 863487 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863505] ppid=863484 vsize=19108176 memory=2612 CPUtime=0 cores=4,6
/proc/863487/task/863505/stat : 863505 (Common-Cleaner) S 863484 863487 861235 0 -1 1077936192 3253 0 0 0 0 0 0 0 20 0 20 0 166499265 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
[pid=863487/tid=863507] ppid=863484 vsize=19108176 memory=4800 CPUtime=0 cores=4,6
/proc/863487/task/863507/stat : 863507 (Timer-0) S 863484 863487 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166499326 19566772224 568674 134679101440 93955403272192 93955403275888 140732338486160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93955403283704 93955403284496 93955428970496 140732338488327 140732338488417 140732338488417 140732338495432 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2274696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.27 s, system=1.91537 s

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

Child status: 143

Real time (s): 3607.06
CPU time (s): 3600.18
CPU user time (s): 3598.27
CPU system time (s): 1.91537
CPU usage (%): 99.8092
Max. virtual memory (cumulated for all children) (KiB): 19110276
Max. memory (cumulated for all children) (KiB): 2274696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.27
system time used= 1.91537
maximum resident set size= 2276264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215406
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108172
involuntary context switches= 18599


# summary of solver processes directly reported to runsolver:
#   pid: 863487
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.27
#   total CPU system time (s): 1.91537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66208 second user time and 17.8744 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 17:22:47
IDJOB=4432490
IDBENCH=155650
IDSOLVER=3058
FILE ID=nodeC021/4432490-1721143354
RUNJOBID= nodeC021-1721139796-861246
SLURM_JOB_ID= 7505719
Free space on /tmp= 890024 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432490-1721143354/watcher-4432490-1721143354 -o /tmp/evaluation-result-4432490-1721143354/solver-4432490-1721143354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861246 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432490-1721143354.opb

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

MD5SUM BENCH= 22685a6d8447b8be1a49f22723e48d9b
RANDOM SEED=1806612862

nodeC021.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		: 3618.003
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.42
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		: 3641.779
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.784
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.42
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		: 3599.909
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.686
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.42
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		: 3641.816
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.906
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.42
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		: 3599.706
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124173068 kB
MemAvailable:   127559692 kB
Buffers:          419536 kB
Cached:          3768660 kB
SwapCached:            0 kB
Active:           823732 kB
Inactive:        5845272 kB
Active(anon):       1560 kB
Inactive(anon):  2517332 kB
Active(file):     822172 kB
Inactive(file):  3327940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30592 kB
Writeback:             0 kB
AnonPages:       2480276 kB
Mapped:           124400 kB
Shmem:             37720 kB
KReclaimable:     152668 kB
Slab:             268208 kB
SReclaimable:     152668 kB
SUnreclaim:       115540 kB
KernelStack:        5088 kB
PageTables:        14728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   16361884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63168 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2197504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC021 at 2024-07-16 18:22:54