Trace number 4486295

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 VeriPB 2025-06-06SAT (TO)176 3600.32 3600.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3586.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
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.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4486295-1751322192.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  objective function found
0.51/0.38	c ... done. Wall clock time 0.245s.
0.51/0.38	c declared #vars     1344
0.51/0.38	c #constraints  16376
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
0.51/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
0.51/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
0.51/0.38	c 16376 constraints processed.
0.51/0.40	c objective function length is 448 literals
1.09/0.66	c SATISFIABLE
1.09/0.66	c OPTIMIZING...
1.09/0.66	c Got one! Elapsed wall clock time (in seconds):0.534
1.09/0.66	o 176
2.45/1.33	c cleaning 2527 clauses out of 5060 with flag 12660/5060
3.25/1.78	c cleaning 4264 clauses out of 8536 with flag 25800/11063
4.22/2.27	c cleaning 5633 clauses out of 11269 with flag 41042/18060
5.00/2.71	c cleaning 6814 clauses out of 13636 with flag 58208/26060
5.60/3.24	c cleaning 7911 clauses out of 15823 with flag 78157/35061
6.25/3.78	c cleaning 8955 clauses out of 17911 with flag 100890/45060
6.95/4.42	c cleaning 9976 clauses out of 19956 with flag 125834/56060
7.74/5.15	c cleaning 10990 clauses out of 21980 with flag 153981/68060
8.53/5.94	c cleaning 11988 clauses out of 23990 with flag 184802/81060
9.35/6.72	c cleaning 12997 clauses out of 26002 with flag 218011/95060
10.15/7.54	c cleaning 14002 clauses out of 28005 with flag 254020/110060
11.06/8.43	c cleaning 15000 clauses out of 30003 with flag 293224/126060
12.08/9.44	c cleaning 15995 clauses out of 32005 with flag 335264/143062
13.42/10.71	c cleaning 17001 clauses out of 34009 with flag 378338/161061
14.72/12.03	c cleaning 17999 clauses out of 36007 with flag 426694/180060
16.11/13.41	c cleaning 19000 clauses out of 38010 with flag 479354/200062
17.60/14.96	c cleaning 19999 clauses out of 40008 with flag 534913/221060
19.30/16.62	c cleaning 20996 clauses out of 42009 with flag 596882/243060
21.30/18.60	c cleaning 22000 clauses out of 44014 with flag 662523/266061
23.00/20.32	c cleaning 23004 clauses out of 46016 with flag 725721/290063
24.68/22.08	c cleaning 23998 clauses out of 48010 with flag 796374/315061
26.48/23.89	c cleaning 25006 clauses out of 50011 with flag 872452/341060
28.47/25.88	c cleaning 26003 clauses out of 52005 with flag 942746/368060
30.27/27.65	c cleaning 26996 clauses out of 54003 with flag 1016517/396061
32.18/29.55	c cleaning 27996 clauses out of 56006 with flag 1096268/425060
34.18/31.56	c cleaning 28999 clauses out of 58012 with flag 1177741/455062
36.28/33.61	c cleaning 30005 clauses out of 60012 with flag 1267733/486061
38.80/36.15	c cleaning 30999 clauses out of 62007 with flag 1358719/518061
41.18/38.56	c cleaning 31998 clauses out of 64007 with flag 1453733/551060
43.89/41.20	c cleaning 33005 clauses out of 66013 with flag 1550330/585064
46.20/43.56	c cleaning 33996 clauses out of 68004 with flag 1646405/620060
48.82/46.12	c cleaning 34997 clauses out of 70009 with flag 1747731/656061
52.01/49.39	c cleaning 36004 clauses out of 72011 with flag 1855488/693060
54.83/52.11	c cleaning 37002 clauses out of 74007 with flag 1966786/731060
58.01/55.30	c cleaning 38003 clauses out of 76005 with flag 2080972/770060
60.83/58.19	c cleaning 38998 clauses out of 78002 with flag 2193614/810060
64.02/61.31	c cleaning 39988 clauses out of 80004 with flag 2307383/851060
67.72/65.02	c cleaning 41003 clauses out of 82016 with flag 2426032/893060
71.34/68.63	c cleaning 41993 clauses out of 84013 with flag 2552263/936060
75.53/72.81	c cleaning 42998 clauses out of 86020 with flag 2682940/980060
79.23/76.54	c cleaning 44001 clauses out of 88022 with flag 2818443/1025060
83.65/80.98	c cleaning 45007 clauses out of 90021 with flag 2951712/1071060
87.94/85.27	c cleaning 46002 clauses out of 92014 with flag 3090823/1118060
92.16/89.45	c cleaning 47004 clauses out of 94016 with flag 3237432/1166064
96.88/94.12	c cleaning 48001 clauses out of 96008 with flag 3385785/1215060
101.26/98.58	c cleaning 49002 clauses out of 98007 with flag 3537812/1265060
106.06/103.39	c cleaning 49996 clauses out of 100006 with flag 3696803/1316061
111.27/108.54	c cleaning 51001 clauses out of 102010 with flag 3857833/1368061
117.28/114.58	c cleaning 51998 clauses out of 104009 with flag 4022535/1421061
122.67/119.96	c cleaning 52997 clauses out of 106010 with flag 4192816/1475060
127.80/125.06	c cleaning 54002 clauses out of 108015 with flag 4365587/1530062
132.45/129.58	c cleaning 54996 clauses out of 110012 with flag 4531912/1586061
136.78/133.89	c cleaning 56005 clauses out of 112017 with flag 4714545/1643062
141.02/138.05	c cleaning 57001 clauses out of 114010 with flag 4935552/1701060
146.35/143.30	c cleaning 58001 clauses out of 116009 with flag 5162734/1760060
152.18/149.19	c cleaning 59000 clauses out of 118008 with flag 5387671/1820060
157.79/154.77	c cleaning 60000 clauses out of 120009 with flag 5610399/1881061
162.62/159.54	c cleaning 61001 clauses out of 122011 with flag 5845457/1943063
167.35/164.22	c cleaning 61994 clauses out of 124007 with flag 6119436/2006060
172.34/169.07	c cleaning 63006 clauses out of 126013 with flag 6310170/2070060
177.26/173.97	c cleaning 64000 clauses out of 128007 with flag 6529041/2135060
182.47/179.10	c cleaning 65002 clauses out of 130011 with flag 6757325/2201064
187.83/184.40	c cleaning 65999 clauses out of 132005 with flag 6978510/2268060
193.35/189.93	c cleaning 66997 clauses out of 134006 with flag 7199502/2336060
199.37/195.90	c cleaning 68005 clauses out of 136010 with flag 7437781/2405061
205.32/201.86	c cleaning 68992 clauses out of 138004 with flag 7691684/2475060
210.67/207.12	c cleaning 70004 clauses out of 140013 with flag 7941812/2546061
216.77/213.21	c cleaning 71000 clauses out of 142008 with flag 8199251/2618060
222.63/219.02	c cleaning 71996 clauses out of 144008 with flag 8463571/2691060
228.74/225.13	c cleaning 73001 clauses out of 146013 with flag 8732269/2765061
235.59/231.91	c cleaning 74007 clauses out of 148013 with flag 8987633/2840062
241.93/238.25	c cleaning 74990 clauses out of 150004 with flag 9249408/2916060
248.39/244.69	c cleaning 76003 clauses out of 152014 with flag 9509878/2993060
254.93/251.11	c cleaning 77000 clauses out of 154012 with flag 9792716/3071061
263.30/259.33	c cleaning 77993 clauses out of 156011 with flag 10162363/3150060
269.33/265.37	c cleaning 79001 clauses out of 158020 with flag 10453628/3230062
275.68/271.67	c cleaning 80003 clauses out of 160018 with flag 10749616/3311061
282.67/278.62	c cleaning 81007 clauses out of 162017 with flag 11043984/3393063
289.42/285.37	c cleaning 82001 clauses out of 164007 with flag 11342781/3476060
296.59/292.49	c cleaning 83001 clauses out of 166006 with flag 11656722/3560060
304.30/300.13	c cleaning 84001 clauses out of 168007 with flag 11974681/3645062
311.55/307.34	c cleaning 84995 clauses out of 170004 with flag 12274022/3731060
318.77/314.54	c cleaning 85998 clauses out of 172010 with flag 12564743/3818061
327.61/323.36	c cleaning 87001 clauses out of 174011 with flag 12846047/3906060
335.73/331.47	c cleaning 87998 clauses out of 176011 with flag 13112136/3995061
344.69/340.39	c cleaning 88998 clauses out of 178012 with flag 13398811/4085060
352.97/348.57	c cleaning 89998 clauses out of 180014 with flag 13688736/4176060
361.59/357.18	c cleaning 91001 clauses out of 182016 with flag 13981622/4268060
370.42/365.98	c cleaning 92001 clauses out of 184015 with flag 14268750/4361060
378.72/374.15	c cleaning 93003 clauses out of 186014 with flag 14567096/4455060
387.74/383.13	c cleaning 94003 clauses out of 188012 with flag 14881541/4550061
397.49/392.85	c cleaning 95002 clauses out of 190009 with flag 15153782/4646061
407.57/402.83	c cleaning 95999 clauses out of 192006 with flag 15475341/4743060
416.73/411.98	c cleaning 97000 clauses out of 194007 with flag 15796525/4841060
426.34/421.54	c cleaning 97996 clauses out of 196007 with flag 16141489/4940060
435.87/431.01	c cleaning 99002 clauses out of 198011 with flag 16549631/5040060
446.06/441.12	c cleaning 99998 clauses out of 200009 with flag 16910020/5141060
455.69/450.75	c cleaning 100997 clauses out of 202012 with flag 17232987/5243061
467.32/462.37	c cleaning 102005 clauses out of 204014 with flag 17582379/5346060
479.24/474.20	c cleaning 102996 clauses out of 206009 with flag 17958862/5450060
490.42/485.35	c cleaning 103999 clauses out of 208013 with flag 18294196/5555060
502.24/497.11	c cleaning 105004 clauses out of 210015 with flag 18609328/5661061
514.15/509.02	c cleaning 105997 clauses out of 212010 with flag 18943773/5768060
525.32/520.12	c cleaning 107002 clauses out of 214015 with flag 19276035/5876062
538.09/532.69	c cleaning 107999 clauses out of 216011 with flag 19641194/5985060
549.79/544.27	c cleaning 109002 clauses out of 218012 with flag 20042142/6095060
561.23/555.68	c cleaning 110002 clauses out of 220011 with flag 20444269/6206061
572.57/567.00	c cleaning 111000 clauses out of 222008 with flag 20893519/6318060
584.38/578.72	c cleaning 112002 clauses out of 224010 with flag 21347219/6431062
597.92/592.20	c cleaning 112993 clauses out of 226006 with flag 21752709/6545060
608.87/603.11	c cleaning 114004 clauses out of 228013 with flag 22097912/6660060
618.53/612.75	c cleaning 115000 clauses out of 230010 with flag 22433067/6776061
628.67/622.83	c cleaning 116000 clauses out of 232009 with flag 22794060/6893060
641.64/635.71	c cleaning 116999 clauses out of 234009 with flag 23150432/7011060
652.80/646.90	c cleaning 117999 clauses out of 236012 with flag 23486504/7130062
665.94/659.97	c cleaning 119002 clauses out of 238012 with flag 23870096/7250061
680.78/674.71	c cleaning 119998 clauses out of 240009 with flag 24289832/7371060
693.70/687.59	c cleaning 120995 clauses out of 242012 with flag 24678198/7493061
706.12/699.95	c cleaning 121996 clauses out of 244016 with flag 25081387/7616060
717.76/711.54	c cleaning 123001 clauses out of 246020 with flag 25457473/7740060
732.45/726.15	c cleaning 124005 clauses out of 248022 with flag 25880969/7865063
746.80/740.45	c cleaning 124998 clauses out of 250014 with flag 26347559/7991060
761.39/754.90	c cleaning 125991 clauses out of 252016 with flag 26805409/8118060
775.21/768.77	c cleaning 127006 clauses out of 254028 with flag 27223464/8246063
792.07/785.51	c cleaning 128004 clauses out of 256020 with flag 27722569/8375061
806.47/799.84	c cleaning 128999 clauses out of 258016 with flag 28176819/8505061
823.49/816.82	c cleaning 130003 clauses out of 260017 with flag 28726642/8636061
838.65/831.99	c cleaning 131001 clauses out of 262014 with flag 29188959/8768061
855.75/848.95	c cleaning 132002 clauses out of 264012 with flag 29665003/8901060
869.65/862.80	c cleaning 133004 clauses out of 266011 with flag 30139314/9035061
887.68/880.86	c cleaning 133996 clauses out of 268006 with flag 30668281/9170060
903.84/896.96	c cleaning 135000 clauses out of 270010 with flag 31160972/9306060
923.36/916.40	c cleaning 135999 clauses out of 272010 with flag 31720877/9443060
939.90/932.74	c cleaning 136997 clauses out of 274011 with flag 32219667/9581060
959.36/952.19	c cleaning 138004 clauses out of 276014 with flag 32727323/9720060
978.53/971.25	c cleaning 139001 clauses out of 278010 with flag 33282619/9860060
994.25/986.96	c cleaning 139998 clauses out of 280009 with flag 33790870/10001060
1010.90/1003.50	c cleaning 141005 clauses out of 282013 with flag 34282659/10143062
1027.22/1019.87	c cleaning 141993 clauses out of 284007 with flag 34809162/10286061
1045.11/1037.76	c cleaning 143004 clauses out of 286014 with flag 35398770/10430061
1061.69/1054.26	c cleaning 144002 clauses out of 288009 with flag 35953300/10575060
1081.50/1074.07	c cleaning 145000 clauses out of 290009 with flag 36500253/10721062
1096.48/1088.93	c cleaning 145996 clauses out of 292007 with flag 36993467/10868060
1114.33/1106.77	c cleaning 147002 clauses out of 294011 with flag 37502280/11016060
1132.50/1124.84	c cleaning 148000 clauses out of 296009 with flag 38042686/11165060
1152.07/1144.45	c cleaning 149000 clauses out of 298010 with flag 38590591/11315061
1173.02/1165.38	c cleaning 150003 clauses out of 300010 with flag 39176386/11466061
1191.68/1183.98	c cleaning 150998 clauses out of 302006 with flag 39710479/11618060
1213.00/1205.26	c cleaning 152000 clauses out of 304008 with flag 40256467/11771060
1234.30/1226.56	c cleaning 153002 clauses out of 306009 with flag 40820574/11925061
1254.05/1246.29	c cleaning 154003 clauses out of 308007 with flag 41362437/12080061
1273.11/1265.20	c cleaning 154997 clauses out of 310003 with flag 41895734/12236060
1294.51/1286.62	c cleaning 155994 clauses out of 312006 with flag 42465393/12393060
1313.86/1305.93	c cleaning 157002 clauses out of 314014 with flag 43011718/12551062
1334.70/1326.73	c cleaning 157994 clauses out of 316010 with flag 43573532/12710060
1353.07/1345.04	c cleaning 158999 clauses out of 318016 with flag 44132216/12870060
1371.71/1363.63	c cleaning 160002 clauses out of 320018 with flag 44665915/13031061
1394.98/1386.86	c cleaning 161004 clauses out of 322017 with flag 45253444/13193062
1416.32/1408.08	c cleaning 162001 clauses out of 324013 with flag 45861803/13356062
1437.44/1429.10	c cleaning 163000 clauses out of 326010 with flag 46431846/13520060
1458.80/1450.48	c cleaning 164001 clauses out of 328011 with flag 47014237/13685061
1481.61/1473.66	c cleaning 165003 clauses out of 330011 with flag 47612330/13851062
1503.28/1495.41	c cleaning 165999 clauses out of 332007 with flag 48179550/14018061
1524.50/1516.73	c cleaning 166992 clauses out of 334007 with flag 48739681/14186060
1550.27/1542.27	c cleaning 168003 clauses out of 336017 with flag 49333688/14355062
1572.06/1564.01	c cleaning 169002 clauses out of 338012 with flag 49909772/14525060
1596.00/1588.06	c cleaning 170003 clauses out of 340011 with flag 50507861/14696061
1624.03/1616.46	c cleaning 171003 clauses out of 342010 with flag 51131832/14868063
1649.04/1641.86	c cleaning 171996 clauses out of 344004 with flag 51755304/15041060
1676.57/1669.41	c cleaning 172999 clauses out of 346009 with flag 52412920/15215061
1704.47/1697.47	c cleaning 174002 clauses out of 348011 with flag 53089526/15390062
1727.92/1720.82	c cleaning 174999 clauses out of 350007 with flag 53718743/15566060
1753.21/1746.27	c cleaning 176003 clauses out of 352012 with flag 54381955/15743064
1777.58/1770.67	c cleaning 176996 clauses out of 354005 with flag 55090595/15921060
1803.24/1796.31	c cleaning 177997 clauses out of 356010 with flag 55811281/16100061
1829.23/1822.42	c cleaning 179006 clauses out of 358013 with flag 56488228/16280061
1851.43/1844.50	c cleaning 179993 clauses out of 360007 with flag 57106098/16461061
1877.17/1870.31	c cleaning 181000 clauses out of 362014 with flag 57770427/16643061
1899.48/1892.75	c cleaning 182002 clauses out of 364013 with flag 58417900/16826060
1931.63/1926.38	c cleaning 183001 clauses out of 366011 with flag 59160546/17010060
1956.06/1950.80	c cleaning 183998 clauses out of 368011 with flag 59821616/17195061
1979.90/1974.64	c cleaning 184998 clauses out of 370012 with flag 60496269/17381060
2002.83/1997.67	c cleaning 185998 clauses out of 372014 with flag 61176985/17568060
2025.66/2020.26	c cleaning 187008 clauses out of 374016 with flag 61844007/17756060
2052.83/2047.49	c cleaning 188002 clauses out of 376009 with flag 62551242/17945061
2077.89/2072.57	c cleaning 188997 clauses out of 378006 with flag 63291240/18135060
2099.06/2093.60	c cleaning 190000 clauses out of 380009 with flag 63994484/18326060
2124.16/2118.85	c cleaning 190998 clauses out of 382010 with flag 64716636/18518061
2150.48/2145.25	c cleaning 191998 clauses out of 384013 with flag 65436758/18711062
2179.81/2174.66	c cleaning 193003 clauses out of 386013 with flag 66190465/18905060
2201.93/2196.72	c cleaning 193995 clauses out of 388010 with flag 66939156/19100060
2225.61/2220.34	c cleaning 195003 clauses out of 390016 with flag 67684614/19296061
2257.83/2252.67	c cleaning 196002 clauses out of 392014 with flag 68511820/19493062
2284.09/2278.86	c cleaning 196997 clauses out of 394011 with flag 69292363/19691061
2312.79/2307.11	c cleaning 198004 clauses out of 396014 with flag 70029384/19890061
2343.35/2337.72	c cleaning 198998 clauses out of 398009 with flag 70789593/20090060
2377.42/2371.81	c cleaning 200002 clauses out of 400011 with flag 71559298/20291060
2410.12/2404.57	c cleaning 200999 clauses out of 402009 with flag 72327165/20493060
2437.89/2433.12	c cleaning 202000 clauses out of 404010 with flag 73080010/20696060
2463.39/2458.68	c cleaning 202999 clauses out of 406010 with flag 73811378/20900060
2488.73/2484.06	c cleaning 204001 clauses out of 408012 with flag 74600060/21105061
2511.47/2506.83	c cleaning 205004 clauses out of 410011 with flag 75353738/21311061
2542.64/2538.06	c cleaning 205998 clauses out of 412006 with flag 76123501/21518060
2572.61/2568.28	c cleaning 206998 clauses out of 414009 with flag 76875316/21726061
2605.74/2601.16	c cleaning 208004 clauses out of 416012 with flag 77657475/21935062
2632.54/2629.33	c cleaning 208998 clauses out of 418008 with flag 78438708/22145062
2658.93/2655.72	c cleaning 209998 clauses out of 420009 with flag 79265626/22356061
2684.09/2680.80	c cleaning 211003 clauses out of 422011 with flag 80057064/22568061
2718.70/2715.67	c cleaning 211990 clauses out of 424007 with flag 80943760/22781060
2758.97/2755.92	c cleaning 213004 clauses out of 426017 with flag 81866967/22995060
2786.05/2783.16	c cleaning 214003 clauses out of 428013 with flag 82757694/23210060
2814.56/2811.68	c cleaning 214999 clauses out of 430010 with flag 83665399/23426060
2847.14/2844.20	c cleaning 216000 clauses out of 432011 with flag 84483605/23643060
2876.54/2873.90	c cleaning 217000 clauses out of 434012 with flag 85342159/23861061
2909.15/2906.55	c cleaning 218002 clauses out of 436011 with flag 86225060/24080060
2943.51/2941.74	c cleaning 219002 clauses out of 438009 with flag 87080495/24300060
2971.94/2970.28	c cleaning 219994 clauses out of 440007 with flag 87888305/24521060
3005.18/3003.56	c cleaning 221003 clauses out of 442013 with flag 88663463/24743060
3037.60/3036.09	c cleaning 222001 clauses out of 444012 with flag 89454781/24966062
3075.74/3074.37	c cleaning 223000 clauses out of 446010 with flag 90300015/25190061
3106.62/3104.93	c cleaning 223998 clauses out of 448009 with flag 91189897/25415060
3141.04/3139.46	c cleaning 225001 clauses out of 450011 with flag 92071392/25641060
3171.69/3170.44	c cleaning 226003 clauses out of 452010 with flag 92870816/25868060
3209.57/3209.30	c cleaning 226996 clauses out of 454007 with flag 93715796/26096060
3246.07/3245.90	c cleaning 227996 clauses out of 456012 with flag 94634896/26325061
3284.53/3284.41	c cleaning 229000 clauses out of 458016 with flag 95553040/26555061
3321.80/3321.76	c cleaning 230000 clauses out of 460015 with flag 96437558/26786060
3362.65/3362.66	c cleaning 231004 clauses out of 462015 with flag 97396651/27018060
3394.31/3394.32	c cleaning 232004 clauses out of 464012 with flag 98273333/27251061
3422.89/3422.96	c cleaning 233001 clauses out of 466007 with flag 99109193/27485060
3467.91/3467.64	c cleaning 234003 clauses out of 468007 with flag 100090257/27720061
3506.56/3506.27	c cleaning 234994 clauses out of 470004 with flag 100951436/27956061
3551.17/3551.06	c cleaning 235998 clauses out of 472009 with flag 101930073/28193060
3591.97/3591.92	c cleaning 237000 clauses out of 474011 with flag 102865691/28431060
3600.08/3600.02	c starts		: 118
3600.08/3600.03	c conflicts		: 28492903
3600.08/3600.03	c decisions		: 31667725
3600.08/3600.03	c propagations		: 424633693
3600.08/3600.03	c inspects		: 20976057037
3600.08/3600.03	c shortcuts		: 0
3600.08/3600.04	c learnt literals	: 0
3600.08/3600.04	c learnt binary clauses	: 0
3600.08/3600.04	c learnt ternary clauses	: 0
3600.08/3600.04	c learnt constraints	: 28492903
3600.08/3600.04	c ignored constraints	: 0
3600.08/3600.04	c root simplifications	: 0
3600.08/3600.04	c removed literals (reason simplification)	: 638561790
3600.08/3600.04	c reason swapping (by a shorter reason)	: 0
3600.08/3600.04	c Calls to reduceDB	: 234
3600.08/3600.04	c Number of update (reduction) of LBD	: 1651168
3600.08/3600.04	c Imported unit clauses	: 0
3600.08/3600.04	c No decision after first conflict	: false
3600.08/3600.04	c number of reductions to clauses (during analyze)	: 0
3600.08/3600.04	c number of learned constraints concerned by reduction	: 0
3600.08/3600.04	c number of learning phase by resolution	: 0
3600.08/3600.04	c number of learning phase by cutting planes	: 0
3600.08/3600.04	c number of rounding to 1 operations	: 0
3600.08/3600.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3600.04	c number of reductions of the coefficients by power 2 	: 0
3600.08/3600.04	c number of right shift for reduction by power 2 	: 0
3600.08/3600.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3600.04	c number of ending skipping 	: 0
3600.08/3600.04	c number of internal skipping 	: 0
3600.08/3600.04	c number of derivation steps 	: 0
3600.08/3600.04	c number of skipped derivation steps 	: 0
3600.08/3600.04	c number of remaining unassigned 	: 0
3600.08/3600.04	c number of remaining assigned 	: 0
3600.08/3600.04	c number of falsified literals weakened from reason	: 0
3600.08/3600.04	c number of falsified literals weakened from conflict	: 0
3600.08/3600.04	c time for arithmetic operations	: 0
3600.08/3600.04	c minimum degree of deleted constraints	: null
3600.08/3600.04	c maximum degree of deleted constraints	: null
3600.08/3600.04	c number of deleted constraints	: 0
3600.08/3600.04	c speed (assignments/second)	: 117966.02620215928
3600.08/3600.04	c non guided choices	: 2014
3600.08/3600.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 298854
3600.08/3600.10	s SATISFIABLE
3600.08/3600.11	c Found 1 solution(s)
3600.28/3600.11	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 x899 -x900 -x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 x1340 x1341 x1342 -x1343 x1344 
3600.28/3600.11	c objective function=176
3600.28/3600.11	c Total wall clock time (in seconds): 3599.979

Verifier Data 

OK	176

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (34824 MiB free)
  memory of node 1: 64465 MiB (62193 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486295-1751322192/watcher-4486295-1751322192 -o /tmp/evaluation-result-4486295-1751322192/solver-4486295-1751322192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751314974-42778 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486295-1751322192 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486295-1751322192.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44331, runsolver pid=44328

[startup+0.100061 s]*
/proc/loadavg: 4.20 4.26 4.22 5/344 44349
/proc/meminfo: memFree=99319112/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=18930384 memory=57704 CPUtime=0.12 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 6556 0 0 0 10 2 0 0 20 0 18 0 47897888 19384713216 14426 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4732596 14426 5333 1 0 547603 0
[pid=44331/tid=44333] ppid=44328 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 5068 0 0 0 6 1 0 0 20 0 18 0 47897889 19384713216 14426 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 14426 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 14426 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB

[startup+0.205995 s]*
/proc/loadavg: 4.20 4.26 4.22 7/344 44349
/proc/meminfo: memFree=99310920/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=18930384 memory=68212 CPUtime=0.32 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 7050 0 0 0 30 2 0 0 20 0 18 0 47897888 19384713216 17053 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4732596 17053 5429 1 0 547933 0
[pid=44331/tid=44333] ppid=44328 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 5297 0 0 0 15 1 0 0 20 0 18 0 47897889 19384713216 17053 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 17053 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 17053 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68212 KiB

[startup+0.305951 s]*
/proc/loadavg: 4.20 4.26 4.22 6/344 44349
/proc/meminfo: memFree=99262528/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=18930384 memory=103168 CPUtime=0.51 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 8566 0 0 0 48 3 0 0 20 0 18 0 47897888 19384713216 25792 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4732596 25792 5429 1 0 548944 0
[pid=44331/tid=44333] ppid=44328 vsize=18930384 memory=-6000919472756975723 CPUtime=0.24 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 5327 0 0 0 22 2 0 0 20 0 18 0 47897889 19384713216 25792 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 25792 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47897891 19384713216 25792 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103168 KiB

[startup+0.700235 s]
/proc/loadavg: 4.20 4.26 4.22 6/345 44350
/proc/meminfo: memFree=99220624/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=169984 CPUtime=1.27 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 12175 0 0 0 121 6 0 0 20 0 20 0 47897888 19521036288 42496 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 42496 5493 1 0 551969 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=17664 CPUtime=0.51 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 5478 0 0 0 48 3 0 0 20 0 20 0 47897889 19521036288 42496 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 42496 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 42496 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=4496 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 42496 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169984 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.26 4.22 6/346 44351
/proc/meminfo: memFree=99188872/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=177332 CPUtime=2.85 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 21077 0 0 0 278 7 0 0 20 0 20 0 47897888 19521036288 44333 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 44333 5493 1 0 553569 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=0 CPUtime=1.27 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 6379 0 0 0 123 4 0 0 20 0 20 0 47897889 19521036288 44333 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 44333 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 44333 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=4496 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 44333 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177332 KiB

[startup+3.10583 s]
/proc/loadavg: 4.35 4.29 4.23 5/346 44351
/proc/meminfo: memFree=99041072/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=247684 CPUtime=5.51 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 24166 0 0 0 540 11 0 0 20 0 20 0 47897888 19521036288 61921 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 61921 5493 1 0 553574 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=11136 CPUtime=2.81 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 6887 0 0 0 275 6 0 0 20 0 20 0 47897889 19521036288 61921 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=-6000919472756975723 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 61921 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 61921 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 61921 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 247684 KiB

[startup+6.30022 s]
/proc/loadavg: 4.35 4.29 4.23 6/346 44351
/proc/meminfo: memFree=98465076/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=698028 CPUtime=8.95 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 24767 0 0 0 873 22 0 0 20 0 20 0 47897888 19521036288 174507 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 174507 5493 1 0 553576 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=0 CPUtime=5.97 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 7343 0 0 0 580 17 0 0 20 0 20 0 47897889 19521036288 174507 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 174507 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 174507 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=177332 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 174507 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 8.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 698028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.37 4.30 4.23 5/346 44351
/proc/meminfo: memFree=98014100/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=964532 CPUtime=15.41 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 25528 0 0 0 1510 31 0 0 20 0 20 0 47897888 19521036288 241133 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 241133 5525 1 0 553576 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=177332 CPUtime=12.33 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 8050 0 0 0 1208 25 0 0 20 0 20 0 47897889 19521036288 241133 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 241133 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=958388 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 241133 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 241133 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 964532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.29 4.23 5/346 44351
/proc/meminfo: memFree=97264672/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=1327044 CPUtime=28.17 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 28554 0 0 0 2772 45 0 0 20 0 20 0 47897888 19521036288 331761 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 331761 5525 1 0 553576 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=-6000919472756975723 CPUtime=25.03 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 9645 0 0 0 2465 38 0 0 20 0 20 0 47897889 19521036288 331761 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 331761 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 331761 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 331761 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1327044 KiB

[startup+51.1059 s]
/proc/loadavg: 4.20 4.26 4.22 5/346 44352
/proc/meminfo: memFree=96440428/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=1343448 CPUtime=53.83 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 32389 0 0 0 5322 61 0 0 20 0 20 0 47897888 19521036288 335862 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 335862 5525 1 0 553576 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=1341396 CPUtime=50.46 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 11189 0 0 0 4992 54 0 0 20 0 20 0 47897889 19521036288 335862 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=1335240 CPUtime=0 cores=5,7

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

/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=-6000919472756975723 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3222.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/346 44606
/proc/meminfo: memFree=47540912/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3282.44 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 121429 0 0 0 326765 1479 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554822 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3236.35 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 46346 0 0 0 322257 1378 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=46336 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1570 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3282.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/346 44610
/proc/meminfo: memFree=46411504/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3342.32 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 121505 0 0 0 332732 1500 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554822 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=17664 CPUtime=3295.76 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 46360 0 0 0 328179 1397 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1570 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3342.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/346 44618
/proc/meminfo: memFree=45140028/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3402.31 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 122021 0 0 0 338709 1522 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554822 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=17664 CPUtime=3355.01 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 46745 0 0 0 334082 1419 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1570 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3402.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.18 4.17 5/347 44621
/proc/meminfo: memFree=43856692/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3462.62 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 126456 0 0 0 344718 1544 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554830 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=17664 CPUtime=3414.27 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 48801 0 0 0 339989 1438 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1570 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3462.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/347 44623
/proc/meminfo: memFree=42123824/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3522.57 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 128736 0 0 0 350692 1565 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554830 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3473.61 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 50319 0 0 0 345902 1459 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1597 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3522.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

[startup+3582.3 s]
/proc/loadavg: 3.46 4.00 4.11 3/297 44693
/proc/meminfo: memFree=93545680/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3582.35 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 128850 0 0 0 356649 1586 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554830 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3532.82 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 50330 0 0 0 351803 1479 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=2165468 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600 s]*
/proc/loadavg: 3.04 3.87 4.07 3/297 44694
/proc/meminfo: memFree=93444620/131249996 swapFree=33010684/33010684
[pid=44331] ppid=44328 vsize=19063512 memory=2165468 CPUtime=3600.08 cores=5,7
/proc/44331/stat : 44331 (java) S 44328 44331 42765 0 -1 4194304 128868 0 0 0 358417 1591 0 0 20 0 20 0 47897888 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
/proc/44331/statm: 4765878 541367 5525 1 0 554830 0
[pid=44331/tid=44333] ppid=44328 vsize=19063512 memory=-6000919476934502507 CPUtime=3550.34 cores=5,7
/proc/44331/task/44333/stat : 44333 (java) R 44328 44331 42765 0 -1 4194368 50331 0 0 0 353551 1483 0 0 20 0 20 0 47897889 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44342] ppid=44328 vsize=19063512 memory=6892 CPUtime=0 cores=5,7
/proc/44331/task/44342/stat : 44342 (Finalizer) S 44328 44331 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44349] ppid=44328 vsize=19063512 memory=2171512 CPUtime=0 cores=5,7
/proc/44331/task/44349/stat : 44349 (Common-Cleaner) S 44328 44331 42765 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 47897891 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
[pid=44331/tid=44350] ppid=44328 vsize=19063512 memory=7088 CPUtime=0 cores=5,7
/proc/44331/task/44350/stat : 44350 (Timer-0) S 44328 44331 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47897930 19521036288 541367 18446744073709551615 93905587732480 93905587736176 140734139633264 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93905587743992 93905587744784 93905620516864 140734139636016 140734139636198 140734139636198 140734139641800 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.38 s, system=15.9335 s

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

[startup+3600.2 s]*
/proc/loadavg: 3.04 3.87 4.07 2/279 44697
/proc/meminfo: memFree=95575484/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3600.21
CPU time (s): 3600.32
CPU user time (s): 3584.38
CPU system time (s): 15.9335
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2166236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.38
system time used= 15.9335
maximum resident set size= 2166492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34427392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136042
involuntary context switches= 29569


# summary of solver processes directly reported to runsolver:
#   pid: 44331
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3584.38
#   total CPU system time (s): 15.9335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4102 second user time and 17.9121 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-01 00:23:13
IDJOB=4486295
IDBENCH=147017
IDSOLVER=3364
FILE ID=nodeC032/4486295-1751322192
RUNJOBID= nodeC032-1751314974-42778
SLURM_JOB_ID= 9594329
Free space on /tmp= 432064 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486295-1751322192/watcher-4486295-1751322192 -o /tmp/evaluation-result-4486295-1751322192/solver-4486295-1751322192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751314974-42778 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486295-1751322192 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486295-1751322192.opb

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=251470049

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        99346016 kB
MemAvailable:   115454192 kB
Buffers:            3280 kB
Cached:         16898064 kB
SwapCached:            0 kB
Active:         14613248 kB
Inactive:       16644032 kB
Active(anon):   14374116 kB
Inactive(anon):        0 kB
Active(file):     239132 kB
Inactive(file): 16644032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            526236 kB
Writeback:             0 kB
AnonPages:      14359152 kB
Mapped:           123072 kB
Shmem:             18068 kB
KReclaimable:     128504 kB
Slab:             233848 kB
SReclaimable:     128504 kB
SUnreclaim:       105344 kB
KernelStack:        5280 kB
PageTables:        31788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16629640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14059520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432068 MiB
End job on nodeC032 at 2025-07-01 01:23:13