Trace number 4440284

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 2024 2024-07-07SAT (TO)221 3600.32 3489.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
MD5SUMb1303fc064b9de7d315268cbf770fb1d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440284-1721769357.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.14	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.041s.
0.14/0.17	c declared #vars     470
0.14/0.17	c #constraints  470
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.14/0.17	c 470 constraints processed.
0.14/0.18	c objective function length is 470 literals
0.14/0.19	c SATISFIABLE
0.14/0.20	c OPTIMIZING...
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.064
0.14/0.20	o 223
2.43/1.34	c cleaning 2497 clauses out of 5001 with flag 10589/5001
3.80/2.07	c cleaning 4245 clauses out of 8504 with flag 23230/11001
4.52/2.69	c cleaning 5626 clauses out of 11258 with flag 37874/18000
5.47/3.49	c cleaning 6810 clauses out of 13633 with flag 55334/26001
6.52/4.47	c cleaning 7902 clauses out of 15822 with flag 74999/35000
7.75/5.54	c cleaning 8951 clauses out of 17920 with flag 95988/45000
8.91/6.69	c cleaning 9980 clauses out of 19969 with flag 119580/56000
10.24/7.93	c cleaning 10989 clauses out of 21989 with flag 145162/68000
11.56/9.26	c cleaning 11994 clauses out of 24001 with flag 173854/81001
13.14/10.73	c cleaning 12998 clauses out of 26008 with flag 203252/95002
14.81/12.32	c cleaning 13995 clauses out of 28008 with flag 234851/110000
16.60/14.08	c cleaning 14999 clauses out of 30014 with flag 268453/126001
18.55/15.81	c cleaning 16000 clauses out of 32015 with flag 303909/143001
20.48/17.68	c cleaning 17000 clauses out of 34014 with flag 341392/161000
22.56/19.74	c cleaning 17999 clauses out of 36015 with flag 381020/180001
24.83/21.84	c cleaning 19000 clauses out of 38015 with flag 423375/200000
27.02/23.96	c cleaning 20002 clauses out of 40015 with flag 467458/221000
29.20/26.19	c cleaning 20996 clauses out of 42013 with flag 513610/243000
31.66/28.58	c cleaning 21998 clauses out of 44018 with flag 563066/266001
34.16/31.10	c cleaning 23004 clauses out of 46021 with flag 613913/290002
36.92/36.15	c cleaning 24000 clauses out of 48015 with flag 666411/315000
39.59/38.87	c cleaning 24998 clauses out of 50015 with flag 720555/341000
42.86/41.90	c cleaning 25999 clauses out of 52018 with flag 776826/368001
46.35/45.28	c cleaning 27004 clauses out of 54019 with flag 836825/396001
49.67/48.43	c cleaning 27999 clauses out of 56014 with flag 897673/425000
52.75/51.58	c cleaning 29002 clauses out of 58016 with flag 960822/455001
56.34/55.03	c cleaning 29996 clauses out of 60013 with flag 1025753/486000
60.15/58.76	c cleaning 30999 clauses out of 62018 with flag 1092553/518001
64.22/62.67	c cleaning 31995 clauses out of 64018 with flag 1162054/551000
68.18/68.17	c cleaning 33003 clauses out of 66024 with flag 1234126/585001
72.46/72.35	c cleaning 33999 clauses out of 68021 with flag 1307615/620001
77.19/77.00	c cleaning 35000 clauses out of 70022 with flag 1383362/656001
81.55/81.19	c cleaning 35999 clauses out of 72021 with flag 1461057/693000
85.86/85.39	c cleaning 37002 clauses out of 74023 with flag 1540848/731001
90.04/89.50	c cleaning 38000 clauses out of 76021 with flag 1621655/770001
94.92/94.22	c cleaning 38999 clauses out of 78021 with flag 1705065/810001
100.47/100.38	c cleaning 40001 clauses out of 80021 with flag 1790892/851000
105.66/105.40	c cleaning 41001 clauses out of 82020 with flag 1877940/893000
110.36/110.14	c cleaning 41996 clauses out of 84019 with flag 1967775/936000
115.86/115.68	c cleaning 43009 clauses out of 86024 with flag 2059925/980001
120.93/120.63	c cleaning 43999 clauses out of 88015 with flag 2153665/1025001
126.04/125.65	c cleaning 44998 clauses out of 90015 with flag 2249771/1071000
131.32/132.23	c cleaning 45999 clauses out of 92018 with flag 2348156/1118001
137.01/137.85	c cleaning 47002 clauses out of 94019 with flag 2448486/1166001
143.20/143.90	c cleaning 48001 clauses out of 96017 with flag 2550430/1215001
148.73/149.44	c cleaning 48997 clauses out of 98015 with flag 2654698/1265000
154.84/155.46	c cleaning 49999 clauses out of 100018 with flag 2761002/1316000
161.56/163.28	c cleaning 51000 clauses out of 102019 with flag 2869360/1368000
169.30/170.95	c cleaning 52000 clauses out of 104019 with flag 2984121/1421000
175.85/177.47	c cleaning 53000 clauses out of 106020 with flag 3097688/1475001
182.81/184.31	c cleaning 54002 clauses out of 108020 with flag 3212890/1530001
189.18/191.75	c cleaning 55003 clauses out of 110017 with flag 3330255/1586000
196.53/198.79	c cleaning 55998 clauses out of 112014 with flag 3449639/1643000
203.12/205.28	c cleaning 56998 clauses out of 114016 with flag 3572223/1701000
210.22/212.22	c cleaning 58000 clauses out of 116019 with flag 3696140/1760001
217.20/219.19	c cleaning 59000 clauses out of 118018 with flag 3821417/1820000
225.52/228.12	c cleaning 59999 clauses out of 120018 with flag 3948794/1881000
233.65/236.19	c cleaning 61001 clauses out of 122020 with flag 4078524/1943001
243.63/245.62	c cleaning 61999 clauses out of 124018 with flag 4210505/2006000
252.00/255.13	c cleaning 62998 clauses out of 126019 with flag 4344461/2070000
260.78/263.87	c cleaning 64001 clauses out of 128021 with flag 4479761/2135000
269.80/272.68	c cleaning 65002 clauses out of 130020 with flag 4617433/2201000
279.71/281.74	c cleaning 66005 clauses out of 132019 with flag 4756223/2268001
289.31/292.16	c cleaning 66993 clauses out of 134014 with flag 4897755/2336001
298.88/301.63	c cleaning 67997 clauses out of 136021 with flag 5041395/2405001
308.14/310.71	c cleaning 68999 clauses out of 138023 with flag 5186660/2475000
317.82/321.55	c cleaning 70004 clauses out of 140024 with flag 5333905/2546000
326.89/330.54	c cleaning 71000 clauses out of 142021 with flag 5483310/2618001
336.69/340.25	c cleaning 71996 clauses out of 144020 with flag 5635536/2691000
346.87/351.44	c cleaning 73003 clauses out of 146025 with flag 5789930/2765001
356.77/361.18	c cleaning 74003 clauses out of 148022 with flag 5946932/2840001
367.34/371.61	c cleaning 74998 clauses out of 150019 with flag 6106391/2916001
377.43/383.08	c cleaning 76004 clauses out of 152021 with flag 6267618/2993001
387.23/392.65	c cleaning 76997 clauses out of 154016 with flag 6431417/3071000
396.78/402.12	c cleaning 77997 clauses out of 156020 with flag 6596991/3150001
407.19/414.09	c cleaning 78999 clauses out of 158022 with flag 6763471/3230000
417.10/423.82	c cleaning 79997 clauses out of 160023 with flag 6933161/3311000
427.21/433.87	c cleaning 81002 clauses out of 162027 with flag 7104666/3393001
439.09/447.27	c cleaning 82001 clauses out of 164025 with flag 7278301/3476001
451.59/459.55	c cleaning 82999 clauses out of 166024 with flag 7453999/3560001
464.68/473.55	c cleaning 83998 clauses out of 168024 with flag 7632236/3645000
474.40/483.15	c Got one! Elapsed wall clock time (in seconds):483.023
474.40/483.15	o 222
476.66/485.33	c cleaning 82418 clauses out of 164858 with flag 10849/3725832
477.77/486.44	c cleaning 44212 clauses out of 88441 with flag 23465/3731833
478.56/487.25	c cleaning 25610 clauses out of 51229 with flag 38838/3738833
479.92/488.37	c cleaning 16799 clauses out of 33618 with flag 55654/3746832
481.02/489.45	c cleaning 12904 clauses out of 25819 with flag 74487/3755832
481.92/490.32	c cleaning 11449 clauses out of 22916 with flag 95290/3765833
482.91/491.31	c cleaning 11223 clauses out of 22466 with flag 118697/3776832
483.90/492.38	c cleaning 11612 clauses out of 23243 with flag 143635/3788832
485.13/493.56	c cleaning 12305 clauses out of 24632 with flag 171071/3801833
486.33/494.79	c cleaning 13154 clauses out of 26326 with flag 200428/3815832
487.73/496.17	c cleaning 14078 clauses out of 28172 with flag 231772/3830832
489.32/497.72	c cleaning 15040 clauses out of 30094 with flag 266631/3846832
491.04/499.40	c cleaning 16014 clauses out of 32054 with flag 302052/3863832
492.70/501.90	c cleaning 17012 clauses out of 34040 with flag 339753/3881832
494.56/503.71	c cleaning 18004 clauses out of 36029 with flag 379349/3900833
496.36/505.57	c cleaning 19004 clauses out of 38025 with flag 421188/3920833
498.45/507.66	c cleaning 19992 clauses out of 40021 with flag 465127/3941833
500.80/509.94	c cleaning 21003 clauses out of 42028 with flag 511116/3963832
502.99/512.19	c cleaning 22003 clauses out of 44025 with flag 559420/3986832
505.56/514.67	c cleaning 23002 clauses out of 46023 with flag 609604/4010833
508.05/517.13	c cleaning 24001 clauses out of 48020 with flag 661779/4035832
511.13/520.10	c cleaning 25001 clauses out of 50019 with flag 718173/4061832
513.82/522.86	c cleaning 26000 clauses out of 52019 with flag 774892/4088833
517.19/526.19	c cleaning 26997 clauses out of 54018 with flag 833389/4116832
520.48/529.41	c cleaning 28001 clauses out of 56021 with flag 894199/4145832
524.05/534.16	c cleaning 29004 clauses out of 58020 with flag 957359/4175832
527.65/537.66	c cleaning 30001 clauses out of 60017 with flag 1022060/4206833
531.25/541.29	c cleaning 30997 clauses out of 62016 with flag 1089083/4238833
534.83/544.77	c cleaning 31998 clauses out of 64018 with flag 1158424/4271832
539.04/548.84	c cleaning 32998 clauses out of 66020 with flag 1229465/4305832
543.03/552.82	c cleaning 34001 clauses out of 68023 with flag 1303008/4340833
547.39/557.15	c cleaning 35004 clauses out of 70022 with flag 1378332/4376833
552.17/561.86	c cleaning 35997 clauses out of 72018 with flag 1455693/4413833
557.16/568.36	c cleaning 37006 clauses out of 74021 with flag 1536330/4451833
561.93/573.10	c cleaning 38000 clauses out of 76014 with flag 1618134/4490832
567.00/578.01	c cleaning 38997 clauses out of 78014 with flag 1701936/4530832
572.23/583.17	c cleaning 40001 clauses out of 80017 with flag 1787763/4571832
577.58/588.39	c cleaning 40999 clauses out of 82018 with flag 1875687/4613834
583.24/594.89	c cleaning 41996 clauses out of 84017 with flag 1965689/4656832
589.63/601.11	c cleaning 42997 clauses out of 86021 with flag 2060315/4700832
595.82/607.24	c cleaning 44000 clauses out of 88024 with flag 2154544/4745832
601.83/613.16	c cleaning 45005 clauses out of 90024 with flag 2250561/4791832
607.83/619.07	c cleaning 46003 clauses out of 92020 with flag 2348642/4838833
614.08/627.06	c cleaning 46997 clauses out of 94016 with flag 2448918/4886832
620.30/633.19	c cleaning 47999 clauses out of 96020 with flag 2551144/4935833
626.59/639.39	c cleaning 48997 clauses out of 98021 with flag 2655714/4985833
632.67/645.32	c cleaning 49998 clauses out of 100023 with flag 2762117/5036832
638.93/651.53	c cleaning 51002 clauses out of 102026 with flag 2870514/5088833
645.32/660.35	c cleaning 51998 clauses out of 104023 with flag 2981696/5141832
652.16/666.92	c cleaning 52999 clauses out of 106025 with flag 3094605/5195832
659.11/673.76	c cleaning 54007 clauses out of 108027 with flag 3209654/5250833
665.74/680.39	c cleaning 55002 clauses out of 110020 with flag 3327005/5306833
673.20/688.93	c cleaning 55995 clauses out of 112018 with flag 3446385/5363833
680.37/696.04	c cleaning 56999 clauses out of 114022 with flag 3567264/5421832
688.67/703.81	c cleaning 58001 clauses out of 116024 with flag 3690204/5480833
696.69/711.32	c cleaning 58999 clauses out of 118024 with flag 3815488/5540834
703.74/719.81	c cleaning 60002 clauses out of 120023 with flag 3943462/5601832
711.19/727.23	c cleaning 61002 clauses out of 122022 with flag 4072763/5663833
719.50/735.30	c cleaning 61995 clauses out of 124020 with flag 4204697/5726833
727.39/743.16	c cleaning 62997 clauses out of 126026 with flag 4338255/5790834
736.06/754.12	c cleaning 64000 clauses out of 128027 with flag 4474733/5855832
744.00/762.02	c cleaning 65003 clauses out of 130027 with flag 4612600/5921832
752.35/770.20	c cleaning 66000 clauses out of 132024 with flag 4754090/5988832
761.37/780.31	c cleaning 67005 clauses out of 134025 with flag 4896767/6056833
769.52/788.45	c cleaning 67999 clauses out of 136019 with flag 5041586/6125832
779.28/797.76	c cleaning 69006 clauses out of 138022 with flag 5187647/6195834
788.24/806.68	c cleaning 70001 clauses out of 140014 with flag 5336281/6266832
797.48/816.97	c cleaning 70998 clauses out of 142013 with flag 5487429/6338832
807.22/826.67	c cleaning 71999 clauses out of 144016 with flag 5640429/6411833
816.99/836.32	c cleaning 72998 clauses out of 146016 with flag 5795028/6485832
827.52/847.66	c cleaning 73999 clauses out of 148018 with flag 5952049/6560832
838.06/858.01	c cleaning 75001 clauses out of 150020 with flag 6110172/6636833
848.93/868.71	c cleaning 76001 clauses out of 152019 with flag 6271233/6713833
859.23/879.68	c cleaning 76997 clauses out of 154018 with flag 6435983/6791833
869.69/889.95	c cleaning 78001 clauses out of 156021 with flag 6601700/6870833
879.89/899.98	c cleaning 79000 clauses out of 158019 with flag 6769192/6950832
890.48/911.13	c cleaning 80002 clauses out of 160019 with flag 6938659/7031832
902.27/922.77	c cleaning 80998 clauses out of 162017 with flag 7111870/7113832
912.47/934.29	c cleaning 82001 clauses out of 164019 with flag 7285363/7196832
923.71/945.37	c cleaning 83000 clauses out of 166019 with flag 7460785/7280833
934.99/956.43	c cleaning 83997 clauses out of 168020 with flag 7639264/7365834
946.67/970.21	c cleaning 84999 clauses out of 170022 with flag 7819489/7451833
958.60/981.95	c cleaning 86000 clauses out of 172022 with flag 8001875/7538832
970.60/996.20	c cleaning 87003 clauses out of 174022 with flag 8186621/7626832
982.57/1008.03	c cleaning 87999 clauses out of 176020 with flag 8373733/7715833
995.45/1020.56	c cleaning 88998 clauses out of 178020 with flag 8562144/7805832
1007.79/1033.53	c cleaning 89999 clauses out of 180022 with flag 8752797/7896832
1021.15/1046.64	c cleaning 91001 clauses out of 182023 with flag 8945848/7988832
1033.53/1059.53	c cleaning 92003 clauses out of 184023 with flag 9140061/8081833
1045.59/1071.43	c cleaning 92999 clauses out of 186019 with flag 9335983/8175832
1058.47/1084.10	c cleaning 94002 clauses out of 188021 with flag 9532203/8270833
1072.64/1098.46	c cleaning 94997 clauses out of 190019 with flag 9732705/8366833
1088.11/1112.86	c cleaning 95999 clauses out of 192021 with flag 9935654/8463832
1101.35/1126.53	c cleaning 96995 clauses out of 194022 with flag 10141318/8561832
1116.50/1140.25	c cleaning 98006 clauses out of 196027 with flag 10348317/8660832
1130.94/1155.01	c cleaning 98998 clauses out of 198021 with flag 10556999/8760832
1147.22/1170.02	c cleaning 100000 clauses out of 200024 with flag 10767412/8861833
1162.61/1184.80	c cleaning 101001 clauses out of 202023 with flag 10980658/8963832
1179.02/1199.92	c cleaning 102003 clauses out of 204023 with flag 11194987/9066833
1194.70/1215.42	c cleaning 102999 clauses out of 206019 with flag 11412126/9170832
1213.03/1231.62	c cleaning 104001 clauses out of 208021 with flag 11631400/9275833
1229.76/1248.02	c cleaning 104998 clauses out of 210020 with flag 11852569/9381833
1247.44/1263.68	c cleaning 106000 clauses out of 212021 with flag 12076239/9488832
1264.88/1280.45	c cleaning 106998 clauses out of 214022 with flag 12300093/9596833
1281.47/1295.83	c cleaning 107997 clauses out of 216024 with flag 12527191/9705833
1298.11/1311.67	c cleaning 109000 clauses out of 218026 with flag 12755319/9815832
1314.64/1326.04	c cleaning 109999 clauses out of 220026 with flag 12986908/9926832
1332.71/1343.79	c cleaning 111003 clauses out of 222028 with flag 13221607/10038833
1351.63/1360.37	c cleaning 112001 clauses out of 224024 with flag 13458041/10151832
1370.07/1378.78	c cleaning 112998 clauses out of 226023 with flag 13696089/10265832
1391.54/1399.41	c cleaning 114002 clauses out of 228025 with flag 13936341/10380832
1412.17/1417.77	c cleaning 114998 clauses out of 230024 with flag 14178409/10496833
1434.41/1438.41	c cleaning 116000 clauses out of 232026 with flag 14422830/10613833
1455.07/1458.06	c cleaning 116998 clauses out of 234026 with flag 14669417/10731833
1475.66/1477.29	c cleaning 118003 clauses out of 236027 with flag 14917698/10850832
1497.21/1497.01	c cleaning 119001 clauses out of 238024 with flag 15168801/10970832
1521.18/1519.05	c cleaning 120002 clauses out of 240023 with flag 15423286/11091832
1542.25/1538.79	c cleaning 121002 clauses out of 242022 with flag 15681531/11213833
1563.97/1558.52	c cleaning 122001 clauses out of 244020 with flag 15940272/11336833
1585.18/1579.50	c cleaning 122999 clauses out of 246020 with flag 16202288/11460834
1608.41/1600.23	c cleaning 124000 clauses out of 248020 with flag 16466057/11585833
1628.56/1619.96	c cleaning 124998 clauses out of 250019 with flag 16730420/11711832
1651.53/1641.05	c cleaning 126003 clauses out of 252022 with flag 16997474/11838833
1673.63/1660.46	c cleaning 126994 clauses out of 254018 with flag 17267696/11966832
1695.86/1682.14	c cleaning 128002 clauses out of 256024 with flag 17539695/12095832
1717.53/1704.38	c cleaning 129001 clauses out of 258022 with flag 17812843/12225832
1741.07/1725.39	c cleaning 130001 clauses out of 260021 with flag 18088050/12356832
1766.14/1749.97	c cleaning 130997 clauses out of 262022 with flag 18365538/12488834
1791.65/1775.75	c cleaning 132003 clauses out of 264024 with flag 18644652/12621833
1815.66/1799.33	c cleaning 132997 clauses out of 266020 with flag 18926088/12755832
1839.91/1820.82	c cleaning 134001 clauses out of 268024 with flag 19209741/12890833
1862.94/1843.82	c cleaning 134999 clauses out of 270023 with flag 19494870/13026833
1884.99/1866.61	c cleaning 136001 clauses out of 272024 with flag 19783428/13163833
1907.84/1888.11	c cleaning 137002 clauses out of 274022 with flag 20073247/13301832
1934.18/1914.78	c cleaning 137998 clauses out of 276021 with flag 20366020/13440833
1958.71/1938.49	c cleaning 138996 clauses out of 278022 with flag 20660671/13580832
1981.36/1961.07	c cleaning 140000 clauses out of 280027 with flag 20956921/13721833
2002.27/1982.13	c cleaning 141001 clauses out of 282026 with flag 21253820/13863832
2026.38/2004.88	c cleaning 142000 clauses out of 284025 with flag 21551533/14006832
2053.33/2032.34	c cleaning 143003 clauses out of 286025 with flag 21852452/14150832
2082.36/2060.99	c cleaning 143998 clauses out of 288022 with flag 22155256/14295832
2109.79/2088.90	c cleaning 145001 clauses out of 290024 with flag 22461563/14441832
2137.79/2115.98	c cleaning 146001 clauses out of 292023 with flag 22770595/14588832
2165.87/2141.12	c cleaning 146997 clauses out of 294022 with flag 23080534/14736832
2194.07/2168.20	c cleaning 148002 clauses out of 296025 with flag 23393184/14885832
2224.48/2197.09	c cleaning 148998 clauses out of 298024 with flag 23707148/15035833
2252.31/2224.22	c cleaning 150000 clauses out of 300025 with flag 24023170/15186832
2280.17/2251.12	c cleaning 150996 clauses out of 302026 with flag 24342002/15338833
2310.55/2278.90	c cleaning 152002 clauses out of 304030 with flag 24662395/15491833
2340.13/2305.49	c cleaning 153000 clauses out of 306027 with flag 24984802/15645832
2368.33/2331.27	c cleaning 153999 clauses out of 308027 with flag 25309008/15800832
2399.19/2359.92	c cleaning 155002 clauses out of 310029 with flag 25636595/15956833
2432.18/2390.19	c cleaning 156002 clauses out of 312027 with flag 25967451/16113833
2462.79/2419.57	c cleaning 156999 clauses out of 314024 with flag 26299022/16271832
2491.51/2447.15	c cleaning 158000 clauses out of 316025 with flag 26632920/16430832
2523.59/2478.09	c cleaning 159002 clauses out of 318025 with flag 26968622/16590832
2552.96/2505.94	c cleaning 159997 clauses out of 320024 with flag 27308342/16751833
2584.38/2536.35	c cleaning 160999 clauses out of 322026 with flag 27654506/16913832
2617.25/2567.77	c cleaning 161998 clauses out of 324028 with flag 27995865/17076833
2649.55/2599.09	c cleaning 163004 clauses out of 326030 with flag 28339891/17240833
2682.44/2630.16	c cleaning 163995 clauses out of 328026 with flag 28687536/17405833
2722.23/2666.89	c cleaning 165001 clauses out of 330031 with flag 29036572/17571833
2760.01/2701.50	c cleaning 166000 clauses out of 332030 with flag 29388076/17738833
2795.75/2735.57	c cleaning 167000 clauses out of 334030 with flag 29739782/17906833
2830.45/2767.62	c cleaning 168002 clauses out of 336029 with flag 30094271/18075832
2867.18/2802.63	c cleaning 169007 clauses out of 338027 with flag 30451300/18245832
2902.00/2834.87	c cleaning 170002 clauses out of 340020 with flag 30811523/18416832
2936.28/2866.22	c cleaning 170997 clauses out of 342018 with flag 31171827/18588832
2971.31/2899.63	c cleaning 172001 clauses out of 344021 with flag 31533293/18761832
3005.26/2931.94	c cleaning 172996 clauses out of 346021 with flag 31898354/18935833
3043.23/2966.38	c cleaning 174001 clauses out of 348025 with flag 32264978/19110833
3079.33/3000.87	c cleaning 175003 clauses out of 350023 with flag 32634976/19286832
3116.06/3035.94	c cleaning 176000 clauses out of 352021 with flag 33006344/19463833
3149.62/3068.12	c cleaning 177001 clauses out of 354021 with flag 33379200/19641833
3181.38/3098.77	c cleaning 177995 clauses out of 356019 with flag 33754480/19820832
3213.42/3130.07	c cleaning 179003 clauses out of 358025 with flag 34131560/20000833
3250.43/3165.85	c cleaning 179998 clauses out of 360022 with flag 34512495/20181833
3289.37/3201.32	c cleaning 181000 clauses out of 362024 with flag 34895432/20363833
3327.81/3235.87	c cleaning 182003 clauses out of 364023 with flag 35281494/20546832
3362.43/3268.72	c cleaning 182999 clauses out of 366020 with flag 35668357/20730832
3400.85/3303.57	c cleaning 183998 clauses out of 368021 with flag 36059023/20915832
3435.71/3336.79	c cleaning 185003 clauses out of 370023 with flag 36449606/21101832
3474.71/3373.10	c cleaning 185995 clauses out of 372020 with flag 36841594/21288832
3488.56/3385.12	c Got one! Elapsed wall clock time (in seconds):3384.996
3488.56/3385.12	o 221
3493.56/3390.15	c cleaning 140873 clauses out of 281762 with flag 10809/21384569
3496.36/3392.97	c cleaning 73434 clauses out of 146888 with flag 23333/21390568
3497.65/3394.28	c cleaning 40215 clauses out of 80455 with flag 37916/21397569
3498.64/3395.23	c cleaning 24109 clauses out of 48240 with flag 54595/21405569
3499.45/3396.07	c cleaning 16557 clauses out of 33130 with flag 73549/21414568
3500.37/3396.98	c cleaning 13275 clauses out of 26574 with flag 94503/21424569
3501.48/3398.02	c cleaning 12141 clauses out of 24298 with flag 117544/21435568
3502.48/3399.07	c cleaning 12071 clauses out of 24157 with flag 142566/21447568
3503.74/3400.28	c cleaning 12529 clauses out of 25086 with flag 169537/21460568
3505.13/3401.44	c cleaning 13272 clauses out of 26557 with flag 198500/21474568
3506.54/3402.82	c cleaning 14131 clauses out of 28286 with flag 229689/21489569
3507.97/3404.96	c cleaning 15067 clauses out of 30155 with flag 263047/21505569
3509.56/3406.51	c cleaning 16034 clauses out of 32088 with flag 298724/21522569
3511.28/3408.21	c cleaning 17017 clauses out of 34053 with flag 336165/21540568
3513.36/3410.15	c cleaning 18009 clauses out of 36037 with flag 375723/21559569
3515.82/3412.35	c cleaning 19006 clauses out of 38028 with flag 417323/21579569
3518.45/3414.75	c cleaning 20004 clauses out of 40021 with flag 461973/21600568
3521.04/3417.12	c cleaning 20998 clauses out of 42017 with flag 508149/21622568
3523.75/3419.67	c cleaning 21998 clauses out of 44020 with flag 555848/21645569
3526.88/3422.39	c cleaning 23001 clauses out of 46021 with flag 606191/21669568
3529.89/3425.07	c cleaning 23996 clauses out of 48021 with flag 658348/21694569
3533.17/3428.00	c cleaning 25005 clauses out of 50026 with flag 713229/21720570
3536.49/3431.08	c cleaning 25997 clauses out of 52019 with flag 769559/21747568
3540.11/3434.90	c cleaning 26999 clauses out of 54023 with flag 828198/21775569
3543.50/3438.03	c cleaning 28000 clauses out of 56023 with flag 888934/21804568
3547.26/3441.25	c cleaning 29000 clauses out of 58023 with flag 951500/21834568
3550.84/3444.52	c cleaning 30002 clauses out of 60024 with flag 1016170/21865569
3554.93/3448.01	c cleaning 31001 clauses out of 62022 with flag 1083060/21897569
3559.12/3451.59	c cleaning 31998 clauses out of 64020 with flag 1151905/21930568
3563.40/3455.41	c cleaning 32999 clauses out of 66023 with flag 1222935/21964569
3568.11/3459.46	c cleaning 34002 clauses out of 68024 with flag 1295907/21999569
3572.83/3463.71	c cleaning 34998 clauses out of 70022 with flag 1370235/22035569
3578.06/3469.30	c cleaning 35997 clauses out of 72023 with flag 1446344/22072568
3582.98/3473.80	c cleaning 37004 clauses out of 74026 with flag 1524666/22110568
3588.06/3478.54	c cleaning 37997 clauses out of 76022 with flag 1605599/22149568
3593.87/3483.56	c cleaning 39000 clauses out of 78025 with flag 1688721/22189568
3600.02/3489.21	c starts		: 4
3600.02/3489.22	c conflicts		: 22230569
3600.02/3489.22	c decisions		: 28922207
3600.02/3489.22	c propagations		: 313587930
3600.02/3489.22	c inspects		: 12734338051
3600.02/3489.22	c shortcuts		: 0
3600.02/3489.22	c learnt literals	: 0
3600.02/3489.22	c learnt binary clauses	: 0
3600.02/3489.22	c learnt ternary clauses	: 0
3600.02/3489.22	c learnt constraints	: 22230569
3600.02/3489.22	c ignored constraints	: 0
3600.02/3489.22	c root simplifications	: 0
3600.02/3489.22	c removed literals (reason simplification)	: 98460
3600.02/3489.22	c reason swapping (by a shorter reason)	: 0
3600.02/3489.22	c Calls to reduceDB	: 301
3600.02/3489.22	c Number of update (reduction) of LBD	: 486878
3600.02/3489.22	c Imported unit clauses	: 0
3600.02/3489.22	c No decision after first conflict	: false
3600.02/3489.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3489.22	c number of learned constraints concerned by reduction	: 0
3600.02/3489.22	c number of learning phase by resolution	: 0
3600.02/3489.22	c number of learning phase by cutting planes	: 0
3600.02/3489.22	c number of rounding to 1 operations	: 0
3600.02/3489.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3489.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3489.22	c number of right shift for reduction by power 2 	: 0
3600.02/3489.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3489.23	c number of ending skipping 	: 0
3600.02/3489.23	c number of internal skipping 	: 0
3600.02/3489.23	c number of derivation steps 	: 0
3600.02/3489.23	c number of skipped derivation steps 	: 0
3600.02/3489.23	c number of remaining unassigned 	: 0
3600.02/3489.23	c number of remaining assigned 	: 0
3600.02/3489.23	c number of falsified literals weakened from reason	: 0
3600.02/3489.23	c number of falsified literals weakened from conflict	: 0
3600.02/3489.23	c time for arithmetic operations	: 0
3600.02/3489.23	c minimum degree of deleted constraints	: null
3600.02/3489.23	c maximum degree of deleted constraints	: null
3600.02/3489.23	c number of deleted constraints	: 0
3600.02/3489.23	c speed (assignments/second)	: 89878.02371942531
3600.02/3489.23	c non guided choices	: 0
3600.02/3489.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 80026
3600.02/3489.28	s SATISFIABLE
3600.02/3489.28	c Found 3 solution(s)
3600.02/3489.28	v -x1 x2 x3 x4 -x5 x6 x7 -x8 x9 x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 -x20 x21 x22 x23 x24 -x25 x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 x35 x36 x37 -x38 x39 x40 x41 x42 x43 x44 -x45 -x46 x47 x48 x49 x50 x51 -x52 x53 x54 x55 -x56 -x57 x58 x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 -x78 -x79 x80 x81 x82 -x83 -x84 x85 x86 x87 x88 x89 -x90 x91 x92 x93 x94 -x95 x96 x97 -x98 x99 x100 x101 -x102 x103 x104 x105 x106 x107 x108 -x109 -x110 x111 x112 x113 -x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 x133 x134 x135 x136 x137 -x138 x139 -x140 -x141 x142 x143 x144 x145 -x146 x147 -x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 -x159 -x160 x161 -x162 -x163 x164 x165 x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 x175 x176 x177 -x178 x179 x180 -x181 x182 -x183 x184 x185 x186 -x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 x200 x201 x202 -x203 -x204 -x205 x206 x207 -x208 x209 x210 x211 -x212 x213 -x214 x215 -x216 x217 x218 x219 -x220 x221 -x222 -x223 x224 x225 x226 x227 x228 x229 x230 x231 -x232 -x233 x234 -x235 x236 x237 x238 x239 -x240 -x241 -x242 -x243 x244 x245 x246 x247 x248 -x249 -x250 x251 x252 x253 x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 x276 x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 x289 x290 x291 x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 x329 x330 -x331 x332 x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 
3600.21/3489.30	c objective function=221
3600.21/3489.30	c Total wall clock time (in seconds): 3489.174

Verifier Data 

OK	221

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440284-1721769357/watcher-4440284-1721769357 -o /tmp/evaluation-result-4440284-1721769357/solver-4440284-1721769357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721765707-133297 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440284-1721769357 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440284-1721769357.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
solver pid=135573, runsolver pid=135570
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 4.42 4.39 4.37 7/334 135591
/proc/meminfo: memFree=106647104/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=18975048 memory=64480 CPUtime=0.14 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 7221 0 0 0 12 2 0 0 20 0 18 0 13459109 19430449152 16120 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4743762 16120 5512 1 0 549330 0
[pid=135573/tid=135575] ppid=135570 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 5760 0 0 0 8 1 0 0 20 0 18 0 13459110 19430449152 16120 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13459112 19430449152 16120 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=18975048 memory=15262540771628552 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13459113 19430449152 16120 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64480 KiB

[startup+0.214257 s]*
/proc/loadavg: 4.42 4.39 4.37 8/335 135592
/proc/meminfo: memFree=106498800/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19041612 memory=72252 CPUtime=0.34 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 7808 0 0 0 32 2 0 0 20 0 19 0 13459109 19498610688 18063 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4760403 18063 5836 1 0 550018 0
[pid=135573/tid=135575] ppid=135570 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 6080 0 0 0 18 1 0 0 20 0 19 0 13459110 19498610688 18063 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19041612 memory=792316 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13459112 19498610688 18063 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19041612 memory=13855165887284878 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13459113 19498610688 18063 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13459128 19498610688 18063 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72252 KiB

[startup+0.309949 s]*
/proc/loadavg: 4.42 4.39 4.37 6/335 135592
/proc/meminfo: memFree=106409564/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19041612 memory=91208 CPUtime=0.53 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 7958 0 0 0 50 3 0 0 20 0 19 0 13459109 19498610688 22802 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4760403 22802 5836 1 0 550041 0
[pid=135573/tid=135575] ppid=135570 vsize=19041612 memory=-9175632785671234236 CPUtime=0.29 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 6097 0 0 0 27 2 0 0 20 0 19 0 13459110 19498610688 22802 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13459112 19498610688 22802 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13459113 19498610688 22802 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13459128 19498610688 22802 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91208 KiB

[startup+0.700254 s]
/proc/loadavg: 4.42 4.39 4.37 7/335 135592
/proc/meminfo: memFree=106344392/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=169028 CPUtime=1.25 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 10397 0 0 0 120 5 0 0 20 0 20 0 13459109 19566772224 42257 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 42257 5836 1 0 551743 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=50852 CPUtime=0.64 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 6139 0 0 0 61 3 0 0 20 0 20 0 13459110 19566772224 42257 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 42257 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=2296 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 42257 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=25608 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 42257 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169028 KiB

[startup+1.50125 s]
/proc/loadavg: 4.54 4.41 4.38 7/336 135593
/proc/meminfo: memFree=106291112/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=190896 CPUtime=2.82 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 19318 0 0 0 274 8 0 0 20 0 20 0 13459109 19566772224 47724 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 47724 5900 1 0 554327 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=12304 CPUtime=1.36 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 7000 0 0 0 131 5 0 0 20 0 20 0 13459110 19566772224 47724 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 47724 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=2296 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 47724 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=25608 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 47724 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190896 KiB

[startup+3.10585 s]
/proc/loadavg: 4.54 4.41 4.38 3/336 135593
/proc/meminfo: memFree=105767788/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=657972 CPUtime=5.15 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 22120 0 0 0 495 20 0 0 20 0 20 0 13459109 19566772224 164493 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 164493 5900 1 0 819854 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=0 CPUtime=2.86 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 7711 0 0 0 272 14 0 0 20 0 20 0 13459110 19566772224 164493 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=-9175632785671234236 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 164493 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 164493 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=2296 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 164493 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 657972 KiB

[startup+6.30026 s]
/proc/loadavg: 4.50 4.41 4.38 5/336 135593
/proc/meminfo: memFree=105002344/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=1468488 CPUtime=8.61 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 23517 0 0 0 821 40 0 0 20 0 20 0 13459109 19566772224 367122 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 367122 5900 1 0 1383867 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=2296 CPUtime=5.84 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 8023 0 0 0 555 29 0 0 20 0 20 0 13459110 19566772224 367122 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 367122 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 367122 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 367122 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1468488 KiB

[startup+12.7003 s]
/proc/loadavg: 4.46 4.40 4.38 5/336 135595
/proc/meminfo: memFree=103357940/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=2267372 CPUtime=15.21 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 24046 0 0 0 1457 64 0 0 20 0 20 0 13459109 19566772224 566843 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 566843 5900 1 0 1383881 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=12304 CPUtime=12.01 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 8400 0 0 0 1151 50 0 0 20 0 20 0 13459110 19566772224 566843 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=2175136 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 566843 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=50852 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 566843 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 566843 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2267372 KiB

[startup+25.5013 s]
/proc/loadavg: 4.61 4.43 4.39 5/336 135597
/proc/meminfo: memFree=99731204/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=3697912 CPUtime=28.61 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 28230 0 0 0 2750 111 0 0 20 0 20 0 13459109 19566772224 924478 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 924478 5900 1 0 1498767 0
[pid=135573/tid=135575] ppid=135570 vsize=19108176 memory=6943526294502006880 CPUtime=24.05 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 10606 0 0 0 2317 88 0 0 20 0 20 0 13459110 19566772224 924478 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19566772224 924478 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19108176 memory=3524 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13459113 19566772224 924478 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19566772224 924478 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 28.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3697912 KiB

[startup+51.1059 s]
/proc/loadavg: 4.45 4.41 4.38 5/336 135602
/proc/meminfo: memFree=96784216/131524600 swapFree=131071472/131071996
[pid=135573] ppid=135570 vsize=19108176 memory=4593420 CPUtime=52.37 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 32104 0 0 0 5074 163 0 0 20 0 20 0 13459109 19566772224 1148355 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4777044 1148355 5900 1 0 1498783 0

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

/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 1279171 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=5116652 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2313 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 1279171 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=5116684 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 1279171 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3184.97 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5116684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.46 4.48 4.43 5/342 137612
/proc/meminfo: memFree=575016/131524600 swapFree=131056540/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=7343732 CPUtime=3246.93 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 6205395 0 0 0 320302 4391 0 0 20 0 20 0 13459109 19633881088 1835933 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 1835933 5928 1 0 2330804 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=5116652 CPUtime=2950.76 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 5461595 0 0 0 291011 4065 0 0 20 0 20 0 13459110 19633881088 1835933 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10899 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=5116652 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 1835933 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=7343732 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2347 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 1835933 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=7343732 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 1835933 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3246.93 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 7343732 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.45 4.42 5/340 137623
/proc/meminfo: memFree=2761376/131524600 swapFree=131056540/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=4926340 CPUtime=3311.93 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 6788297 0 0 0 326669 4524 0 0 20 0 20 0 13459109 19633881088 1231585 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 1231585 5928 1 0 1245092 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=5116652 CPUtime=3007.88 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 5994406 0 0 0 296617 4171 0 0 20 0 20 0 13459110 19633881088 1231585 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 10989 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=4926340 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 1231585 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=4926340 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2449 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 1231585 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=51052 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 1231585 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3311.93 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 4926340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.46 4.46 4.43 5/342 137923
/proc/meminfo: memFree=1064940/131524600 swapFree=131056540/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=4926348 CPUtime=3377.8 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 7274387 0 0 0 333137 4643 0 0 20 0 20 0 13459109 19633881088 1231587 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 1231587 5928 1 0 1245092 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=4926348 CPUtime=3065.18 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 6445241 0 0 0 302239 4279 0 0 20 0 20 0 13459110 19633881088 1231587 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11030 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=12304 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 1231587 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=5432 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2449 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 1231587 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=4926348 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 1231587 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3377.8 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 4926348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.43 4.42 2/343 137935
/proc/meminfo: memFree=571944/131524600 swapFree=131049848/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=4926352 CPUtime=3440.82 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 7753593 0 0 0 339355 4727 0 0 20 0 20 0 13459109 19633881088 1231588 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 1231588 5928 1 0 1245093 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=4926348 CPUtime=3121.47 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) D 135570 135573 133285 0 -1 4194368 6898733 0 0 0 307790 4357 0 0 20 0 20 0 13459110 19633881088 1231588 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11158 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=4926348 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 1231588 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=4926352 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2484 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 1231588 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=4926352 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 1231588 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3440.82 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 4926352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.40 4.41 5/342 138015
/proc/meminfo: memFree=13758384/131524600 swapFree=131049848/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=2759028 CPUtime=3506.05 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 8232810 0 0 0 345777 4828 0 0 20 0 20 0 13459109 19633881088 689757 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 689757 5928 1 0 702216 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=4926352 CPUtime=3178.94 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 7346430 0 0 0 313453 4441 0 0 20 0 20 0 13459110 19633881088 689757 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11283 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=51052 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 689757 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=4926388 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2520 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 689757 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=-9175632785671234236 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 689757 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3506.05 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 2759028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.45 4.43 5/343 138028
/proc/meminfo: memFree=13245508/131524600 swapFree=131049848/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=1179292 CPUtime=3571.35 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 8257162 0 0 0 352159 4976 0 0 20 0 20 0 13459109 19633881088 294823 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 294823 5925 1 0 305507 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=2759028 CPUtime=3233.92 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 7353143 0 0 0 318814 4578 0 0 20 0 20 0 13459110 19633881088 294823 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11433 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=15884 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 294823 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=1179228 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2557 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 294823 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=1012636 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 294823 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 1179292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3489.2 s]
/proc/loadavg: 4.45 4.43 4.42 5/342 138304
/proc/meminfo: memFree=86813640/131524600 swapFree=131049848/131071996
[pid=135573] ppid=135570 vsize=19173712 memory=1395892 CPUtime=3600.02 cores=1,3
/proc/135573/stat : 135573 (java) S 135570 135573 133285 0 -1 1077936128 8260584 0 0 0 354974 5028 0 0 20 0 20 0 13459109 19633881088 348973 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
/proc/135573/statm: 4793428 348973 5925 1 0 359795 0
[pid=135573/tid=135575] ppid=135570 vsize=19173712 memory=4780 CPUtime=3258.16 cores=1,3
/proc/135573/task/135575/stat : 135575 (java) R 135570 135573 133285 0 -1 4194368 7353740 0 0 0 321190 4626 0 0 20 0 20 0 13459110 19633881088 348973 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11547 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135584] ppid=135570 vsize=19173712 memory=7984 CPUtime=0 cores=1,3
/proc/135573/task/135584/stat : 135584 (Finalizer) S 135570 135573 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13459112 19633881088 348973 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135591] ppid=135570 vsize=19173712 memory=19684 CPUtime=0 cores=1,3
/proc/135573/task/135591/stat : 135591 (Common-Cleaner) S 135570 135573 133285 0 -1 1077936192 2593 0 0 0 0 0 0 0 20 0 20 0 13459113 19633881088 348973 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
[pid=135573/tid=135592] ppid=135570 vsize=19173712 memory=6796 CPUtime=0 cores=1,3
/proc/135573/task/135592/stat : 135592 (Timer-0) S 135570 135573 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13459128 19633881088 348973 134679101440 94347883024384 94347883028080 140737060640704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94347883035896 94347883036688 94347893227520 140737060647851 140737060648033 140737060648033 140737060655048 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 1395892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3549.94 s, system=50.3766 s

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

[startup+3489.6 s]
/proc/loadavg: 4.45 4.43 4.42 4/324 138307
/proc/meminfo: memFree=88159644/131524600 swapFree=131049848/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3489.63
CPU time (s): 3600.32
CPU user time (s): 3549.94
CPU system time (s): 50.3766
CPU usage (%): 103.172
Max. virtual memory (cumulated for all children) (KiB): 19373404
Max. memory (cumulated for all children) (KiB): 8544100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.94
system time used= 50.3766
maximum resident set size= 8544100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8262644
page faults= 0
swaps= 0
block input operations= 8
block output operations= 76568128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150929
involuntary context switches= 27973


# summary of solver processes directly reported to runsolver:
#   pid: 135573
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3549.94
#   total CPU system time (s): 50.3766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8275 second user time and 13.911 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-23 23:15:57
IDJOB=4440284
IDBENCH=147548
IDSOLVER=3079
FILE ID=nodeC028/4440284-1721769357
RUNJOBID= nodeC028-1721765707-133297
SLURM_JOB_ID= 7770675
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440284-1721769357/watcher-4440284-1721769357 -o /tmp/evaluation-result-4440284-1721769357/solver-4440284-1721769357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721765707-133297 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440284-1721769357 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440284-1721769357.opb

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

MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=2007171220

nodeC028.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		: 3675.062
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.46
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		: 3649.032
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.51
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		: 3599.943
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.46
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		: 3642.686
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.51
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		: 3675.045
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.46
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		: 3675.968
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        106740248 kB
MemAvailable:   113873528 kB
Buffers:          177484 kB
Cached:          7709728 kB
SwapCached:           44 kB
Active:          1291052 kB
Inactive:       22694044 kB
Active(anon):       3744 kB
Inactive(anon): 16139932 kB
Active(file):    1287308 kB
Inactive(file):  6554112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            886472 kB
Writeback:             8 kB
AnonPages:      16097248 kB
Mapped:           128116 kB
Shmem:             45712 kB
KReclaimable:     263364 kB
Slab:             403848 kB
SReclaimable:     263364 kB
SUnreclaim:       140484 kB
KernelStack:        5120 kB
PageTables:        41236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20116072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21632 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15788032 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:      330452 kB
DirectMap2M:    26705920 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-24 00:14:07