Trace number 4432308

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)8 3600.34 3558.07

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUMb7b6c18a5ccb5e8755a0006a4c4ad211
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.02114
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables411
Total number of constraints477
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432308-1721059296.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.16	c ... done. Wall clock time 0.038s.
0.13/0.16	c declared #vars     411
0.13/0.16	c #constraints  478
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 381
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 89
0.13/0.16	c org.sat4j.specs.Constr$1 => 1
0.13/0.16	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6
0.13/0.16	c 478 constraints processed.
0.13/0.18	c objective function length is 411 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.056
0.13/0.18	o 8
1.29/0.70	c cleaning 2495 clauses out of 5001 with flag 10186/5001
2.08/1.11	c cleaning 4245 clauses out of 8505 with flag 22412/11000
2.35/1.39	c cleaning 5622 clauses out of 11261 with flag 36701/18001
2.74/1.69	c cleaning 6810 clauses out of 13638 with flag 52996/26000
3.43/2.12	c cleaning 7907 clauses out of 15828 with flag 71639/35000
3.93/2.61	c cleaning 8957 clauses out of 17923 with flag 92376/45002
4.51/3.19	c cleaning 9974 clauses out of 19964 with flag 114799/56000
5.10/3.70	c cleaning 10992 clauses out of 21991 with flag 139318/68001
5.60/4.25	c cleaning 11990 clauses out of 23998 with flag 165784/81000
6.34/4.91	c cleaning 12995 clauses out of 26009 with flag 194287/95001
7.11/5.66	c cleaning 13997 clauses out of 28014 with flag 224715/110001
7.81/6.38	c cleaning 14995 clauses out of 30016 with flag 258405/126000
8.84/7.11	c cleaning 16005 clauses out of 32022 with flag 304315/143001
9.43/7.75	c cleaning 17004 clauses out of 34018 with flag 356862/161002
10.24/8.53	c cleaning 18003 clauses out of 36012 with flag 414297/180000
10.94/9.26	c cleaning 19005 clauses out of 38009 with flag 472215/200000
11.78/10.07	c cleaning 20001 clauses out of 40006 with flag 533570/221002
12.58/10.89	c cleaning 20999 clauses out of 42004 with flag 593476/243001
13.63/11.82	c cleaning 22002 clauses out of 44004 with flag 655783/266000
14.53/12.77	c cleaning 22989 clauses out of 46002 with flag 723181/290000
15.56/13.77	c cleaning 24003 clauses out of 48015 with flag 793867/315002
16.57/14.77	c cleaning 25006 clauses out of 50012 with flag 866945/341002
17.82/15.98	c cleaning 25993 clauses out of 52004 with flag 943873/368000
19.19/17.21	c cleaning 26993 clauses out of 54011 with flag 1020465/396000
20.28/18.37	c cleaning 28003 clauses out of 56018 with flag 1099519/425000
21.73/19.70	c cleaning 29001 clauses out of 58015 with flag 1183346/455000
22.93/20.94	c cleaning 30000 clauses out of 60014 with flag 1268403/486000
24.27/22.24	c cleaning 31002 clauses out of 62014 with flag 1355676/518000
25.85/23.74	c cleaning 32006 clauses out of 64012 with flag 1448693/551000
27.34/25.23	c cleaning 32997 clauses out of 66006 with flag 1542671/585000
29.08/26.93	c cleaning 33989 clauses out of 68010 with flag 1640075/620001
30.67/28.51	c cleaning 34995 clauses out of 70020 with flag 1742351/656000
32.30/30.14	c cleaning 36011 clauses out of 72025 with flag 1844678/693000
33.95/31.78	c cleaning 37000 clauses out of 74014 with flag 1949965/731000
35.53/33.37	c cleaning 38000 clauses out of 76014 with flag 2054869/770000
37.49/35.26	c cleaning 39005 clauses out of 78015 with flag 2161696/810001
39.29/37.07	c cleaning 39997 clauses out of 80009 with flag 2272223/851000
41.26/38.96	c cleaning 41004 clauses out of 82012 with flag 2384605/893000
43.36/40.91	c cleaning 41986 clauses out of 84008 with flag 2503838/936000
45.36/42.97	c cleaning 43001 clauses out of 86022 with flag 2627980/980000
47.86/45.31	c cleaning 44003 clauses out of 88021 with flag 2749130/1025000
49.96/47.48	c cleaning 45008 clauses out of 90019 with flag 2877143/1071001
52.99/50.10	c cleaning 46001 clauses out of 92012 with flag 3003039/1118002
55.37/52.47	c cleaning 46994 clauses out of 94009 with flag 3131380/1166000
58.20/55.20	c cleaning 47998 clauses out of 96016 with flag 3266671/1215001
60.89/57.88	c cleaning 48996 clauses out of 98018 with flag 3404747/1265001
63.48/60.47	c cleaning 49998 clauses out of 100021 with flag 3546796/1316000
66.40/63.22	c cleaning 51003 clauses out of 102023 with flag 3687303/1368000
69.02/65.76	c cleaning 52000 clauses out of 104021 with flag 3834633/1421001
71.72/68.50	c cleaning 52998 clauses out of 106020 with flag 3985738/1475000
74.20/70.87	c cleaning 54009 clauses out of 108022 with flag 4139567/1530000
76.69/73.39	c cleaning 54983 clauses out of 110013 with flag 4296759/1586000
79.54/76.18	c cleaning 56001 clauses out of 112030 with flag 4457664/1643000
82.43/79.01	c cleaning 57013 clauses out of 114032 with flag 4617996/1701003
85.53/82.12	c cleaning 57995 clauses out of 116016 with flag 4780499/1760000
88.52/85.09	c cleaning 59011 clauses out of 118021 with flag 4947703/1820000
91.71/88.28	c cleaning 59998 clauses out of 120010 with flag 5116118/1881000
94.97/91.41	c cleaning 61003 clauses out of 122013 with flag 5286520/1943001
98.56/95.00	c cleaning 62005 clauses out of 124013 with flag 5455237/2006004
102.27/98.65	c cleaning 62996 clauses out of 126004 with flag 5626239/2070000
105.77/102.12	c cleaning 63995 clauses out of 128010 with flag 5801009/2135002
109.36/105.73	c cleaning 64997 clauses out of 130013 with flag 5980256/2201000
112.98/109.39	c cleaning 65996 clauses out of 132016 with flag 6163461/2268000
116.55/112.95	c cleaning 66999 clauses out of 134020 with flag 6348462/2336000
120.64/117.00	c cleaning 67995 clauses out of 136021 with flag 6536943/2405000
124.84/121.18	c cleaning 69010 clauses out of 138029 with flag 6730772/2475003
129.02/125.31	c cleaning 70000 clauses out of 140016 with flag 6926300/2546000
133.31/129.62	c cleaning 70994 clauses out of 142016 with flag 7125339/2618000
137.20/133.52	c cleaning 72008 clauses out of 144022 with flag 7328941/2691000
140.99/137.32	c cleaning 72991 clauses out of 146014 with flag 7530295/2765000
144.89/141.25	c cleaning 74004 clauses out of 148024 with flag 7742566/2840001
151.27/146.20	c cleaning 74996 clauses out of 150019 with flag 7957284/2916000
154.97/149.99	c cleaning 75995 clauses out of 152024 with flag 8169217/2993001
159.20/154.02	c cleaning 77003 clauses out of 154028 with flag 8383134/3071000
163.08/157.99	c cleaning 78008 clauses out of 156025 with flag 8601212/3150000
167.22/161.96	c cleaning 79002 clauses out of 158018 with flag 8817578/3230001
171.61/166.39	c cleaning 79998 clauses out of 160015 with flag 9044861/3311000
176.47/171.02	c cleaning 81002 clauses out of 162017 with flag 9273695/3393000
180.95/175.58	c cleaning 82000 clauses out of 164015 with flag 9500984/3476000
186.04/180.62	c cleaning 83001 clauses out of 166015 with flag 9744573/3560000
190.96/185.48	c cleaning 84007 clauses out of 168014 with flag 9986773/3645000
196.55/191.07	c cleaning 84988 clauses out of 170008 with flag 10228135/3731001
202.16/196.54	c cleaning 86002 clauses out of 172019 with flag 10466829/3818000
207.55/201.91	c cleaning 86998 clauses out of 174017 with flag 10716042/3906000
212.92/207.20	c cleaning 88002 clauses out of 176019 with flag 10960907/3995000
217.61/211.93	c cleaning 88994 clauses out of 178017 with flag 11214041/4085000
223.58/217.74	c cleaning 89996 clauses out of 180023 with flag 11468260/4176000
229.17/223.36	c cleaning 91010 clauses out of 182028 with flag 11727214/4268001
234.45/228.69	c cleaning 91992 clauses out of 184018 with flag 11985162/4361001
239.82/233.93	c cleaning 92994 clauses out of 186026 with flag 12244424/4455001
245.01/239.17	c cleaning 94008 clauses out of 188031 with flag 12507920/4550000
250.74/244.15	c cleaning 94999 clauses out of 190023 with flag 12777211/4646000
255.99/249.46	c cleaning 96010 clauses out of 192025 with flag 13052263/4743001
261.85/255.29	c cleaning 96997 clauses out of 194014 with flag 13332523/4841000
267.99/261.41	c cleaning 97999 clauses out of 196017 with flag 13604281/4940000
276.50/269.83	c cleaning 99005 clauses out of 198021 with flag 13876058/5040003
282.99/276.30	c cleaning 100003 clauses out of 200013 with flag 14150088/5141000
290.82/283.99	c cleaning 100999 clauses out of 202011 with flag 14438486/5243001
297.35/290.50	c cleaning 102003 clauses out of 204011 with flag 14723340/5346000
304.16/297.20	c cleaning 102993 clauses out of 206008 with flag 15006247/5450000
310.74/303.87	c cleaning 103996 clauses out of 208015 with flag 15304392/5555000
318.15/311.19	c cleaning 105000 clauses out of 210020 with flag 15609819/5661001
326.40/319.20	c cleaning 105997 clauses out of 212019 with flag 15905838/5768000
332.89/325.74	c cleaning 106994 clauses out of 214022 with flag 16202747/5876000
341.73/334.59	c cleaning 108013 clauses out of 216028 with flag 16507480/5985000
348.57/341.24	c cleaning 108996 clauses out of 218015 with flag 16822711/6095000
355.60/348.39	c cleaning 109997 clauses out of 220021 with flag 17130985/6206002
363.25/355.45	c cleaning 110990 clauses out of 222022 with flag 17441264/6318000
370.31/362.48	c cleaning 112009 clauses out of 224034 with flag 17751850/6431002
377.84/370.06	c cleaning 112997 clauses out of 226023 with flag 18073869/6545000
385.97/378.04	c cleaning 114008 clauses out of 228026 with flag 18387388/6660000
393.25/385.33	c cleaning 115009 clauses out of 230019 with flag 18700533/6776001
399.88/391.96	c cleaning 116002 clauses out of 232011 with flag 19025017/6893002
407.17/399.25	c cleaning 116994 clauses out of 234011 with flag 19343597/7011004
415.66/407.65	c cleaning 117999 clauses out of 236014 with flag 19692653/7130001
424.15/415.95	c cleaning 119005 clauses out of 238017 with flag 20022570/7250003
432.28/424.11	c cleaning 119998 clauses out of 240009 with flag 20359887/7371000
440.37/432.24	c cleaning 121004 clauses out of 242011 with flag 20705198/7493000
452.31/444.08	c cleaning 121990 clauses out of 244007 with flag 21040190/7616000
462.13/453.95	c cleaning 122999 clauses out of 246017 with flag 21381923/7740000
472.13/463.98	c cleaning 123998 clauses out of 248018 with flag 21725491/7865000
481.67/473.35	c cleaning 124992 clauses out of 250020 with flag 22073542/7991000
490.81/482.31	c cleaning 126007 clauses out of 252030 with flag 22415935/8118002
500.92/492.32	c cleaning 127001 clauses out of 254021 with flag 22758083/8246000
512.05/502.46	c cleaning 128005 clauses out of 256021 with flag 23115609/8375001
520.90/511.29	c cleaning 129003 clauses out of 258016 with flag 23472887/8505001
530.65/520.84	c cleaning 130000 clauses out of 260013 with flag 23841124/8636001
539.95/530.12	c cleaning 130995 clauses out of 262014 with flag 24205143/8768002
548.67/538.87	c cleaning 131995 clauses out of 264018 with flag 24571896/8901001
558.82/548.99	c cleaning 133001 clauses out of 266022 with flag 24941866/9035000
570.06/560.05	c cleaning 133999 clauses out of 268021 with flag 25307070/9170000
581.14/570.99	c cleaning 135004 clauses out of 270023 with flag 25676265/9306001
591.99/581.69	c cleaning 135985 clauses out of 272018 with flag 26053125/9443000
601.63/591.14	c cleaning 136995 clauses out of 274033 with flag 26438013/9581000
611.60/601.01	c cleaning 138007 clauses out of 276038 with flag 26828337/9720000
620.68/610.09	c cleaning 139007 clauses out of 278031 with flag 27226251/9860000
632.28/620.74	c cleaning 140000 clauses out of 280026 with flag 27612735/10001002
641.98/630.50	c cleaning 141009 clauses out of 282025 with flag 28010604/10143001
652.64/641.20	c cleaning 142003 clauses out of 284019 with flag 28405954/10286004
664.62/653.04	c cleaning 142992 clauses out of 286012 with flag 28809429/10430000
676.52/665.04	c cleaning 144010 clauses out of 288022 with flag 29212828/10575002
687.00/675.53	c cleaning 144998 clauses out of 290011 with flag 29603011/10721001
698.69/687.32	c cleaning 146002 clauses out of 292012 with flag 29997045/10868000
711.00/699.54	c cleaning 146993 clauses out of 294010 with flag 30396618/11016000
723.31/711.61	c cleaning 148004 clauses out of 296017 with flag 30797600/11165000
736.37/724.50	c cleaning 148983 clauses out of 298014 with flag 31203007/11315001
747.99/736.04	c cleaning 149996 clauses out of 300030 with flag 31622844/11466000
758.53/746.30	c cleaning 151014 clauses out of 302035 with flag 32038157/11618001
769.42/757.17	c cleaning 152005 clauses out of 304020 with flag 32452634/11771000
781.83/769.56	c cleaning 152998 clauses out of 306015 with flag 32878435/11925000
792.63/780.35	c cleaning 153999 clauses out of 308017 with flag 33305517/12080000
803.11/790.74	c cleaning 154992 clauses out of 310019 with flag 33736045/12236001
814.49/802.00	c cleaning 156009 clauses out of 312026 with flag 34169349/12393000
828.45/814.73	c cleaning 157000 clauses out of 314017 with flag 34625162/12551000
839.94/826.22	c cleaning 158005 clauses out of 316017 with flag 35063714/12710000
850.66/836.91	c cleaning 159001 clauses out of 318012 with flag 35504896/12870000
862.23/848.47	c cleaning 159986 clauses out of 320011 with flag 35944385/13031000
873.99/860.08	c cleaning 160999 clauses out of 322025 with flag 36390883/13193000
887.19/873.17	c cleaning 161993 clauses out of 324026 with flag 36838083/13356000
899.30/885.25	c cleaning 163011 clauses out of 326034 with flag 37289642/13520001
912.95/898.98	c cleaning 164009 clauses out of 328022 with flag 37735920/13685000
926.83/912.80	c cleaning 165005 clauses out of 330016 with flag 38176460/13851003
940.04/925.97	c cleaning 165994 clauses out of 332008 with flag 38627034/14018000
953.29/939.11	c cleaning 167000 clauses out of 334014 with flag 39083091/14186000
967.38/953.14	c cleaning 167990 clauses out of 336014 with flag 39557103/14355000
982.53/968.27	c cleaning 169001 clauses out of 338024 with flag 40026519/14525000
999.10/984.65	c cleaning 170002 clauses out of 340023 with flag 40486760/14696000
1012.62/998.09	c cleaning 171005 clauses out of 342021 with flag 40962704/14868000
1028.53/1013.99	c cleaning 172001 clauses out of 344016 with flag 41447682/15041000
1041.85/1027.25	c cleaning 172999 clauses out of 346015 with flag 41926043/15215000
1058.48/1043.08	c cleaning 173998 clauses out of 348016 with flag 42404282/15390000
1073.01/1057.53	c cleaning 175000 clauses out of 350020 with flag 42890258/15566002
1090.01/1074.53	c cleaning 175999 clauses out of 352018 with flag 43374325/15743000
1105.61/1090.01	c cleaning 177003 clauses out of 354019 with flag 43873029/15921000
1120.98/1105.50	c cleaning 177995 clauses out of 356016 with flag 44364230/16100000
1135.85/1120.26	c cleaning 179006 clauses out of 358021 with flag 44861405/16280000
1149.94/1134.29	c cleaning 180007 clauses out of 360015 with flag 45360356/16461000
1166.42/1150.62	c cleaning 180992 clauses out of 362009 with flag 45865452/16643001
1182.44/1166.55	c cleaning 181993 clauses out of 364017 with flag 46376902/16826001
1196.45/1180.32	c cleaning 183007 clauses out of 366023 with flag 46881585/17010000
1211.38/1195.18	c cleaning 184008 clauses out of 368017 with flag 47390300/17195001
1229.41/1213.10	c cleaning 184992 clauses out of 370008 with flag 47914379/17381000
1244.95/1228.59	c cleaning 185988 clauses out of 372016 with flag 48432079/17568000
1263.83/1247.39	c cleaning 187004 clauses out of 374029 with flag 48959537/17756001
1280.05/1263.42	c cleaning 188012 clauses out of 376024 with flag 49486759/17945000
1295.51/1278.77	c cleaning 189004 clauses out of 378015 with flag 50007619/18135003
1313.51/1295.58	c cleaning 189995 clauses out of 380008 with flag 50537926/18326000
1330.96/1313.05	c cleaning 191001 clauses out of 382013 with flag 51067542/18518000
1347.30/1329.28	c cleaning 191981 clauses out of 384013 with flag 51611533/18711001
1364.14/1346.04	c cleaning 193004 clauses out of 386033 with flag 52147669/18905002
1381.62/1363.36	c cleaning 193999 clauses out of 388027 with flag 52689811/19100000
1399.28/1380.99	c cleaning 194999 clauses out of 390029 with flag 53240592/19296001
1416.10/1397.48	c cleaning 195997 clauses out of 392029 with flag 53798454/19493000
1429.93/1411.18	c cleaning 197005 clauses out of 394033 with flag 54344396/19691001
1446.20/1427.04	c cleaning 198011 clauses out of 396027 with flag 54894042/19890000
1464.04/1444.80	c cleaning 199005 clauses out of 398016 with flag 55448880/20090000
1481.82/1462.49	c cleaning 200000 clauses out of 400011 with flag 55997984/20291000
1499.38/1478.90	c cleaning 200987 clauses out of 402011 with flag 56558346/20493000
1516.02/1495.48	c cleaning 202007 clauses out of 404024 with flag 57108578/20696000
1534.41/1513.50	c cleaning 202979 clauses out of 406017 with flag 57678788/20900000
1553.39/1532.10	c cleaning 204014 clauses out of 408038 with flag 58240595/21105000
1573.11/1551.91	c cleaning 204997 clauses out of 410026 with flag 58806177/21311002
1593.80/1572.46	c cleaning 206007 clauses out of 412027 with flag 59384522/21518000
1612.09/1590.55	c cleaning 206992 clauses out of 414020 with flag 59979809/21726000
1628.30/1606.73	c cleaning 208010 clauses out of 416028 with flag 60553982/21935000
1648.73/1627.01	c cleaning 208997 clauses out of 418020 with flag 61126306/22145002
1669.25/1647.53	c cleaning 210007 clauses out of 420023 with flag 61710966/22356002
1690.31/1667.38	c cleaning 210991 clauses out of 422015 with flag 62293325/22568001
1709.20/1685.94	c cleaning 212001 clauses out of 424024 with flag 62873554/22781001
1728.68/1705.36	c cleaning 212987 clauses out of 426022 with flag 63461801/22995000
1750.40/1726.99	c cleaning 214008 clauses out of 428036 with flag 64049884/23210001
1773.17/1749.66	c cleaning 215008 clauses out of 430027 with flag 64655256/23426000
1796.47/1772.84	c cleaning 216008 clauses out of 432019 with flag 65254761/23643000
1814.42/1790.85	c cleaning 216990 clauses out of 434011 with flag 65859884/23861000
1834.43/1810.74	c cleaning 218002 clauses out of 436021 with flag 66462722/24080000
1854.30/1830.67	c cleaning 218991 clauses out of 438019 with flag 67070652/24300000
1876.36/1852.55	c cleaning 220010 clauses out of 440028 with flag 67681559/24521000
1898.80/1873.21	c cleaning 221002 clauses out of 442019 with flag 68295849/24743001
1920.93/1895.20	c cleaning 222001 clauses out of 444017 with flag 68904111/24966001
1940.30/1914.36	c cleaning 222994 clauses out of 446015 with flag 69520516/25190000
1959.93/1933.77	c cleaning 224010 clauses out of 448022 with flag 70134292/25415001
1981.79/1955.36	c cleaning 225005 clauses out of 450013 with flag 70769307/25641002
2006.78/1980.07	c cleaning 225988 clauses out of 452006 with flag 71397409/25868000
2027.97/2000.94	c cleaning 226999 clauses out of 454018 with flag 72023443/26096000
2049.44/2022.28	c cleaning 228009 clauses out of 456019 with flag 72657877/26325000
2073.35/2045.97	c cleaning 228999 clauses out of 458010 with flag 73296461/26555000
2094.71/2067.39	c cleaning 229981 clauses out of 460011 with flag 73935594/26786000
2117.58/2088.83	c cleaning 231002 clauses out of 462030 with flag 74579395/27018000
2137.77/2108.76	c cleaning 232001 clauses out of 464028 with flag 75221189/27251000
2161.89/2132.70	c cleaning 233000 clauses out of 466027 with flag 75835295/27485000
2185.16/2155.87	c cleaning 234005 clauses out of 468028 with flag 76450443/27720001
2207.37/2177.74	c cleaning 235004 clauses out of 470022 with flag 77074436/27956000
2231.93/2202.00	c cleaning 236000 clauses out of 472018 with flag 77705771/28193000
2253.35/2223.27	c cleaning 237003 clauses out of 474020 with flag 78329883/28431002
2277.92/2247.61	c cleaning 237992 clauses out of 476015 with flag 78967156/28670000
2300.55/2270.15	c cleaning 238998 clauses out of 478023 with flag 79600835/28910000
2324.05/2293.75	c cleaning 240002 clauses out of 480025 with flag 80238673/29151000
2347.20/2316.78	c cleaning 241012 clauses out of 482024 with flag 80891714/29393001
2366.96/2336.39	c cleaning 241998 clauses out of 484013 with flag 81540950/29636002
2390.54/2359.76	c cleaning 242994 clauses out of 486013 with flag 82177570/29880000
2415.13/2384.30	c cleaning 244005 clauses out of 488019 with flag 82824927/30125000
2442.17/2409.89	c cleaning 244991 clauses out of 490014 with flag 83478136/30371000
2466.04/2433.36	c cleaning 245993 clauses out of 492023 with flag 84127198/30618000
2491.01/2458.17	c cleaning 247002 clauses out of 494030 with flag 84795003/30866000
2518.26/2485.18	c cleaning 248009 clauses out of 496028 with flag 85463419/31115000
2542.49/2509.17	c cleaning 249002 clauses out of 498019 with flag 86117906/31365000
2567.60/2534.22	c cleaning 249997 clauses out of 500018 with flag 86776582/31616001
2594.77/2561.38	c cleaning 250999 clauses out of 502020 with flag 87442333/31868000
2618.17/2584.57	c cleaning 251999 clauses out of 504021 with flag 88113785/32121000
2640.53/2606.70	c cleaning 253013 clauses out of 506025 with flag 88814049/32375003
2661.22/2627.16	c cleaning 253988 clauses out of 508011 with flag 89492315/32630002
2686.24/2651.92	c cleaning 254994 clauses out of 510021 with flag 90170254/32886000
2713.46/2679.25	c cleaning 256006 clauses out of 512027 with flag 90857051/33143000
2737.41/2703.02	c cleaning 257001 clauses out of 514021 with flag 91539123/33401000
2764.22/2729.57	c cleaning 258002 clauses out of 516021 with flag 92228487/33660001
2786.26/2751.40	c cleaning 258995 clauses out of 518018 with flag 92909149/33920000
2811.18/2776.21	c cleaning 260003 clauses out of 520023 with flag 93597561/34181000
2844.22/2807.68	c cleaning 261001 clauses out of 522020 with flag 94289585/34443000
2870.96/2834.22	c cleaning 261993 clauses out of 524019 with flag 94998410/34706000
2896.35/2859.58	c cleaning 262996 clauses out of 526027 with flag 95694348/34970001
2929.90/2892.85	c cleaning 264006 clauses out of 528030 with flag 96380252/35235000
2954.96/2917.85	c cleaning 265005 clauses out of 530024 with flag 97082784/35501000
2985.71/2948.29	c cleaning 266006 clauses out of 532019 with flag 97807467/35768000
3013.77/2976.12	c cleaning 266989 clauses out of 534013 with flag 98521349/36036000
3040.27/3002.39	c cleaning 267997 clauses out of 536024 with flag 99238185/36305000
3064.81/3026.72	c cleaning 269002 clauses out of 538027 with flag 99957138/36575000
3091.42/3053.01	c cleaning 269998 clauses out of 540025 with flag 100676282/36846000
3114.29/3075.73	c cleaning 271014 clauses out of 542029 with flag 101399682/37118002
3141.00/3102.16	c cleaning 271986 clauses out of 544013 with flag 102132633/37391000
3167.83/3128.86	c cleaning 273004 clauses out of 546027 with flag 102872926/37665000
3196.89/3157.53	c cleaning 274008 clauses out of 548023 with flag 103593678/37940000
3226.84/3187.52	c cleaning 275005 clauses out of 550015 with flag 104322342/38216000
3253.92/3214.43	c cleaning 275987 clauses out of 552010 with flag 105052384/38493000
3282.67/3243.01	c cleaning 277007 clauses out of 554024 with flag 105789237/38771001
3316.60/3276.80	c cleaning 277999 clauses out of 556016 with flag 106547580/39050000
3343.32/3303.68	c cleaning 279001 clauses out of 558017 with flag 107292565/39330000
3376.06/3336.23	c cleaning 280006 clauses out of 560016 with flag 108038896/39611000
3420.41/3378.87	c cleaning 281002 clauses out of 562011 with flag 108785094/39893001
3451.76/3409.73	c cleaning 281992 clauses out of 564009 with flag 109536222/40176001
3483.40/3441.43	c cleaning 283004 clauses out of 566019 with flag 110290065/40460003
3516.07/3474.04	c cleaning 283988 clauses out of 568012 with flag 111046336/40745000
3544.79/3502.87	c cleaning 285005 clauses out of 570024 with flag 111800067/41031000
3572.64/3530.51	c cleaning 286001 clauses out of 572022 with flag 112558763/41318003
3598.17/3556.08	c cleaning 287004 clauses out of 574018 with flag 113315187/41606000
3600.05/3557.93	c starts		: 1705
3600.05/3557.94	c conflicts		: 41645337
3600.05/3557.94	c decisions		: 106193648
3600.05/3557.94	c propagations		: 1264367428
3600.05/3557.94	c inspects		: 13483251603
3600.05/3557.94	c shortcuts		: 0
3600.05/3557.94	c learnt literals	: 0
3600.05/3557.94	c learnt binary clauses	: 0
3600.05/3557.94	c learnt ternary clauses	: 0
3600.05/3557.94	c learnt constraints	: 41645337
3600.05/3557.94	c ignored constraints	: 0
3600.05/3557.94	c root simplifications	: 0
3600.05/3557.94	c removed literals (reason simplification)	: 0
3600.05/3557.94	c reason swapping (by a shorter reason)	: 0
3600.05/3557.94	c Calls to reduceDB	: 284
3600.05/3557.94	c Number of update (reduction) of LBD	: 9548321
3600.05/3557.94	c Imported unit clauses	: 0
3600.05/3557.94	c No decision after first conflict	: false
3600.05/3557.94	c number of reductions to clauses (during analyze)	: 0
3600.05/3557.94	c number of learned constraints concerned by reduction	: 0
3600.05/3557.94	c number of learning phase by resolution	: 0
3600.05/3557.94	c number of learning phase by cutting planes	: 0
3600.05/3557.94	c number of rounding to 1 operations	: 0
3600.05/3557.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3557.94	c number of reductions of the coefficients by power 2 	: 0
3600.05/3557.94	c number of right shift for reduction by power 2 	: 0
3600.05/3557.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3557.94	c number of ending skipping 	: 0
3600.05/3557.94	c number of internal skipping 	: 0
3600.05/3557.94	c number of derivation steps 	: 0
3600.05/3557.94	c number of skipped derivation steps 	: 0
3600.05/3557.94	c number of remaining unassigned 	: 0
3600.05/3557.94	c number of remaining assigned 	: 0
3600.05/3557.94	c number of falsified literals weakened from reason	: 0
3600.05/3557.94	c number of falsified literals weakened from conflict	: 0
3600.05/3557.94	c time for arithmetic operations	: 0
3600.05/3557.95	c minimum degree of deleted constraints	: null
3600.05/3557.95	c maximum degree of deleted constraints	: null
3600.05/3557.95	c number of deleted constraints	: 0
3600.05/3557.95	c speed (assignments/second)	: 355381.90288245084
3600.05/3557.95	c non guided choices	: 1
3600.26/3558.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 326351
3600.26/3558.03	s SATISFIABLE
3600.26/3558.03	c Found 1 solution(s)
3600.26/3558.03	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 
3600.26/3558.03	c objective function=8
3600.26/3558.03	c Total wall clock time (in seconds): 3557.908

Verifier Data 

OK	8

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432308-1721059296/watcher-4432308-1721059296 -o /tmp/evaluation-result-4432308-1721059296/solver-4432308-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811017 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432308-1721059296.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=811057, runsolver pid=811049

[startup+0.100995 s]*
/proc/loadavg: 4.30 4.24 4.16 10/327 811146
/proc/meminfo: memFree=128415616/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=18975048 memory=65420 CPUtime=0.13 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 7231 0 0 0 11 2 0 0 20 0 18 0 158098534 19430449152 16355 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4743762 16355 5715 1 0 549335 0
[pid=811057/tid=811064] ppid=811049 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 1077936192 5745 0 0 0 7 1 0 0 20 0 18 0 158098534 19430449152 16355 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=18975048 memory=15932 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158098537 19430449152 16355 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158098537 19430449152 16355 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65420 KiB

[startup+0.206309 s]*
/proc/loadavg: 4.30 4.24 4.16 16/329 811148
/proc/meminfo: memFree=128377012/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19041612 memory=70252 CPUtime=0.33 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 7819 0 0 0 30 3 0 0 20 0 19 0 158098534 19498610688 17563 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4760403 17563 5872 1 0 549974 0
[pid=811057/tid=811064] ppid=811049 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6047 0 0 0 16 1 0 0 20 0 19 0 158098534 19498610688 17563 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19041612 memory=15932 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 17563 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19041612 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 17563 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 17563 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70252 KiB

[startup+0.306097 s]*
/proc/loadavg: 4.30 4.24 4.16 14/330 811149
/proc/meminfo: memFree=128310064/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19041612 memory=79036 CPUtime=0.51 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 9883 0 0 0 48 3 0 0 20 0 19 0 158098534 19498610688 19759 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4760403 19759 5872 1 0 551180 0
[pid=811057/tid=811064] ppid=811049 vsize=19041612 memory=-8526838479124275900 CPUtime=0.27 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6114 0 0 0 26 1 0 0 20 0 19 0 158098534 19498610688 19759 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 19759 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 19759 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 19759 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79036 KiB

[startup+0.709098 s]
/proc/loadavg: 4.30 4.24 4.16 11/332 811151
/proc/meminfo: memFree=128216952/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19041612 memory=104328 CPUtime=1.29 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 13334 0 0 0 125 4 0 0 20 0 19 0 158098534 19498610688 26082 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4760403 26082 5872 1 0 553311 0
[pid=811057/tid=811064] ppid=811049 vsize=19041612 memory=12512 CPUtime=0.66 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6191 0 0 0 64 2 0 0 20 0 19 0 158098534 19498610688 26082 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19041612 memory=12512 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 26082 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 26082 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19041612 memory=16052 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 26082 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104328 KiB

[startup+1.50026 s]
/proc/loadavg: 4.76 4.34 4.19 9/332 811151
/proc/meminfo: memFree=128082252/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19041612 memory=154700 CPUtime=2.64 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 18091 0 0 0 258 6 0 0 20 0 19 0 158098534 19498610688 38675 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4760403 38675 5872 1 0 553715 0
[pid=811057/tid=811064] ppid=811049 vsize=19041612 memory=12512 CPUtime=1.45 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6583 0 0 0 142 3 0 0 20 0 19 0 158098534 19498610688 38675 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19041612 memory=16052 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 38675 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 38675 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19041612 memory=1904 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 38675 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154700 KiB

[startup+3.10578 s]
/proc/loadavg: 4.76 4.34 4.19 7/335 811156
/proc/meminfo: memFree=127243172/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=262076 CPUtime=4.51 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 20693 0 0 0 442 9 0 0 20 0 20 0 158098534 19566772224 65519 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 65519 5903 1 0 554022 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6887 0 0 0 292 3 0 0 20 0 20 0 158098534 19566772224 65519 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=12512 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 65519 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 65519 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=40552 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 65519 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 262076 KiB

[startup+6.30023 s]
/proc/loadavg: 4.70 4.33 4.19 7/335 811156
/proc/meminfo: memFree=125877472/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=389288 CPUtime=7.81 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 21130 0 0 0 769 12 0 0 20 0 20 0 158098534 19566772224 97322 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 97322 5903 1 0 554024 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=12512 CPUtime=6.03 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 6993 0 0 0 600 3 0 0 20 0 20 0 158098534 19566772224 97322 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 97322 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 97322 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=164940 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 97322 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 389288 KiB

[startup+12.7003 s]
/proc/loadavg: 4.72 4.34 4.20 6/335 811158
/proc/meminfo: memFree=123597884/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=731724 CPUtime=14.53 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 23412 0 0 0 1433 20 0 0 20 0 20 0 158098534 19566772224 182931 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 182931 5913 1 0 735744 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=0 CPUtime=12.21 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 7583 0 0 0 1215 6 0 0 20 0 20 0 158098534 19566772224 182931 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 182931 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=391476 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 182931 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=40552 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 182931 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 731724 KiB

[startup+25.5011 s]
/proc/loadavg: 4.61 4.33 4.19 6/335 811159
/proc/meminfo: memFree=118396068/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=1366864 CPUtime=27.64 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 28387 0 0 0 2733 31 0 0 20 0 20 0 158098534 19566772224 341716 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 341716 5929 1 0 871523 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=12088 CPUtime=24.54 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 8303 0 0 0 2446 8 0 0 20 0 20 0 158098534 19566772224 341716 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=6944656592387989600 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 341716 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=389428 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 341716 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=1257812 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 341716 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 27.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1366864 KiB

[startup+51.1062 s]
/proc/loadavg: 4.56 4.35 4.20 6/335 811163
/proc/meminfo: memFree=111041160/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=2233704 CPUtime=54.08 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 41840 0 0 0 5358 50 0 0 20 0 20 0 158098534 19566772224 558426 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 558426 5929 1 0 872022 0

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

/proc/meminfo: memFree=75921896/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=9247548 CPUtime=3262.01 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 303152 0 0 0 325882 319 0 0 20 0 20 0 158098534 19566772224 2311887 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2311887 5944 1 0 2702962 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=8956732 CPUtime=3160.34 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 69419 0 0 0 315969 65 0 0 20 0 20 0 158098534 19566772224 2311887 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=8966972 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2311887 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1054 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2311887 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=8966972 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2311887 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3262.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9247548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.49 4.64 6/332 812837
/proc/meminfo: memFree=75781312/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=9386812 CPUtime=3322.04 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 303749 0 0 0 331881 323 0 0 20 0 20 0 158098534 19566772224 2346703 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2346703 5944 1 0 2702962 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=8966972 CPUtime=3219.66 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 69786 0 0 0 321901 65 0 0 20 0 20 0 158098534 19566772224 2346703 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=8966972 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2346703 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=9386812 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1054 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2346703 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=9386812 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2346703 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3322.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9386812 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.41 4.60 7/332 812849
/proc/meminfo: memFree=74977788/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=10232640 CPUtime=3382.58 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 317365 0 0 0 337915 343 0 0 20 0 20 0 158098534 19566772224 2558160 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2558160 5944 1 0 2702962 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=40552 CPUtime=3278.51 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 72220 0 0 0 327785 66 0 0 20 0 20 0 158098534 19566772224 2558160 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=161 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2558160 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=40552 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1054 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2558160 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=10031932 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2558160 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3382.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10232640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.40 4.58 7/332 812859
/proc/meminfo: memFree=74490504/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=10671104 CPUtime=3444.36 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 323915 0 0 0 344083 353 0 0 20 0 20 0 158098534 19566772224 2667776 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2667776 5944 1 0 2880516 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=12088 CPUtime=3337.77 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 72658 0 0 0 333707 70 0 0 20 0 20 0 158098534 19566772224 2667776 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667776 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=10671104 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1056 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667776 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=10605568 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2667776 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3444.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10671104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.35 4.56 6/332 813106
/proc/meminfo: memFree=88025440/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=10671288 CPUtime=3504.47 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 328385 0 0 0 350091 356 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2667822 5944 1 0 2880516 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=-7594607904622273656 CPUtime=3396.65 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 73234 0 0 0 339595 70 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=10671104 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=10671104 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1056 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3504.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10671288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.36 4.54 6/332 813117
/proc/meminfo: memFree=85068664/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=10671288 CPUtime=3564.52 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 330740 0 0 0 356093 359 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2667822 5944 1 0 2880516 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=10671288 CPUtime=3455.41 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 74061 0 0 0 345470 71 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1108 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3564.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10671288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3557.9 s]
/proc/loadavg: 4.58 4.42 4.56 5/332 813205
/proc/meminfo: memFree=96475976/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19108176 memory=10671288 CPUtime=3600.05 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 331535 0 0 0 359645 360 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4777044 2667822 5944 1 0 2880516 0
[pid=811057/tid=811064] ppid=811049 vsize=19108176 memory=10671288 CPUtime=3490.38 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 74393 0 0 0 348967 71 0 0 20 0 20 0 158098534 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19108176 memory=10671288 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1108 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811147] ppid=811049 vsize=19108176 memory=1904 CPUtime=0 cores=1,3
/proc/811057/task/811147/stat : 811147 (Timer-0) S 811049 811057 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 2667822 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10671288 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.71 s, system=3.63549 s

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

[startup+3558.01 s]*
/proc/loadavg: 4.58 4.42 4.56 8/333 813208
/proc/meminfo: memFree=96185108/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811049 vsize=19307868 memory=10672044 CPUtime=3600.26 cores=1,3
/proc/811057/stat : 811057 (java) S 811049 811057 811005 0 -1 1077936128 334215 0 0 0 359666 360 0 0 20 0 21 0 158098534 19771256832 2668011 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
/proc/811057/statm: 4826967 2668011 5943 1 0 2881430 0
[pid=811057/tid=811064] ppid=811049 vsize=19307868 memory=-8959745885203702460 CPUtime=3490.48 cores=1,3
/proc/811057/task/811064/stat : 811064 (java) R 811049 811057 811005 0 -1 4194368 74645 0 0 0 348977 71 0 0 20 0 21 0 158098534 19771256832 2668011 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811104] ppid=811049 vsize=19307868 memory=-7522550310584868223 CPUtime=0 cores=1,3
/proc/811057/task/811104/stat : 811104 (Finalizer) S 811049 811057 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158098537 19771256832 2668011 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=811118] ppid=811049 vsize=19307868 memory=-8412661042843906680 CPUtime=0 cores=1,3
/proc/811057/task/811118/stat : 811118 (Common-Cleaner) S 811049 811057 811005 0 -1 1077936192 1108 0 0 0 0 0 0 0 20 0 21 0 158098537 19771256832 2668011 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
[pid=811057/tid=813207] ppid=811049 vsize=19307868 memory=-7373376221042306180 CPUtime=0.06 cores=1,3
/proc/811057/task/813207/stat : 813207 (Thread-0) R 811049 811057 811005 0 -1 4194368 301 0 0 0 6 0 0 0 20 0 21 0 158454325 19771256832 2668011 134679101440 93867591049216 93867591052912 140737339592272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867591060728 93867591061520 93867592314880 140737339597831 140737339597921 140737339597921 140737339604936 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10672044 KiB

Child status: 143

Real time (s): 3558.07
CPU time (s): 3600.34
CPU user time (s): 3596.71
CPU system time (s): 3.63549
CPU usage (%): 101.188
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10672044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.71
system time used= 3.63549
maximum resident set size= 10672872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119849
involuntary context switches= 23599


# summary of solver processes directly reported to runsolver:
#   pid: 811057
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3596.71
#   total CPU system time (s): 3.63549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30881 second user time and 18.7072 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 18:01:48
IDJOB=4432308
IDBENCH=146661
IDSOLVER=3058
FILE ID=nodeC032/4432308-1721059296
RUNJOBID= nodeC032-1721059308-811017
SLURM_JOB_ID= 7505498
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432308-1721059296/watcher-4432308-1721059296 -o /tmp/evaluation-result-4432308-1721059296/solver-4432308-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811017 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432308-1721059296.opb

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

MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=131526430

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128583384 kB
MemAvailable:   129724128 kB
Buffers:          364360 kB
Cached:          1605588 kB
SwapCached:            0 kB
Active:           618248 kB
Inactive:        1715336 kB
Active(anon):       1444 kB
Inactive(anon):   399904 kB
Active(file):     616804 kB
Inactive(file):  1315432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1528 kB
Writeback:             0 kB
AnonPages:        364028 kB
Mapped:           103580 kB
Shmem:             37720 kB
KReclaimable:      96660 kB
Slab:             202192 kB
SReclaimable:      96660 kB
SUnreclaim:       105532 kB
KernelStack:        3888 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     822212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-15 19:01:07