Trace number 4432150

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.19 3593.28

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
MD5SUM53c68bf7d19d7287f2cd1e2b2d097a69
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 benchmark-47392
Best CPU time to get the best result obtained on this benchmark3533.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57510
Total number of constraints149401
Number of constraints which are clauses149400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 231641
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 231641
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432150-1721050991.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
1.48/0.85	c ... done. Wall clock time 0.722s.
1.48/0.85	c declared #vars     57510
1.48/0.85	c #constraints  149401
1.48/0.85	c constraints type 
1.48/0.85	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 112359
1.48/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.48/0.85	c org.sat4j.specs.Constr$1 => 40
1.48/0.85	c org.sat4j.pb.constraints.pb.UnitClausePB => 17
1.48/0.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36984
1.48/0.85	c 149401 constraints processed.
1.48/0.86	c objective function length is 389 literals
8.76/6.36	c cleaning 2498 clauses out of 5000 with flag 29474/5001
13.03/10.33	c cleaning 4238 clauses out of 8500 with flag 51150/11000
16.38/13.43	c cleaning 5618 clauses out of 11264 with flag 79573/18002
19.81/16.81	c cleaning 6818 clauses out of 13644 with flag 114571/26000
23.91/20.93	c cleaning 7911 clauses out of 15827 with flag 159604/35001
24.85/21.86	c SATISFIABLE
24.85/21.86	c OPTIMIZING...
24.85/21.86	c Got one! Elapsed wall clock time (in seconds):21.735
24.85/21.86	o -9000
28.64/25.49	c cleaning 6840 clauses out of 13701 with flag 24228/40787
32.34/29.14	c cleaning 6429 clauses out of 12864 with flag 46999/46790
35.14/31.92	c Got one! Elapsed wall clock time (in seconds):31.8
35.14/31.93	o -9251
36.13/32.80	c cleaning 5823 clauses out of 11645 with flag 4585/52003
40.75/37.46	c cleaning 5906 clauses out of 11824 with flag 35602/58005
44.45/41.17	c cleaning 6442 clauses out of 12916 with flag 70861/65003
48.74/45.40	c Got one! Elapsed wall clock time (in seconds):45.282
48.74/45.41	o -9437
53.23/49.84	c cleaning 9418 clauses out of 18890 with flag 30909/77419
57.32/53.99	c cleaning 7724 clauses out of 15472 with flag 61871/83419
61.22/57.87	c cleaning 7365 clauses out of 14749 with flag 95875/90420
64.43/61.08	c Got one! Elapsed wall clock time (in seconds):60.962
64.43/61.08	o -11233
67.97/64.54	c cleaning 9044 clauses out of 18123 with flag 25909/101162
71.98/68.57	c cleaning 7448 clauses out of 15079 with flag 57239/107162
76.17/72.79	c cleaning 7305 clauses out of 14632 with flag 92558/114163
80.03/76.56	c cleaning 7654 clauses out of 15329 with flag 135122/122165
81.45/77.94	c Got one! Elapsed wall clock time (in seconds):77.82
81.45/77.94	o -11556
83.29/79.70	c cleaning 6649 clauses out of 13423 with flag 17979/127913
87.89/84.30	c cleaning 6376 clauses out of 12775 with flag 57725/133914
92.29/88.72	c cleaning 6690 clauses out of 13398 with flag 85870/140913
94.89/91.38	c Got one! Elapsed wall clock time (in seconds):91.256
94.89/91.38	o -11573
98.86/95.38	c cleaning 8518 clauses out of 17041 with flag 27960/151246
102.92/99.48	c cleaning 7252 clauses out of 14520 with flag 59860/157243
107.43/103.98	c cleaning 7121 clauses out of 14268 with flag 98683/164243
111.79/108.37	c cleaning 7564 clauses out of 15149 with flag 144435/172245
117.65/114.29	c cleaning 8281 clauses out of 16583 with flag 214298/181243
122.28/118.90	c Got one! Elapsed wall clock time (in seconds):118.774
122.28/118.90	o -11586
126.63/123.23	c cleaning 10003 clauses out of 20026 with flag 32547/192967
130.60/127.23	c cleaning 8001 clauses out of 16023 with flag 66599/198967
134.90/131.58	c cleaning 7509 clauses out of 15024 with flag 112105/205969
139.96/136.66	c cleaning 7752 clauses out of 15513 with flag 161504/213967
144.07/140.75	c cleaning 8373 clauses out of 16761 with flag 204436/222967
148.03/144.73	c cleaning 9181 clauses out of 18388 with flag 245779/232967
152.46/149.14	c cleaning 10094 clauses out of 20207 with flag 293848/243967
157.44/154.13	c cleaning 11055 clauses out of 22114 with flag 352030/255968
162.59/159.26	c cleaning 12027 clauses out of 24058 with flag 415377/268967
168.26/164.90	c cleaning 13015 clauses out of 26032 with flag 489264/282968
170.78/167.35	c Got one! Elapsed wall clock time (in seconds):167.229
170.78/167.35	o -12130
171.28/167.90	c cleaning 9322 clauses out of 18645 with flag 5475/288596
176.50/173.06	c cleaning 7652 clauses out of 15324 with flag 38192/294597
179.69/176.29	c Got one! Elapsed wall clock time (in seconds):176.171
179.69/176.29	o -12309
183.48/180.01	c cleaning 9307 clauses out of 18641 with flag 24108/305567
187.87/184.47	c cleaning 7650 clauses out of 15334 with flag 47005/311567
193.22/189.71	c cleaning 7312 clauses out of 14684 with flag 79083/318567
198.52/195.10	c cleaning 7672 clauses out of 15372 with flag 115468/326567
204.00/200.58	c cleaning 8340 clauses out of 16700 with flag 157633/335567
209.00/205.50	c cleaning 9173 clauses out of 18362 with flag 201189/345569
213.89/210.46	c cleaning 10081 clauses out of 20187 with flag 252487/356567
220.27/216.71	c cleaning 11045 clauses out of 22106 with flag 320468/368567
226.57/223.05	c cleaning 12020 clauses out of 24068 with flag 385237/381574
227.56/224.03	c Got one! Elapsed wall clock time (in seconds):223.909
227.56/224.03	o -12315
230.66/227.13	c cleaning 8736 clauses out of 17481 with flag 23667/387007
234.55/231.01	c cleaning 7358 clauses out of 14746 with flag 52916/393008
239.35/235.81	c cleaning 7139 clauses out of 14387 with flag 78912/400007
243.94/240.40	c cleaning 7604 clauses out of 15249 with flag 107215/408008
250.63/247.07	c cleaning 8327 clauses out of 16654 with flag 129179/417017
258.21/254.68	c cleaning 9156 clauses out of 18317 with flag 153154/427007
264.30/260.70	c Got one! Elapsed wall clock time (in seconds):260.575
264.30/260.70	o -12351
268.99/265.43	c cleaning 11054 clauses out of 22116 with flag 30972/439962
273.19/269.61	c cleaning 8523 clauses out of 17063 with flag 54885/445963
277.12/273.20	c cleaning 7745 clauses out of 15540 with flag 82422/452963
281.52/277.67	c cleaning 7869 clauses out of 15794 with flag 119764/460962
286.02/282.12	c cleaning 8457 clauses out of 16926 with flag 157340/469963
290.31/286.43	c cleaning 9235 clauses out of 18470 with flag 198463/479964
290.31/286.48	c Got one! Elapsed wall clock time (in seconds):286.363
290.31/286.48	o -12364
294.74/290.89	c cleaning 6189 clauses out of 14293 with flag 19347/485022
299.33/295.43	c cleaning 5901 clauses out of 14101 with flag 43273/491019
301.53/297.62	c Got one! Elapsed wall clock time (in seconds):297.495
301.53/297.62	o -12483
302.23/298.37	c cleaning 5086 clauses out of 13399 with flag 3807/496218
307.06/303.11	c cleaning 5954 clauses out of 14313 with flag 30497/502218
310.73/306.82	c cleaning 6840 clauses out of 15360 with flag 61798/509219
310.82/306.97	c Got one! Elapsed wall clock time (in seconds):306.849
310.82/306.97	o -13221
314.99/311.11	c cleaning 5238 clauses out of 13830 with flag 20206/514529
318.95/315.18	c cleaning 5926 clauses out of 14589 with flag 46234/520526
322.92/319.11	c cleaning 6803 clauses out of 15666 with flag 72563/527529
327.58/323.81	c Got one! Elapsed wall clock time (in seconds):323.694
327.58/323.81	o -13268
331.55/327.87	c cleaning 10223 clauses out of 20561 with flag 18134/539228
335.62/331.92	c cleaning 7320 clauses out of 16337 with flag 43484/545227
337.89/334.25	c Got one! Elapsed wall clock time (in seconds):334.129
337.89/334.25	o -13366
342.16/338.52	c cleaning 9922 clauses out of 19873 with flag 30009/556084
345.83/342.23	c cleaning 6605 clauses out of 15951 with flag 54321/562084
349.90/346.27	c cleaning 6886 clauses out of 16346 with flag 87458/569084
354.96/351.37	c cleaning 7899 clauses out of 17459 with flag 131429/577083
360.02/356.45	c cleaning 8958 clauses out of 18560 with flag 169058/586083
363.29/359.77	c Got one! Elapsed wall clock time (in seconds):359.65
363.29/359.77	o -13391
366.96/363.48	c cleaning 11014 clauses out of 22048 with flag 25718/598529
370.93/367.48	c cleaning 7203 clauses out of 17034 with flag 50912/604529
371.13/367.63	c Got one! Elapsed wall clock time (in seconds):367.506
371.13/367.63	o -13393
375.22/371.73	c cleaning 5226 clauses out of 15142 with flag 21792/609840
379.11/375.69	c cleaning 5955 clauses out of 15915 with flag 42408/615839
382.49/378.91	c cleaning 6942 clauses out of 16959 with flag 65605/622838
385.88/382.38	c cleaning 7982 clauses out of 18018 with flag 92252/630839
390.98/387.42	c Got one! Elapsed wall clock time (in seconds):387.296
390.98/387.42	o -13980
395.08/391.52	c cleaning 11542 clauses out of 23104 with flag 19436/643907
399.47/395.94	c cleaning 7237 clauses out of 17565 with flag 41759/649910
403.96/400.48	c cleaning 6839 clauses out of 17327 with flag 67826/656909
404.67/401.12	c Got one! Elapsed wall clock time (in seconds):400.997
404.67/401.12	o -13982
408.86/405.34	c cleaning 5839 clauses out of 16372 with flag 26682/662793
412.95/409.42	c cleaning 5954 clauses out of 16533 with flag 45614/668793
417.85/414.32	c cleaning 6902 clauses out of 17580 with flag 72225/675794
423.54/419.97	c cleaning 7926 clauses out of 18677 with flag 102930/683793
428.74/425.15	c cleaning 8846 clauses out of 19751 with flag 133900/692793
436.12/432.50	c cleaning 10029 clauses out of 20932 with flag 159385/702820
440.32/436.70	c Got one! Elapsed wall clock time (in seconds):436.577
440.32/436.70	o -14001
444.94/441.30	c cleaning 10858 clauses out of 21777 with flag 19904/713694
450.03/446.45	c cleaning 5973 clauses out of 16920 with flag 41358/719695
453.22/449.67	c cleaning 6839 clauses out of 17947 with flag 69766/726695
456.42/452.83	c cleaning 7964 clauses out of 19107 with flag 90933/734694
460.03/456.35	c cleaning 9007 clauses out of 20144 with flag 114206/743695
463.92/460.20	c cleaning 10007 clauses out of 21136 with flag 141084/753694
465.52/461.85	c Got one! Elapsed wall clock time (in seconds):461.728
465.52/461.85	o -14040
466.92/463.28	c cleaning 5166 clauses out of 16313 with flag 8520/758878
471.82/468.18	c cleaning 5921 clauses out of 17147 with flag 28923/764878
476.01/472.37	c cleaning 6923 clauses out of 18227 with flag 53951/771879
479.60/475.92	c cleaning 7827 clauses out of 19302 with flag 86055/779878
481.40/477.79	c Got one! Elapsed wall clock time (in seconds):477.67
481.40/477.79	o -14273
483.50/479.84	c cleaning 5675 clauses out of 17134 with flag 9211/785537
488.49/484.85	c cleaning 5916 clauses out of 17456 with flag 30190/791534
493.08/489.42	c cleaning 6919 clauses out of 18540 with flag 53721/798534
497.87/494.29	c cleaning 7899 clauses out of 19621 with flag 77402/806534
500.87/497.24	c Got one! Elapsed wall clock time (in seconds):497.118
500.87/497.24	o -14412
501.68/498.05	c cleaning 5318 clauses out of 17121 with flag 5451/811933
506.45/502.82	c cleaning 5993 clauses out of 17804 with flag 26733/817934
511.07/507.39	c cleaning 6881 clauses out of 18811 with flag 56294/824934
516.56/512.89	c cleaning 7856 clauses out of 19931 with flag 93591/832935
521.55/517.80	c cleaning 8893 clauses out of 21074 with flag 133574/841934
524.05/520.33	c Got one! Elapsed wall clock time (in seconds):520.211
524.05/520.33	o -14596
524.75/521.01	c cleaning 5365 clauses out of 17525 with flag 7233/847278
529.85/526.18	c cleaning 5938 clauses out of 18165 with flag 36400/853283
533.33/529.67	c cleaning 6875 clauses out of 19223 with flag 61294/860279
535.63/531.95	c cleaning 7996 clauses out of 20347 with flag 84105/868278
538.23/534.55	c cleaning 9004 clauses out of 21352 with flag 111507/877279
541.41/537.68	c cleaning 9999 clauses out of 22349 with flag 142106/887280
544.50/540.72	c cleaning 10999 clauses out of 23348 with flag 175204/898278
547.80/544.05	c cleaning 11998 clauses out of 24349 with flag 209839/910278
551.49/547.75	c cleaning 12664 clauses out of 25351 with flag 244645/923278
555.58/551.82	c cleaning 13335 clauses out of 26687 with flag 287798/937278
561.67/557.98	c cleaning 14165 clauses out of 28352 with flag 331096/952278
562.63/558.85	c Got one! Elapsed wall clock time (in seconds):558.722
562.63/558.85	o -14768
566.68/562.68	c cleaning 6991 clauses out of 19431 with flag 14886/957522
570.38/566.36	c cleaning 5997 clauses out of 18442 with flag 36544/963524
574.17/570.16	c cleaning 6884 clauses out of 19444 with flag 66127/970523
576.96/572.91	c cleaning 7990 clauses out of 20559 with flag 90347/978522
579.66/575.60	c cleaning 9011 clauses out of 21570 with flag 116664/987523
585.64/581.68	c cleaning 9989 clauses out of 22560 with flag 140917/997524
586.64/582.66	c Got one! Elapsed wall clock time (in seconds):582.541
586.64/582.67	o -14948
590.35/586.34	c cleaning 5541 clauses out of 18172 with flag 13217/1003125
595.74/591.72	c cleaning 5982 clauses out of 18631 with flag 31991/1009125
599.94/595.96	c cleaning 6870 clauses out of 19648 with flag 57625/1016124
601.54/597.52	c Got one! Elapsed wall clock time (in seconds):597.398
601.54/597.52	o -15066
604.20/600.07	c cleaning 5292 clauses out of 18136 with flag 16314/1021482
608.38/604.20	c cleaning 5951 clauses out of 18846 with flag 37752/1027484
612.08/607.96	c cleaning 6868 clauses out of 19896 with flag 60779/1034485
614.77/610.61	c cleaning 7980 clauses out of 21025 with flag 84047/1042482
618.56/614.49	c cleaning 9017 clauses out of 22045 with flag 110278/1051482
619.27/615.14	c Got one! Elapsed wall clock time (in seconds):615.022
619.27/615.15	o -15108
623.21/618.95	c cleaning 5946 clauses out of 19010 with flag 17791/1057464
626.50/622.21	c cleaning 5935 clauses out of 19066 with flag 41323/1063466
629.69/625.44	c cleaning 6928 clauses out of 20129 with flag 67327/1070464
634.29/630.07	c cleaning 7991 clauses out of 21201 with flag 92478/1078464
638.68/634.45	c cleaning 9004 clauses out of 22211 with flag 114984/1087465
644.87/640.61	c Got one! Elapsed wall clock time (in seconds):640.486
644.87/640.61	o -15282
648.96/644.76	c cleaning 13723 clauses out of 27458 with flag 18792/1101716
653.46/649.24	c cleaning 6282 clauses out of 19734 with flag 39549/1107715
658.26/654.05	c cleaning 6706 clauses out of 20452 with flag 66120/1114715
663.74/659.53	c cleaning 8100 clauses out of 21756 with flag 89821/1122726
670.43/666.08	c cleaning 9002 clauses out of 22647 with flag 110257/1131717
677.51/673.18	c cleaning 10004 clauses out of 23649 with flag 132380/1141721
683.50/679.19	c Got one! Elapsed wall clock time (in seconds):679.067
683.50/679.19	o -15321
687.89/683.58	c cleaning 13767 clauses out of 27537 with flag 20220/1155613
691.38/687.08	c cleaning 5939 clauses out of 19771 with flag 48871/1161614
696.47/692.17	c cleaning 6968 clauses out of 20837 with flag 66315/1168619
702.17/697.87	c cleaning 7987 clauses out of 21862 with flag 84714/1176612
708.76/704.48	c cleaning 9008 clauses out of 22874 with flag 105655/1185611
710.36/706.07	c Got one! Elapsed wall clock time (in seconds):705.949
710.36/706.07	o -15415
713.05/708.77	c cleaning 5289 clauses out of 19184 with flag 14191/1190929
717.23/712.72	c cleaning 5899 clauses out of 19894 with flag 41347/1196929
719.63/715.11	c cleaning 6958 clauses out of 20995 with flag 62552/1203929
722.72/718.27	c cleaning 7971 clauses out of 22036 with flag 88127/1211929
728.52/724.01	c cleaning 8990 clauses out of 23065 with flag 110065/1220929
730.31/725.88	c Got one! Elapsed wall clock time (in seconds):725.756
730.31/725.88	o -15588
732.61/728.14	c cleaning 5683 clauses out of 19784 with flag 13070/1226638
736.40/731.92	c cleaning 5893 clauses out of 20097 with flag 35604/1232634
739.90/735.49	c cleaning 6932 clauses out of 21205 with flag 64261/1239635
743.89/739.43	c cleaning 7983 clauses out of 22273 with flag 99749/1247635
748.28/743.89	c cleaning 8986 clauses out of 23289 with flag 136958/1256634
751.98/747.54	c cleaning 9981 clauses out of 24304 with flag 169940/1266635
756.88/752.39	c cleaning 11000 clauses out of 25322 with flag 210371/1277634
762.97/758.48	c cleaning 11958 clauses out of 26323 with flag 261190/1289635
768.76/764.29	c cleaning 12981 clauses out of 27366 with flag 315800/1302636
775.65/771.13	c cleaning 13986 clauses out of 28383 with flag 381610/1316634
783.94/779.35	c cleaning 14687 clauses out of 29412 with flag 423330/1331649
793.32/788.70	c Got one! Elapsed wall clock time (in seconds):788.576
793.32/788.70	o -15618
797.32/792.73	c cleaning 17418 clauses out of 34837 with flag 21357/1351761
801.12/796.59	c cleaning 8863 clauses out of 23420 with flag 50602/1357762
804.51/799.92	c cleaning 6891 clauses out of 21555 with flag 79041/1364760
808.90/804.34	c cleaning 8043 clauses out of 22677 with flag 102712/1372773
815.50/810.55	c cleaning 8986 clauses out of 23628 with flag 122756/1381767
821.94/817.10	c cleaning 9998 clauses out of 24637 with flag 145184/1391762
829.19/824.31	c cleaning 11008 clauses out of 25649 with flag 170497/1402772
836.98/832.14	c cleaning 12000 clauses out of 26653 with flag 198116/1414784
839.27/834.41	c Got one! Elapsed wall clock time (in seconds):834.293
839.27/834.41	o -15680
840.87/836.07	c cleaning 5566 clauses out of 20441 with flag 12916/1420572
845.86/841.01	c cleaning 6147 clauses out of 20875 with flag 39673/1426572
849.85/845.05	c cleaning 6862 clauses out of 21724 with flag 60943/1433571
854.83/849.95	c cleaning 7881 clauses out of 22862 with flag 89088/1441571
859.38/854.53	c cleaning 8875 clauses out of 23982 with flag 125031/1450572
865.72/860.98	c cleaning 9956 clauses out of 25106 with flag 167614/1460571
874.05/869.34	c cleaning 10990 clauses out of 26151 with flag 196883/1471572
882.19/877.57	c cleaning 12037 clauses out of 27172 with flag 230142/1483583
891.80/887.20	c cleaning 12968 clauses out of 28123 with flag 260884/1496571
901.74/897.01	c cleaning 14021 clauses out of 29156 with flag 295227/1510572
908.63/903.91	c Got one! Elapsed wall clock time (in seconds):903.786
908.63/903.91	o -15732
912.63/907.92	c cleaning 15060 clauses out of 30268 with flag 19787/1525705
915.62/910.98	c cleaning 5939 clauses out of 21210 with flag 43026/1531707
918.22/913.53	c Got one! Elapsed wall clock time (in seconds):913.409
918.22/913.53	o -16288
922.31/917.63	c cleaning 10006 clauses out of 25367 with flag 31788/1541803
926.00/921.32	c cleaning 5977 clauses out of 21365 with flag 50446/1547807
930.09/925.46	c cleaning 6847 clauses out of 22384 with flag 80318/1554803
933.29/928.65	c cleaning 7993 clauses out of 23537 with flag 101928/1562803
939.38/934.52	c cleaning 9020 clauses out of 24548 with flag 125831/1571807
945.27/940.44	c cleaning 9980 clauses out of 25524 with flag 150809/1581803
945.37/940.57	c Got one! Elapsed wall clock time (in seconds):940.448
945.37/940.57	o -16338
949.56/944.75	c cleaning 5176 clauses out of 20777 with flag 24095/1587036
952.86/948.01	c cleaning 5914 clauses out of 21599 with flag 49035/1593034
956.95/952.11	c cleaning 6986 clauses out of 22696 with flag 68305/1600045
959.34/954.50	c Got one! Elapsed wall clock time (in seconds):954.382
959.34/954.50	o -16341
960.94/956.17	c cleaning 5731 clauses out of 21482 with flag 6112/1605817
965.73/960.95	c cleaning 5932 clauses out of 21751 with flag 30083/1611817
969.72/964.98	c cleaning 6765 clauses out of 22819 with flag 59685/1618817
975.11/970.30	c cleaning 8004 clauses out of 24054 with flag 80322/1626817
980.85/975.95	c cleaning 9012 clauses out of 25062 with flag 102663/1635829
985.55/980.63	c Got one! Elapsed wall clock time (in seconds):980.512
985.55/980.63	o -16423
990.24/985.39	c cleaning 12479 clauses out of 28566 with flag 18548/1648345
993.83/988.91	c cleaning 5923 clauses out of 22094 with flag 39548/1654352
997.22/992.39	c cleaning 6889 clauses out of 23164 with flag 65928/1661345
1002.91/998.10	c cleaning 8021 clauses out of 24276 with flag 85713/1669346
1009.51/1004.67	c cleaning 8999 clauses out of 25258 with flag 107047/1678349
1017.14/1012.14	c cleaning 10021 clauses out of 26265 with flag 130673/1688355
1021.63/1016.64	c Got one! Elapsed wall clock time (in seconds):1016.518
1021.63/1016.64	o -16477
1027.42/1022.43	c cleaning 10316 clauses out of 26631 with flag 19131/1698742
1032.51/1027.53	c cleaning 6005 clauses out of 22315 with flag 41256/1704742
1036.30/1031.34	c cleaning 6807 clauses out of 23311 with flag 68824/1711743
1042.10/1037.16	c cleaning 8005 clauses out of 24503 with flag 90614/1719742
1049.58/1044.60	c cleaning 9038 clauses out of 25526 with flag 110696/1728770
1058.67/1053.43	c cleaning 10001 clauses out of 26480 with flag 133744/1738762
1068.06/1062.86	c cleaning 11001 clauses out of 27480 with flag 158120/1749763
1078.35/1073.14	c cleaning 11988 clauses out of 28475 with flag 185125/1761759
1089.02/1083.82	c cleaning 12988 clauses out of 29471 with flag 214575/1774743
1100.66/1095.42	c cleaning 13987 clauses out of 30483 with flag 245878/1788743
1109.36/1104.16	c Got one! Elapsed wall clock time (in seconds):1104.034
1109.36/1104.16	o -16672
1114.04/1108.88	c cleaning 16181 clauses out of 32706 with flag 35532/1804953
1118.53/1113.32	c cleaning 5930 clauses out of 22527 with flag 54898/1810955
1122.83/1117.67	c cleaning 6863 clauses out of 23596 with flag 78832/1817954
1127.22/1122.09	c cleaning 7867 clauses out of 24732 with flag 106541/1825953
1132.42/1127.20	c cleaning 8870 clauses out of 25871 with flag 141882/1834959
1140.70/1135.52	c cleaning 9992 clauses out of 26995 with flag 165086/1844953
1149.78/1144.62	c cleaning 11005 clauses out of 28005 with flag 191494/1855955
1152.74/1147.45	c Got one! Elapsed wall clock time (in seconds):1147.328
1152.74/1147.45	o -16724
1154.85/1149.50	c cleaning 5322 clauses out of 22352 with flag 7556/1861307
1160.01/1154.77	c cleaning 5944 clauses out of 23030 with flag 31999/1867307
1164.67/1159.46	c cleaning 6959 clauses out of 24093 with flag 53802/1874314
1170.81/1165.62	c cleaning 7989 clauses out of 25128 with flag 71638/1882308
1177.66/1172.58	c cleaning 9009 clauses out of 26148 with flag 92074/1891317
1185.29/1180.25	c cleaning 10002 clauses out of 27130 with flag 115269/1901308
1193.51/1188.51	c cleaning 11000 clauses out of 28140 with flag 140295/1912320
1202.82/1197.77	c cleaning 11994 clauses out of 29129 with flag 167312/1924309
1203.42/1198.31	c Got one! Elapsed wall clock time (in seconds):1198.192
1203.42/1198.31	o -16747
1208.67/1203.67	c cleaning 5777 clauses out of 22947 with flag 20496/1930121
1212.74/1207.71	c cleaning 5952 clauses out of 23170 with flag 44324/1936121
1216.20/1211.24	c cleaning 6916 clauses out of 24218 with flag 70829/1943121
1222.06/1217.13	c cleaning 7831 clauses out of 25318 with flag 103763/1951137
1230.28/1225.45	c cleaning 8990 clauses out of 26483 with flag 123931/1960133
1239.20/1234.44	c cleaning 10006 clauses out of 27493 with flag 146730/1970133
1248.90/1244.24	c cleaning 10980 clauses out of 28475 with flag 172281/1981121
1257.67/1252.99	c Got one! Elapsed wall clock time (in seconds):1252.873
1257.67/1252.99	o -16766
1262.72/1258.07	c cleaning 14944 clauses out of 32518 with flag 19841/1996144
1266.58/1261.98	c cleaning 5978 clauses out of 23574 with flag 50162/2002144
1271.24/1266.63	c cleaning 7000 clauses out of 24599 with flag 65310/2009147
1276.20/1271.65	c cleaning 7992 clauses out of 25597 with flag 82428/2017145
1281.56/1277.09	c cleaning 9037 clauses out of 26622 with flag 101777/2026162
1288.40/1283.98	c cleaning 9974 clauses out of 27567 with flag 123433/2036144
1295.95/1291.49	c cleaning 11017 clauses out of 28602 with flag 147524/2047153
1303.89/1299.42	c cleaning 11976 clauses out of 29577 with flag 173056/2059145
1312.52/1308.12	c cleaning 13002 clauses out of 30600 with flag 201427/2072144
1321.83/1317.55	c cleaning 14021 clauses out of 31606 with flag 231849/2086152
1323.72/1318.94	c Got one! Elapsed wall clock time (in seconds):1318.816
1323.72/1318.94	o -17037
1327.21/1322.46	c cleaning 5487 clauses out of 23198 with flag 14120/2091765
1330.41/1325.63	c cleaning 5979 clauses out of 23714 with flag 36732/2097768
1334.10/1329.30	c cleaning 6985 clauses out of 24732 with flag 60781/2104765
1339.70/1334.98	c cleaning 7975 clauses out of 25764 with flag 82117/2112782
1346.79/1342.05	c cleaning 8993 clauses out of 26774 with flag 101823/2121767
1354.56/1349.88	c cleaning 9989 clauses out of 27779 with flag 124279/2131765
1363.90/1359.12	c cleaning 11046 clauses out of 28813 with flag 149624/2142788
1373.67/1368.95	c cleaning 11982 clauses out of 29759 with flag 175713/2154780
1375.97/1371.24	c Got one! Elapsed wall clock time (in seconds):1371.118
1375.97/1371.24	o -17137
1378.56/1373.86	c cleaning 5971 clauses out of 23762 with flag 15458/2160765
1383.95/1379.28	c cleaning 5878 clauses out of 23789 with flag 40239/2166763
1388.54/1383.86	c cleaning 6953 clauses out of 24911 with flag 67436/2173763
1392.53/1387.83	c cleaning 7913 clauses out of 25959 with flag 100170/2181764
1396.92/1392.22	c cleaning 8993 clauses out of 27045 with flag 132274/2190763
1400.31/1395.61	c cleaning 10014 clauses out of 28052 with flag 161814/2200763
1403.31/1398.63	c cleaning 10999 clauses out of 29039 with flag 191044/2211764
1406.71/1402.05	c cleaning 11995 clauses out of 30039 with flag 222334/2223763
1410.51/1405.72	c cleaning 13005 clauses out of 31044 with flag 257617/2236763
1415.81/1411.02	c cleaning 13991 clauses out of 32039 with flag 293750/2250763
1424.79/1420.02	c Got one! Elapsed wall clock time (in seconds):1419.903
1424.79/1420.02	o -17171
1428.88/1424.11	c cleaning 18314 clauses out of 36702 with flag 19170/2269417
1432.47/1427.79	c cleaning 6224 clauses out of 24389 with flag 41406/2275418
1436.87/1432.13	c cleaning 6942 clauses out of 25164 with flag 66594/2282418
1440.65/1435.94	c cleaning 7953 clauses out of 26221 with flag 91679/2290417
1445.35/1440.67	c cleaning 8943 clauses out of 27269 with flag 123124/2299418
1450.39/1445.52	c cleaning 10000 clauses out of 28325 with flag 155938/2309417
1455.08/1450.28	c cleaning 10982 clauses out of 29325 with flag 188201/2320417
1460.18/1455.33	c cleaning 11992 clauses out of 30343 with flag 228167/2332417
1466.47/1461.62	c cleaning 12990 clauses out of 31352 with flag 268897/2345418
1471.76/1466.95	c cleaning 13994 clauses out of 32362 with flag 311417/2359418
1478.24/1473.43	c cleaning 14973 clauses out of 33367 with flag 361712/2374417
1486.09/1481.16	c cleaning 15993 clauses out of 34395 with flag 412800/2390418
1496.17/1491.21	c Got one! Elapsed wall clock time (in seconds):1491.089
1496.17/1491.21	o -17337
1500.26/1495.30	c cleaning 19932 clauses out of 39869 with flag 18893/2411885
1503.76/1498.82	c cleaning 7393 clauses out of 25937 with flag 45590/2417885
1507.36/1502.47	c cleaning 6954 clauses out of 25544 with flag 74875/2424885
1513.75/1508.82	c cleaning 7980 clauses out of 26599 with flag 95304/2432894
1521.73/1516.80	c cleaning 9004 clauses out of 27619 with flag 117069/2441894
1530.52/1525.64	c cleaning 9997 clauses out of 28612 with flag 140658/2451891
1540.21/1535.21	c cleaning 11018 clauses out of 29627 with flag 165454/2462903
1550.19/1545.24	c cleaning 11968 clauses out of 30596 with flag 192560/2474890
1561.09/1556.11	c cleaning 13013 clauses out of 31625 with flag 222069/2487887
1572.86/1567.94	c cleaning 13997 clauses out of 32610 with flag 253572/2501885
1585.24/1580.36	c cleaning 14988 clauses out of 33616 with flag 287108/2516888
1597.61/1592.67	c Got one! Elapsed wall clock time (in seconds):1592.548
1597.61/1592.67	o -17374
1602.11/1597.17	c cleaning 19276 clauses out of 38581 with flag 20570/2536841
1605.30/1600.30	c cleaning 6540 clauses out of 25302 with flag 38313/2542838
1610.99/1606.01	c cleaning 6997 clauses out of 25763 with flag 54110/2549839
1616.78/1611.84	c cleaning 7999 clauses out of 26767 with flag 71155/2557840
1623.66/1618.70	c cleaning 9020 clauses out of 27769 with flag 90950/2566841
1631.26/1626.34	c cleaning 9996 clauses out of 28753 with flag 112405/2576845
1640.69/1635.21	c cleaning 11025 clauses out of 29768 with flag 136410/2587856
1649.97/1644.50	c cleaning 11984 clauses out of 30736 with flag 162551/2599849
1660.05/1654.69	c cleaning 12982 clauses out of 31741 with flag 192036/2612838
1670.13/1664.75	c cleaning 14003 clauses out of 32764 with flag 223113/2626843
1681.71/1676.32	c cleaning 15025 clauses out of 33776 with flag 257043/2641858
1693.12/1687.86	c cleaning 15964 clauses out of 34733 with flag 292771/2657840
1704.51/1699.35	c cleaning 17009 clauses out of 35771 with flag 329291/2674842
1717.34/1712.08	c cleaning 17994 clauses out of 36763 with flag 369078/2692843
1728.44/1723.23	c Got one! Elapsed wall clock time (in seconds):1723.109
1728.44/1723.23	o -17544
1733.51/1728.35	c cleaning 19623 clauses out of 39274 with flag 17000/2713348
1737.97/1732.86	c cleaning 6773 clauses out of 25651 with flag 40269/2719348
1741.84/1736.78	c cleaning 6932 clauses out of 25878 with flag 64653/2726348
1747.59/1742.53	c cleaning 7945 clauses out of 26962 with flag 90933/2734364
1755.54/1750.43	c cleaning 8995 clauses out of 28001 with flag 111661/2743348
1764.17/1759.16	c cleaning 10023 clauses out of 29018 with flag 134427/2753360
1773.48/1768.54	c cleaning 10976 clauses out of 29985 with flag 159110/2764350
1776.35/1771.45	c Got one! Elapsed wall clock time (in seconds):1771.326
1776.35/1771.45	o -17549
1778.33/1773.48	c cleaning 5621 clauses out of 24633 with flag 8301/2769974
1782.59/1777.72	c cleaning 5913 clauses out of 25012 with flag 31572/2775974
1787.15/1782.34	c cleaning 6874 clauses out of 26127 with flag 55041/2783002
1793.50/1788.79	c cleaning 8000 clauses out of 27224 with flag 72757/2790973
1801.13/1796.36	c cleaning 9021 clauses out of 28236 with flag 92483/2799985
1809.36/1804.69	c cleaning 10012 clauses out of 29228 with flag 114537/2809998
1818.58/1813.99	c cleaning 10973 clauses out of 30196 with flag 139145/2820978
1828.40/1823.88	c cleaning 11992 clauses out of 31226 with flag 166139/2832981
1838.21/1833.74	c cleaning 13010 clauses out of 32236 with flag 195192/2845983
1845.55/1841.05	c Got one! Elapsed wall clock time (in seconds):1840.93
1845.55/1841.05	o -17853
1849.71/1845.20	c cleaning 14868 clauses out of 34134 with flag 17952/2860891
1854.47/1850.10	c cleaning 5964 clauses out of 25266 with flag 40052/2866891
1859.42/1855.04	c cleaning 6908 clauses out of 26313 with flag 62934/2873902
1865.76/1861.40	c cleaning 8007 clauses out of 27394 with flag 80453/2881891
1872.50/1868.27	c cleaning 9002 clauses out of 28390 with flag 100314/2890894
1880.34/1876.14	c cleaning 10007 clauses out of 29388 with flag 122636/2900894
1889.16/1885.08	c cleaning 10992 clauses out of 30382 with flag 146464/2911895
1898.64/1894.21	c cleaning 12002 clauses out of 31390 with flag 172612/2923895
1907.42/1903.04	c cleaning 12996 clauses out of 32388 with flag 201404/2936895
1913.30/1909.00	c Got one! Elapsed wall clock time (in seconds):1908.877
1913.30/1909.00	o -18300
1918.11/1913.71	c cleaning 13559 clauses out of 32995 with flag 17167/2950498
1922.00/1917.62	c cleaning 5979 clauses out of 25437 with flag 34289/2956499
1927.49/1923.18	c cleaning 6994 clauses out of 26457 with flag 56485/2963498
1933.27/1928.90	c cleaning 7975 clauses out of 27463 with flag 82355/2971498
1938.98/1934.56	c cleaning 8814 clauses out of 28488 with flag 116820/2980498
1945.97/1941.55	c cleaning 9942 clauses out of 29674 with flag 146494/2990498
1954.16/1949.77	c cleaning 11015 clauses out of 30745 with flag 170159/3001511
1963.04/1958.63	c cleaning 12008 clauses out of 31732 with flag 195977/3013513
1972.22/1967.87	c cleaning 12980 clauses out of 32709 with flag 224373/3026498
1982.46/1978.00	c cleaning 14013 clauses out of 33738 with flag 255586/3040507
1992.73/1988.23	c cleaning 15009 clauses out of 34721 with flag 288356/3055503
2003.82/1999.36	c cleaning 15980 clauses out of 35710 with flag 322418/3071501
2016.20/2011.77	c cleaning 17027 clauses out of 36739 with flag 360104/3088510
2030.54/2025.95	c cleaning 17988 clauses out of 37709 with flag 400378/3106507
2044.73/2040.17	c cleaning 18977 clauses out of 38713 with flag 442885/3125499
2053.10/2048.52	c Got one! Elapsed wall clock time (in seconds):2048.394
2053.10/2048.52	o -18373
2058.00/2053.45	c cleaning 16576 clauses out of 36353 with flag 20843/3142116
2061.89/2057.30	c cleaning 5973 clauses out of 25777 with flag 39844/3148116
2065.48/2060.95	c cleaning 6999 clauses out of 26807 with flag 61012/3155119
2071.36/2066.72	c cleaning 7987 clauses out of 27805 with flag 80122/3163116
2077.15/2072.54	c cleaning 8983 clauses out of 28820 with flag 99417/3172118
2083.53/2079.00	c cleaning 10025 clauses out of 29848 with flag 120523/3182129
2088.33/2083.77	c Got one! Elapsed wall clock time (in seconds):2083.644
2088.33/2083.77	o -18444
2093.22/2088.65	c cleaning 12415 clauses out of 32307 with flag 21635/3194613
2097.32/2092.70	c cleaning 5925 clauses out of 25893 with flag 42389/3200614
2100.81/2096.24	c cleaning 6865 clauses out of 26967 with flag 67839/3207613
2106.00/2101.35	c cleaning 7807 clauses out of 28102 with flag 99242/3215613
2112.35/2107.78	c cleaning 9009 clauses out of 29301 with flag 119665/3224619
2119.79/2115.28	c cleaning 10007 clauses out of 30305 with flag 142150/3234632
2122.67/2118.16	c Got one! Elapsed wall clock time (in seconds):2118.038
2122.67/2118.16	o -18472
2123.66/2119.16	c cleaning 5043 clauses out of 25338 with flag 3950/3239672
2129.41/2124.96	c cleaning 5937 clauses out of 26295 with flag 27328/3245672
2134.28/2129.84	c cleaning 6888 clauses out of 27358 with flag 52511/3252672
2140.62/2136.21	c cleaning 8028 clauses out of 28471 with flag 72759/3260673
2148.16/2143.86	c cleaning 8997 clauses out of 29448 with flag 92750/3269678
2149.15/2144.84	c Got one! Elapsed wall clock time (in seconds):2144.715
2149.15/2144.84	o -18503
2153.32/2149.09	c cleaning 5134 clauses out of 25596 with flag 17535/3274823
2158.25/2153.72	c cleaning 5943 clauses out of 26462 with flag 37544/3280823
2162.62/2158.11	c cleaning 6886 clauses out of 27519 with flag 66054/3287823
2167.67/2163.26	c cleaning 7948 clauses out of 28632 with flag 89919/3295822
2175.65/2171.22	c cleaning 9023 clauses out of 29693 with flag 111009/3304831
2184.24/2179.84	c cleaning 9998 clauses out of 30667 with flag 133171/3314828
2193.62/2189.29	c cleaning 10990 clauses out of 31665 with flag 157576/3325824
2203.90/2199.50	c cleaning 11999 clauses out of 32680 with flag 184596/3337829
2215.25/2210.82	c cleaning 12992 clauses out of 33676 with flag 213793/3350824
2226.83/2222.43	c cleaning 14011 clauses out of 34684 with flag 244856/3364824
2239.11/2234.74	c cleaning 14996 clauses out of 35676 with flag 278470/3379827
2251.99/2247.66	c cleaning 16038 clauses out of 36701 with flag 315329/3395848
2266.26/2261.80	c cleaning 16963 clauses out of 37637 with flag 353944/3412822
2280.54/2276.25	c cleaning 18012 clauses out of 38688 with flag 395939/3430836
2294.92/2290.76	c cleaning 18999 clauses out of 39662 with flag 439373/3449822
2311.22/2307.01	c cleaning 20005 clauses out of 40678 with flag 484526/3469837
2327.78/2323.71	c cleaning 20817 clauses out of 41658 with flag 533243/3490822
2337.00/2333.09	c Got one! Elapsed wall clock time (in seconds):2332.972
2337.00/2333.09	o -18513
2341.26/2337.33	c cleaning 16836 clauses out of 37572 with flag 19543/3507553
2346.45/2342.56	c cleaning 5939 clauses out of 26737 with flag 43151/3513554
2350.95/2347.10	c cleaning 6904 clauses out of 27796 with flag 72053/3520552
2357.04/2353.14	c cleaning 7961 clauses out of 28908 with flag 92803/3528568
2364.04/2360.02	c cleaning 8990 clauses out of 29943 with flag 111982/3537564
2371.42/2367.41	c cleaning 9991 clauses out of 30943 with flag 132758/3547554
2379.22/2375.23	c cleaning 11015 clauses out of 31958 with flag 157450/3558560
2388.30/2384.34	c cleaning 11986 clauses out of 32935 with flag 185309/3570552
2398.09/2394.12	c cleaning 13033 clauses out of 33970 with flag 214805/3583573
2409.02/2404.90	c cleaning 13969 clauses out of 34917 with flag 244969/3597553
2420.61/2416.59	c cleaning 15000 clauses out of 35948 with flag 277640/3612553
2432.68/2428.64	c cleaning 15990 clauses out of 36950 with flag 313499/3628555
2445.25/2441.21	c cleaning 17008 clauses out of 37959 with flag 350415/3645554
2459.77/2455.58	c cleaning 18003 clauses out of 38958 with flag 390333/3663561
2475.53/2471.43	c cleaning 19002 clauses out of 39947 with flag 432924/3682553
2489.52/2485.55	c cleaning 20002 clauses out of 40945 with flag 476517/3702553
2502.83/2498.74	c Got one! Elapsed wall clock time (in seconds):2498.614
2502.83/2498.74	o -18744
2507.62/2503.57	c cleaning 21771 clauses out of 43560 with flag 18589/3725170
2513.62/2509.53	c cleaning 6643 clauses out of 27790 with flag 41228/3731171
2519.01/2514.91	c cleaning 6809 clauses out of 28145 with flag 75494/3738169
2523.60/2519.58	c cleaning 7976 clauses out of 29336 with flag 105796/3746169
2529.79/2525.72	c cleaning 8989 clauses out of 30372 with flag 129233/3755181
2537.58/2533.57	c cleaning 9984 clauses out of 31376 with flag 151700/3765174
2545.66/2541.63	c cleaning 10987 clauses out of 32387 with flag 176941/3776169
2553.77/2549.60	c Got one! Elapsed wall clock time (in seconds):2549.477
2553.77/2549.60	o -18779
2558.46/2554.37	c cleaning 15435 clauses out of 36904 with flag 17779/3791673
2562.26/2558.19	c cleaning 5926 clauses out of 27473 with flag 37455/3797677
2566.84/2562.76	c cleaning 6937 clauses out of 28547 with flag 55651/3804677
2572.93/2568.81	c cleaning 7999 clauses out of 29606 with flag 74258/3812673
2579.72/2575.68	c cleaning 9012 clauses out of 30616 with flag 94084/3821682
2587.40/2583.32	c cleaning 9995 clauses out of 31598 with flag 116451/3831676
2591.30/2587.28	c Got one! Elapsed wall clock time (in seconds):2587.159
2591.30/2587.28	o -18887
2595.90/2591.86	c cleaning 10252 clauses out of 31945 with flag 20747/3842018
2600.79/2596.72	c cleaning 5987 clauses out of 27694 with flag 39649/3848019
2605.11/2600.94	c cleaning 6881 clauses out of 28706 with flag 69930/3855018
2609.70/2605.52	c cleaning 7930 clauses out of 29825 with flag 100289/3863018
2616.98/2612.80	c cleaning 9009 clauses out of 30904 with flag 122671/3872027
2624.17/2620.04	c cleaning 10028 clauses out of 31913 with flag 145896/3882045
2632.66/2628.54	c cleaning 10974 clauses out of 32877 with flag 169795/3893037
2642.34/2638.29	c cleaning 11993 clauses out of 33884 with flag 196462/3905018
2652.28/2648.05	c cleaning 12989 clauses out of 34893 with flag 224453/3918020
2660.85/2656.69	c cleaning 13995 clauses out of 35902 with flag 255730/3932018
2665.05/2660.84	c Got one! Elapsed wall clock time (in seconds):2660.723
2665.05/2660.84	o -19040
2668.74/2664.52	c cleaning 11701 clauses out of 33645 with flag 21961/3943756
2671.83/2667.61	c cleaning 5933 clauses out of 27946 with flag 46415/3949758
2675.72/2671.56	c cleaning 6887 clauses out of 29011 with flag 70506/3956756
2680.22/2676.10	c cleaning 7975 clauses out of 30124 with flag 114052/3964756
2685.21/2681.08	c cleaning 8931 clauses out of 31152 with flag 144638/3973759
2691.21/2687.04	c cleaning 10025 clauses out of 32225 with flag 165751/3983763
2698.29/2693.79	c cleaning 10999 clauses out of 33197 with flag 189207/3994760
2705.33/2700.89	c cleaning 11983 clauses out of 34195 with flag 214741/4006757
2713.06/2708.62	c cleaning 13023 clauses out of 35226 with flag 242366/4019771
2721.39/2717.03	c cleaning 14003 clauses out of 36205 with flag 272412/4033773
2730.76/2726.42	c cleaning 14982 clauses out of 37188 with flag 305767/4048759
2740.39/2736.16	c cleaning 15997 clauses out of 38212 with flag 341092/4064765
2751.22/2747.07	c cleaning 16997 clauses out of 39207 with flag 378947/4081757
2761.99/2757.85	c cleaning 18016 clauses out of 40210 with flag 418799/4099757
2773.22/2768.89	c cleaning 19016 clauses out of 41203 with flag 459710/4118766
2775.02/2770.63	c Got one! Elapsed wall clock time (in seconds):2770.514
2775.02/2770.64	o -19110
2776.92/2772.51	c cleaning 5216 clauses out of 27450 with flag 9109/4124029
2781.21/2776.88	c cleaning 5848 clauses out of 28235 with flag 30036/4130030
2785.51/2781.12	c cleaning 6883 clauses out of 29389 with flag 57277/4137032
2790.09/2785.79	c cleaning 7957 clauses out of 30508 with flag 84846/4145034
2796.68/2792.39	c cleaning 8999 clauses out of 31549 with flag 105105/4154032
2804.06/2799.75	c cleaning 10026 clauses out of 32563 with flag 126877/4164045
2812.35/2808.02	c cleaning 10982 clauses out of 33528 with flag 150562/4175036
2821.43/2817.01	c cleaning 11999 clauses out of 34546 with flag 176622/4187036
2830.52/2826.13	c cleaning 13025 clauses out of 35562 with flag 205823/4200051
2840.69/2836.32	c cleaning 13966 clauses out of 36515 with flag 236327/4214029
2851.28/2846.93	c cleaning 15020 clauses out of 37557 with flag 269273/4229037
2862.16/2857.81	c cleaning 15987 clauses out of 38537 with flag 304581/4245037
2873.71/2869.26	c cleaning 17005 clauses out of 39549 with flag 342161/4262036
2885.78/2881.31	c cleaning 17978 clauses out of 40537 with flag 381822/4280029
2898.77/2894.33	c cleaning 19011 clauses out of 41564 with flag 423668/4299034
2912.93/2908.15	c cleaning 20014 clauses out of 42551 with flag 468264/4319032
2927.59/2922.86	c cleaning 21020 clauses out of 43557 with flag 514433/4340052
2942.50/2937.68	c cleaning 21969 clauses out of 44515 with flag 561856/4362030
2958.28/2953.48	c cleaning 22785 clauses out of 45570 with flag 613577/4385054
2975.45/2970.60	c cleaning 23369 clauses out of 46762 with flag 667231/4409031
2992.76/2987.89	c cleaning 24187 clauses out of 48392 with flag 722267/4434030
3011.30/3006.58	c cleaning 25107 clauses out of 50213 with flag 780482/4460038
3030.13/3025.11	c cleaning 26056 clauses out of 52111 with flag 840530/4487043
3049.73/3044.60	c cleaning 27028 clauses out of 54057 with flag 903869/4515045
3070.50/3065.11	c cleaning 28009 clauses out of 56018 with flag 967500/4544034
3091.38/3086.06	c cleaning 28998 clauses out of 58003 with flag 1035149/4574028
3112.81/3107.47	c cleaning 30007 clauses out of 60015 with flag 1103482/4605038
3133.67/3128.18	c cleaning 30987 clauses out of 62002 with flag 1174762/4637032
3155.07/3149.41	c cleaning 31996 clauses out of 64012 with flag 1248082/4670029
3176.81/3171.02	c cleaning 33019 clauses out of 66037 with flag 1322816/4704050
3199.18/3192.93	c cleaning 33984 clauses out of 68003 with flag 1399489/4739035
3207.17/3200.99	c Got one! Elapsed wall clock time (in seconds):3200.87
3207.17/3200.99	o -19111
3211.45/3205.23	c cleaning 26669 clauses out of 53337 with flag 24067/4758353
3215.05/3208.80	c cleaning 9974 clauses out of 32669 with flag 48433/4764354
3219.31/3213.00	c cleaning 6972 clauses out of 29696 with flag 63768/4771355
3224.00/3217.79	c cleaning 8020 clauses out of 30745 with flag 80635/4779376
3229.39/3223.17	c cleaning 8996 clauses out of 31709 with flag 99663/4788360
3235.17/3228.90	c cleaning 9986 clauses out of 32707 with flag 120608/4798354
3241.66/3235.39	c cleaning 11022 clauses out of 33723 with flag 143136/4809356
3248.94/3242.66	c cleaning 12002 clauses out of 34717 with flag 168886/4821372
3256.73/3250.40	c cleaning 13009 clauses out of 35711 with flag 196169/4834368
3265.64/3259.23	c cleaning 13972 clauses out of 36694 with flag 225535/4848360
3267.94/3261.50	c Got one! Elapsed wall clock time (in seconds):3261.384
3267.94/3261.50	o -19218
3269.64/3263.22	c cleaning 5747 clauses out of 28459 with flag 7573/4854097
3274.63/3268.24	c cleaning 5932 clauses out of 28711 with flag 29398/4860096
3278.32/3271.92	c cleaning 6936 clauses out of 29779 with flag 54964/4867096
3282.62/3276.28	c cleaning 7953 clauses out of 30853 with flag 81219/4875106
3288.01/3281.61	c cleaning 8994 clauses out of 31895 with flag 100101/4884101
3293.70/3287.37	c cleaning 10000 clauses out of 32896 with flag 121526/4894096
3300.38/3293.92	c cleaning 10999 clauses out of 33896 with flag 144983/4905096
3307.67/3301.26	c cleaning 12007 clauses out of 34912 with flag 171535/4917111
3315.26/3308.86	c cleaning 13003 clauses out of 35900 with flag 199501/4930106
3323.36/3316.82	c cleaning 13990 clauses out of 36895 with flag 229168/4944104
3332.05/3325.51	c cleaning 15001 clauses out of 37898 with flag 261312/4959097
3341.24/3334.76	c cleaning 15976 clauses out of 38899 with flag 296716/4975099
3349.03/3342.44	c Got one! Elapsed wall clock time (in seconds):3342.319
3349.03/3342.44	o -19236
3353.32/3346.78	c cleaning 18849 clauses out of 41815 with flag 16061/4993991
3358.52/3351.90	c cleaning 5901 clauses out of 28965 with flag 46309/4999990
3362.81/3356.21	c cleaning 6901 clauses out of 30067 with flag 76749/5006993
3368.00/3361.48	c cleaning 7919 clauses out of 31163 with flag 99580/5014990
3373.99/3367.48	c cleaning 9028 clauses out of 32250 with flag 119214/5023996
3380.78/3374.26	c cleaning 10015 clauses out of 33229 with flag 141623/5034003
3388.40/3381.83	c cleaning 10983 clauses out of 34204 with flag 165804/5044993
3396.39/3389.85	c cleaning 12004 clauses out of 35218 with flag 192125/5056990
3405.08/3398.50	c cleaning 12990 clauses out of 36214 with flag 219943/5069990
3409.98/3403.43	c Got one! Elapsed wall clock time (in seconds):3403.307
3409.98/3403.43	o -19284
3414.27/3407.75	c cleaning 12589 clauses out of 35876 with flag 17523/5082642
3418.86/3412.37	c cleaning 5925 clauses out of 29287 with flag 36894/5088642
3422.45/3416.00	c cleaning 6950 clauses out of 30365 with flag 63241/5095645
3427.97/3421.32	c cleaning 8005 clauses out of 31412 with flag 83963/5103642
3433.67/3427.06	c cleaning 9037 clauses out of 32434 with flag 104952/5112669
3440.05/3433.45	c cleaning 9952 clauses out of 33371 with flag 126925/5122643
3447.14/3440.58	c cleaning 11009 clauses out of 34418 with flag 152061/5133642
3451.63/3445.04	c Got one! Elapsed wall clock time (in seconds):3444.915
3451.63/3445.04	o -19630
3455.43/3448.80	c cleaning 12165 clauses out of 35662 with flag 17291/5145895
3459.42/3452.83	c cleaning 6017 clauses out of 29497 with flag 39303/5151895
3463.41/3456.82	c cleaning 6958 clauses out of 30481 with flag 62197/5158896
3468.79/3461.97	c cleaning 7957 clauses out of 31524 with flag 84231/5166897
3474.68/3467.81	c cleaning 8980 clauses out of 32566 with flag 103626/5175896
3481.47/3474.65	c cleaning 10051 clauses out of 33610 with flag 126191/5185920
3488.86/3482.02	c cleaning 10968 clauses out of 34534 with flag 150359/5196895
3496.55/3489.77	c cleaning 12005 clauses out of 35573 with flag 175955/5208902
3505.29/3498.42	c cleaning 12977 clauses out of 36561 with flag 204507/5221895
3514.57/3507.75	c cleaning 14052 clauses out of 37609 with flag 235244/5235920
3523.65/3516.85	c cleaning 14972 clauses out of 38551 with flag 267374/5250914
3533.34/3526.59	c cleaning 15989 clauses out of 39565 with flag 301499/5266900
3544.23/3537.33	c cleaning 16994 clauses out of 40575 with flag 338213/5283899
3553.11/3546.22	c Got one! Elapsed wall clock time (in seconds):3546.097
3553.11/3546.22	o -19737
3557.61/3550.71	c cleaning 19938 clauses out of 43586 with flag 17500/5303904
3561.10/3554.28	c cleaning 5862 clauses out of 29647 with flag 40782/5309903
3564.80/3557.91	c cleaning 6934 clauses out of 30790 with flag 71593/5316908
3569.59/3562.72	c cleaning 7975 clauses out of 31852 with flag 89066/5324904
3575.18/3568.38	c cleaning 9016 clauses out of 32880 with flag 107762/5333907
3581.17/3574.36	c cleaning 10001 clauses out of 33863 with flag 129055/5343906
3587.98/3581.06	c cleaning 11010 clauses out of 34861 with flag 154269/5354905
3595.51/3588.67	c cleaning 11993 clauses out of 35852 with flag 181337/5366906
3600.08/3593.22	c starts		: 34325
3600.08/3593.22	c conflicts		: 5374345
3600.08/3593.23	c decisions		: 20491791
3600.08/3593.23	c propagations		: 6587342987
3600.08/3593.23	c inspects		: 23937354166
3600.08/3593.23	c shortcuts		: 0
3600.08/3593.23	c learnt literals	: 20
3600.08/3593.23	c learnt binary clauses	: 8023
3600.08/3593.23	c learnt ternary clauses	: 6839
3600.08/3593.23	c learnt constraints	: 5374325
3600.08/3593.23	c ignored constraints	: 0
3600.08/3593.23	c root simplifications	: 0
3600.08/3593.23	c removed literals (reason simplification)	: 0
3600.08/3593.23	c reason swapping (by a shorter reason)	: 0
3600.08/3593.23	c Calls to reduceDB	: 519
3600.08/3593.23	c Number of update (reduction) of LBD	: 804825
3600.08/3593.23	c Imported unit clauses	: 0
3600.08/3593.23	c No decision after first conflict	: false
3600.08/3593.23	c number of reductions to clauses (during analyze)	: 0
3600.08/3593.23	c number of learned constraints concerned by reduction	: 0
3600.08/3593.23	c number of learning phase by resolution	: 0
3600.08/3593.23	c number of learning phase by cutting planes	: 0
3600.08/3593.23	c number of rounding to 1 operations	: 0
3600.08/3593.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3593.23	c number of reductions of the coefficients by power 2 	: 0
3600.08/3593.23	c number of right shift for reduction by power 2 	: 0
3600.08/3593.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3593.23	c number of ending skipping 	: 0
3600.08/3593.23	c number of internal skipping 	: 0
3600.08/3593.23	c number of derivation steps 	: 0
3600.08/3593.23	c number of skipped derivation steps 	: 0
3600.08/3593.23	c number of remaining unassigned 	: 0
3600.08/3593.23	c number of remaining assigned 	: 0
3600.08/3593.23	c number of falsified literals weakened from reason	: 0
3600.08/3593.23	c number of falsified literals weakened from conflict	: 0
3600.08/3593.23	c time for arithmetic operations	: 0
3600.08/3593.23	c minimum degree of deleted constraints	: null
3600.08/3593.23	c maximum degree of deleted constraints	: null
3600.08/3593.23	c number of deleted constraints	: 0
3600.08/3593.23	c speed (assignments/second)	: 1833713.6284845215
3600.08/3593.23	c non guided choices	: 12494
3600.08/3593.25	c timeout
3600.08/3593.25	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.08/3593.27		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.08/3593.27		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.08/3593.27		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.08/3593.27		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.08/3593.27		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.08/3593.27		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.08/3593.27		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61555 MiB free)
  memory of node 1: 64510 MiB (62345 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432150-1721050991/watcher-4432150-1721050991 -o /tmp/evaluation-result-4432150-1721050991/solver-4432150-1721050991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802437 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432150-1721050991.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=802480, runsolver pid=802473
Current StackSize limit: 8192 KiB


[startup+0.100258 s]*
/proc/loadavg: 1.19 2.39 3.39 8/324 802567
/proc/meminfo: memFree=126710208/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=18975048 memory=63128 CPUtime=0.13 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 7306 0 0 0 11 2 0 0 20 0 18 0 157268775 19430449152 15782 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4743762 15782 5669 1 0 549327 0
[pid=802480/tid=802484] ppid=802473 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 5824 0 0 0 7 1 0 0 20 0 18 0 157268775 19430449152 15782 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=18975048 memory=17963 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 15782 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 15782 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63128 KiB

[startup+0.208642 s]*
/proc/loadavg: 1.19 2.39 3.39 14/324 802567
/proc/meminfo: memFree=126642004/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=18975048 memory=82932 CPUtime=0.34 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 8126 0 0 0 31 3 0 0 20 0 18 0 157268775 19430449152 20733 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4743762 20733 5787 1 0 549905 0
[pid=802480/tid=802484] ppid=802473 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 5992 0 0 0 17 2 0 0 20 0 18 0 157268775 19430449152 20733 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=18975048 memory=17963 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 20733 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 20733 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82932 KiB

[startup+0.30887 s]*
/proc/loadavg: 1.19 2.39 3.39 13/324 802567
/proc/meminfo: memFree=126498112/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=18975048 memory=116728 CPUtime=0.53 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 9315 0 0 0 50 3 0 0 20 0 18 0 157268775 19430449152 29182 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4743762 29182 5803 1 0 550633 0
[pid=802480/tid=802484] ppid=802473 vsize=18975048 memory=-8961148866352489148 CPUtime=0.29 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 6022 0 0 0 27 2 0 0 20 0 18 0 157268775 19430449152 29182 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 29182 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 29182 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116728 KiB

[startup+0.700612 s]
/proc/loadavg: 1.19 2.39 3.39 13/328 802571
/proc/meminfo: memFree=126266308/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19041612 memory=202816 CPUtime=1.28 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 16414 0 0 0 122 6 0 0 20 0 19 0 157268775 19498610688 50704 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4760403 50704 5819 1 0 555790 0
[pid=802480/tid=802484] ppid=802473 vsize=19041612 memory=5492 CPUtime=0.62 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 6053 0 0 0 59 3 0 0 20 0 19 0 157268775 19498610688 50704 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157268778 19498610688 50704 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 157268778 19498610688 50704 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 202816 KiB

[startup+1.50862 s]
/proc/loadavg: 1.19 2.39 3.39 12/330 802573
/proc/meminfo: memFree=126107132/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=209572 CPUtime=2.88 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 18651 0 0 0 282 6 0 0 20 0 20 0 157268775 19566772224 52393 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 52393 5888 1 0 557135 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=12312 CPUtime=1.37 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 6170 0 0 0 134 3 0 0 20 0 20 0 157268775 19566772224 52393 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=5568 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52393 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52393 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 52393 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209572 KiB

[startup+3.11061 s]
/proc/loadavg: 2.05 2.55 3.43 6/332 802577
/proc/meminfo: memFree=126027084/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=210288 CPUtime=5.28 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 21200 0 0 0 521 7 0 0 20 0 20 0 157268775 19566772224 52572 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 52572 5903 1 0 557156 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 6278 0 0 0 292 3 0 0 20 0 20 0 157268775 19566772224 52572 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52572 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=5568 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52572 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=203404 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 52572 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210288 KiB

[startup+6.30028 s]
/proc/loadavg: 2.05 2.55 3.43 6/332 802577
/proc/meminfo: memFree=126030044/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=210492 CPUtime=8.76 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 25825 0 0 0 868 8 0 0 20 0 20 0 157268775 19566772224 52623 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 52623 5903 1 0 557159 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=12312 CPUtime=6.13 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 6547 0 0 0 610 3 0 0 20 0 20 0 157268775 19566772224 52623 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=-8959461116003852988 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52623 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=4049634405640335889 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52623 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=-7965959130280075168 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 52623 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210492 KiB

[startup+12.7003 s]
/proc/loadavg: 2.35 2.60 3.44 6/332 802577
/proc/meminfo: memFree=126004828/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=210440 CPUtime=15.64 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 35871 0 0 0 1555 9 0 0 20 0 20 0 157268775 19566772224 52610 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 52610 5919 1 0 557207 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=210440 CPUtime=12.52 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 8256 0 0 0 1249 3 0 0 20 0 20 0 157268775 19566772224 52610 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=210668 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52610 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 52610 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 52610 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210440 KiB

[startup+25.5003 s]
/proc/loadavg: 2.61 2.64 3.45 7/332 802580
/proc/meminfo: memFree=125879012/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=293484 CPUtime=28.74 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 47157 0 0 0 2861 13 0 0 20 0 20 0 157268775 19566772224 73371 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 73371 5935 1 0 557213 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=210668 CPUtime=25.13 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 10746 0 0 0 2510 3 0 0 20 0 20 0 157268775 19566772224 73371 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 73371 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=233848 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 73371 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=-8959461116003852988 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 73371 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 28.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 293484 KiB

[startup+51.1062 s]
/proc/loadavg: 3.22 2.79 3.47 6/332 802583
/proc/meminfo: memFree=125649656/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=357548 CPUtime=54.54 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 58678 0 0 0 5438 16 0 0 20 0 20 0 157268775 19566772224 89387 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 89387 5951 1 0 557230 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=324688 CPUtime=50.58 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 13696 0 0 0 5054 4 0 0 20 0 20 0 157268775 19566772224 89387 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=210372 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 89387 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=5492 CPUtime=0 cores=1,3

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

/proc/meminfo: memFree=110972804/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2364064 CPUtime=3228.59 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 225829 0 0 0 322692 167 0 0 20 0 20 0 157268775 19566772224 591016 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 591016 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2037664 CPUtime=3196.48 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 63975 0 0 0 319626 22 0 0 20 0 20 0 157268775 19566772224 591016 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=2037664 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 591016 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=-8959461116003852988 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1637 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 591016 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=2280044 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 591016 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3228.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2364064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 6/331 804344
/proc/meminfo: memFree=110618868/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3288.71 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 226082 0 0 0 328701 170 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605378 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3256.09 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 64021 0 0 0 325587 22 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=2421512 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=2421512 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1637 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=-8959461116003852988 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3288.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.13 6/332 804358
/proc/meminfo: memFree=110220820/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3348.93 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 226314 0 0 0 334722 171 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605378 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3315.62 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 64041 0 0 0 331540 22 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=40256 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1644 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3348.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.17 4.14 6/332 804369
/proc/meminfo: memFree=109973984/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3408.88 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 226524 0 0 0 340715 173 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605378 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3375.44 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 64117 0 0 0 337522 22 0 0 20 0 20 0 157268775 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=2421512 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1646 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=2421512 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605378 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3408.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.19 4.14 6/332 804382
/proc/meminfo: memFree=109468380/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421660 CPUtime=3469.19 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 231888 0 0 0 346743 176 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605415 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2421512 CPUtime=3435.06 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 64916 0 0 0 343484 22 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=2421512 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1730 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=2421548 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3469.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.46 4.26 4.17 6/332 804392
/proc/meminfo: memFree=109455532/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421660 CPUtime=3529.14 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 231993 0 0 0 352737 177 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605415 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=2421548 CPUtime=3494.87 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 64999 0 0 0 349465 22 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1730 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=-8959461116003852988 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3529.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.27 4.18 6/332 804403
/proc/meminfo: memFree=109290900/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421660 CPUtime=3589.27 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 232419 0 0 0 358748 179 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605415 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=5492 CPUtime=3554.45 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 65093 0 0 0 355423 22 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=2421660 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=2421660 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1730 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=6748 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3589.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.2 s]
/proc/loadavg: 4.26 4.26 4.18 5/332 804542
/proc/meminfo: memFree=121040616/131524600 swapFree=131071996/131071996
[pid=802480] ppid=802473 vsize=19108176 memory=2421660 CPUtime=3600.08 cores=1,3
/proc/802480/stat : 802480 (java) S 802473 802480 802425 0 -1 1077936128 232423 0 0 0 359828 180 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
/proc/802480/statm: 4777044 605415 5972 1 0 618884 0
[pid=802480/tid=802484] ppid=802473 vsize=19108176 memory=40256 CPUtime=3565.25 cores=1,3
/proc/802480/task/802484/stat : 802484 (java) R 802473 802480 802425 0 -1 4194368 65097 0 0 0 356503 22 0 0 20 0 20 0 157268775 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 157268776 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802527] ppid=802473 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/802480/task/802527/stat : 802527 (Finalizer) S 802473 802480 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802542] ppid=802473 vsize=19108176 memory=5492 CPUtime=0 cores=1,3
/proc/802480/task/802542/stat : 802542 (Common-Cleaner) S 802473 802480 802425 0 -1 1077936192 1730 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
[pid=802480/tid=802573] ppid=802473 vsize=19108176 memory=15976 CPUtime=0 cores=1,3
/proc/802480/task/802573/stat : 802573 (Timer-0) S 802473 802480 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268863 19566772224 605415 134679101440 94796939968512 94796939972208 140734783391184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796939980024 94796939980816 94796958609408 140734783394823 140734783394913 140734783394913 140734783401928 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.38 s, system=1.81134 s

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

Child status: 143

Real time (s): 3593.28
CPU time (s): 3600.19
CPU user time (s): 3598.38
CPU system time (s): 1.81134
CPU usage (%): 100.192
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2421660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.81134
maximum resident set size= 2423068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233736
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111566
involuntary context switches= 13521


# summary of solver processes directly reported to runsolver:
#   pid: 802480
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.38
#   total CPU system time (s): 1.81134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49874 second user time and 19.8536 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-15 15:43:23
IDJOB=4432150
IDBENCH=146066
IDSOLVER=3058
FILE ID=nodeC033/4432150-1721050991
RUNJOBID= nodeC033-1721051003-802437
SLURM_JOB_ID= 7505484
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432150-1721050991/watcher-4432150-1721050991 -o /tmp/evaluation-result-4432150-1721050991/solver-4432150-1721050991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802437 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432150-1721050991.opb

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

MD5SUM BENCH= 53c68bf7d19d7287f2cd1e2b2d097a69
RANDOM SEED=466024245

nodeC033.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		: 3651.097
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.50
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		: 3644.047
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	: 7006.25
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		: 3539.519
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.50
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		: 3896.131
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	: 7006.25
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		: 3649.673
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.50
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		: 3600.576
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	: 7006.25
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		: 3753.084
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.50
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		: 3838.124
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126868728 kB
MemAvailable:   129680276 kB
Buffers:          366568 kB
Cached:          3252196 kB
SwapCached:            0 kB
Active:           583724 kB
Inactive:        3417596 kB
Active(anon):       1512 kB
Inactive(anon):   418812 kB
Active(file):     582212 kB
Inactive(file):  2998784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25384 kB
Writeback:             0 kB
AnonPages:        381144 kB
Mapped:           103092 kB
Shmem:             37716 kB
KReclaimable:     140396 kB
Slab:             250180 kB
SReclaimable:     140396 kB
SUnreclaim:       109784 kB
KernelStack:        3936 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     790520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-15 16:43:16