Trace number 4440336

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)3 3600.58 3601.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM31fd86554dd2fe3e1cfc98032a9196a9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark602.754
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
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.12/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.11	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.14	c Free memory 		2115194816
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.19	--- Begin Solver configuration ---
0.12/0.19	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.19	Learn all clauses as in MiniSAT
0.12/0.19	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	Expensive reason simplification
0.12/0.19	Glucose 2.1 dynamic restart strategy
0.12/0.19	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.19	timeout=2147483s
0.12/0.19	DB Simplification allowed=false
0.12/0.19	Listener: none
0.12/0.19	--- End Solver configuration ---
0.12/0.19	c Pseudo Boolean Optimization by upper bound
0.12/0.19	c --- Begin Solver configuration ---
0.12/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.19	c Learn all clauses as in MiniSAT
0.12/0.19	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	c Expensive reason simplification
0.12/0.19	c Glucose 2.1 dynamic restart strategy
0.12/0.19	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.19	c timeout=2147483s
0.12/0.19	c DB Simplification allowed=false
0.12/0.19	c Listener: none
0.12/0.19	c --- End Solver configuration ---
0.12/0.19	c solving HOME/instance-4440336-1721772751.opb
0.12/0.19	c reading problem ... 
0.29/0.23	c using VERIPB proof format
0.29/0.24	c  objective function found
0.29/0.27	c ... done. Wall clock time 0.078s.
0.29/0.27	c declared #vars     120
0.29/0.27	c #constraints  10
0.29/0.27	c constraints type 
0.29/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.29/0.27	c 10 constraints processed.
0.29/0.30	c objective function length is 80 literals
1.95/1.15	c cleaning 2492 clauses out of 5002 with flag 10103/5002
2.32/1.33	c SATISFIABLE
2.32/1.33	c OPTIMIZING...
2.32/1.33	c Got one! Elapsed wall clock time (in seconds):1.138
2.32/1.33	o 422
2.54/1.42	c Got one! Elapsed wall clock time (in seconds):1.224
2.54/1.42	o 281
2.54/1.43	c Got one! Elapsed wall clock time (in seconds):1.247
2.54/1.43	o 182
2.73/1.53	c Got one! Elapsed wall clock time (in seconds):1.347
2.73/1.54	o 167
2.73/1.55	c Got one! Elapsed wall clock time (in seconds):1.36
2.73/1.55	o 99
3.12/1.71	c cleaning 4715 clauses out of 9445 with flag 4122/11937
3.72/2.06	c cleaning 5355 clauses out of 10730 with flag 16248/17937
4.31/2.34	c Got one! Elapsed wall clock time (in seconds):2.154
4.31/2.34	o 56
4.72/2.59	c cleaning 8481 clauses out of 16977 with flag 10115/29539
5.22/2.82	c cleaning 7243 clauses out of 14495 with flag 22203/35538
5.46/3.09	c cleaning 7116 clauses out of 14251 with flag 36283/42537
5.76/3.37	c cleaning 7558 clauses out of 15139 with flag 52465/50541
6.12/3.68	c cleaning 8284 clauses out of 16579 with flag 70559/59539
6.60/4.09	c cleaning 9139 clauses out of 18293 with flag 90686/69537
7.10/4.50	c cleaning 10064 clauses out of 20155 with flag 112839/80538
7.62/5.02	c cleaning 11040 clauses out of 22093 with flag 136993/92540
8.11/5.50	c cleaning 12019 clauses out of 24052 with flag 163191/105539
8.73/6.14	c cleaning 13006 clauses out of 26031 with flag 191344/119537
9.90/7.25	c cleaning 14002 clauses out of 28025 with flag 221544/134537
10.87/8.10	c cleaning 15002 clauses out of 30025 with flag 253816/150539
11.75/8.94	c cleaning 16002 clauses out of 32022 with flag 288174/167538
12.55/9.71	c cleaning 16997 clauses out of 34019 with flag 324404/185537
12.96/10.17	c Got one! Elapsed wall clock time (in seconds):9.987
12.96/10.17	o 55
13.35/10.54	c cleaning 17376 clauses out of 34771 with flag 10161/203286
13.57/10.79	c cleaning 11686 clauses out of 23393 with flag 22439/209284
13.88/11.04	c cleaning 9346 clauses out of 18707 with flag 36590/216284
14.29/11.30	c cleaning 8669 clauses out of 17361 with flag 52758/224284
14.80/11.63	c cleaning 8838 clauses out of 17695 with flag 70894/233287
15.21/11.98	c cleaning 9418 clauses out of 18854 with flag 91052/243284
15.43/12.15	c Got one! Elapsed wall clock time (in seconds):11.964
15.43/12.15	o 52
15.61/12.37	c cleaning 10156 clauses out of 20328 with flag 10114/254176
15.75/12.44	c Got one! Elapsed wall clock time (in seconds):12.247
15.75/12.44	o 33
15.96/12.54	c cleaning 7788 clauses out of 15577 with flag 6298/259581
15.96/12.56	c Got one! Elapsed wall clock time (in seconds):12.37
15.96/12.56	o 32
16.24/12.73	c cleaning 6734 clauses out of 13481 with flag 10105/265273
16.46/12.93	c cleaning 6365 clauses out of 12745 with flag 22267/271271
16.67/13.15	c cleaning 6681 clauses out of 13380 with flag 36421/278271
16.90/13.39	c cleaning 7345 clauses out of 14702 with flag 52604/286274
17.19/13.69	c cleaning 8172 clauses out of 16355 with flag 70845/295272
17.61/14.01	c cleaning 9081 clauses out of 18184 with flag 91029/305273
17.92/14.37	c cleaning 10044 clauses out of 20103 with flag 113365/316273
18.42/14.81	c cleaning 11022 clauses out of 22058 with flag 137644/328272
18.92/15.31	c cleaning 12004 clauses out of 24034 with flag 163961/341270
19.22/15.64	c Got one! Elapsed wall clock time (in seconds):15.456
19.22/15.64	o 28
19.53/15.91	c cleaning 13429 clauses out of 26865 with flag 10139/356105
19.73/16.13	c cleaning 9710 clauses out of 19437 with flag 22381/362106
19.92/16.35	c cleaning 8356 clauses out of 16728 with flag 36597/369107
20.22/16.60	c cleaning 8176 clauses out of 16371 with flag 52803/377106
20.42/16.88	c cleaning 8587 clauses out of 17195 with flag 71032/386106
20.82/17.20	c cleaning 9297 clauses out of 18607 with flag 91233/396105
21.12/17.58	c cleaning 10147 clauses out of 20310 with flag 113401/407105
21.51/17.99	c cleaning 11073 clauses out of 22163 with flag 137575/419105
22.02/18.48	c cleaning 12037 clauses out of 24090 with flag 163897/432105
22.63/19.01	c cleaning 13017 clauses out of 26055 with flag 192235/446107
23.22/19.63	c cleaning 14006 clauses out of 28037 with flag 222629/461106
23.81/20.26	c cleaning 15005 clauses out of 30030 with flag 254922/477105
24.51/20.95	c cleaning 16002 clauses out of 32025 with flag 289306/494105
25.21/21.65	c cleaning 17002 clauses out of 34023 with flag 325582/512105
25.91/22.36	c cleaning 18000 clauses out of 36022 with flag 363879/531106
26.72/23.17	c cleaning 19004 clauses out of 38023 with flag 404252/551107
27.50/23.99	c cleaning 19999 clauses out of 40019 with flag 446551/572107
28.50/24.97	c cleaning 20998 clauses out of 42018 with flag 490948/594105
29.20/25.61	c Got one! Elapsed wall clock time (in seconds):25.423
29.20/25.61	o 27
29.61/26.03	c cleaning 22207 clauses out of 44438 with flag 10099/617523
29.80/26.27	c cleaning 14106 clauses out of 28231 with flag 22172/623523
30.11/26.50	c cleaning 10556 clauses out of 21125 with flag 36326/630523
30.30/26.75	c cleaning 9273 clauses out of 18571 with flag 52470/638525
30.62/27.03	c cleaning 9142 clauses out of 18300 with flag 70595/647527
30.90/27.38	c cleaning 9566 clauses out of 19155 with flag 90750/657524
31.31/27.76	c cleaning 10284 clauses out of 20588 with flag 112959/668523
31.71/28.19	c cleaning 11142 clauses out of 22304 with flag 137145/680523
32.20/28.68	c cleaning 12071 clauses out of 24162 with flag 163337/693523
32.72/29.16	c cleaning 13036 clauses out of 26092 with flag 191648/707524
33.30/29.70	c cleaning 14020 clauses out of 28060 with flag 221919/722528
33.81/30.28	c cleaning 15005 clauses out of 30035 with flag 254160/738523
35.03/32.07	c cleaning 16004 clauses out of 32030 with flag 288397/755523
35.92/32.92	c cleaning 17002 clauses out of 34026 with flag 324730/773523
36.62/33.68	c cleaning 17999 clauses out of 36026 with flag 362963/792525
37.51/34.51	c cleaning 19004 clauses out of 38027 with flag 403279/812525
38.51/35.50	c cleaning 20003 clauses out of 40022 with flag 445562/833524
39.31/36.39	c cleaning 21002 clauses out of 42022 with flag 489905/855527
40.30/37.33	c cleaning 21999 clauses out of 44017 with flag 536259/878524
41.20/38.27	c cleaning 23000 clauses out of 46020 with flag 584627/902526
42.30/39.36	c cleaning 23999 clauses out of 48018 with flag 634958/927524
43.50/40.50	c cleaning 24999 clauses out of 50019 with flag 687407/953524
44.60/41.67	c cleaning 26000 clauses out of 52021 with flag 741917/980525
45.90/42.90	c cleaning 27002 clauses out of 54022 with flag 798424/1008526
47.19/44.22	c cleaning 27996 clauses out of 56017 with flag 856877/1037523
48.59/45.63	c cleaning 29001 clauses out of 58025 with flag 917368/1067527
50.00/47.03	c cleaning 30002 clauses out of 60020 with flag 979763/1098523
51.49/48.53	c cleaning 30998 clauses out of 62018 with flag 1044438/1130523
52.99/50.05	c cleaning 31997 clauses out of 64022 with flag 1110982/1163525
54.77/51.80	c cleaning 33002 clauses out of 66023 with flag 1179667/1197523
56.47/53.56	c cleaning 34001 clauses out of 68022 with flag 1250336/1232524
58.37/55.45	c cleaning 34999 clauses out of 70023 with flag 1322789/1268526
60.17/57.24	c cleaning 35999 clauses out of 72021 with flag 1397328/1305523
61.99/59.05	c cleaning 37002 clauses out of 74023 with flag 1473953/1343524
64.36/61.46	c cleaning 38006 clauses out of 76025 with flag 1552607/1382528
67.79/65.15	c cleaning 38992 clauses out of 78014 with flag 1633260/1422523
69.97/67.34	c cleaning 40001 clauses out of 80022 with flag 1716003/1463523
70.68/68.10	c Got one! Elapsed wall clock time (in seconds):67.916
70.68/68.10	o 24
70.89/68.24	c Got one! Elapsed wall clock time (in seconds):68.051
70.89/68.24	o 23
71.39/68.79	c cleaning 32969 clauses out of 65952 with flag 8130/1489454
71.72/69.07	c cleaning 19491 clauses out of 38981 with flag 20507/1495452
71.72/69.08	c Got one! Elapsed wall clock time (in seconds):68.895
71.72/69.08	o 22
72.11/69.41	c cleaning 12358 clauses out of 24735 with flag 10172/1500697
72.33/69.60	c Got one! Elapsed wall clock time (in seconds):69.415
72.33/69.60	o 14
72.55/69.85	c cleaning 11361 clauses out of 22733 with flag 10230/1511053
72.77/70.06	c cleaning 8679 clauses out of 17375 with flag 22387/1517056
73.04/70.27	c cleaning 7835 clauses out of 15693 with flag 36489/1524053
73.61/70.52	c cleaning 7921 clauses out of 15858 with flag 52614/1532053
73.96/70.80	c cleaning 8462 clauses out of 16938 with flag 70700/1541054
74.28/71.12	c cleaning 9230 clauses out of 18476 with flag 90841/1551054
74.56/71.49	c cleaning 10111 clauses out of 20245 with flag 113026/1562053
74.96/71.88	c cleaning 11058 clauses out of 22136 with flag 137237/1574055
75.46/72.31	c cleaning 12023 clauses out of 24076 with flag 163406/1587053
76.05/72.91	c cleaning 13020 clauses out of 26057 with flag 191706/1601057
76.56/73.45	c cleaning 14007 clauses out of 28033 with flag 221977/1616053
77.16/74.08	c cleaning 15004 clauses out of 30026 with flag 254308/1632053
77.85/74.70	c cleaning 16002 clauses out of 32025 with flag 288661/1649056
78.45/75.38	c cleaning 17001 clauses out of 34020 with flag 324926/1667053
79.34/76.23	c cleaning 17996 clauses out of 36019 with flag 363176/1686053
80.16/77.05	c cleaning 19003 clauses out of 38023 with flag 403481/1706053
81.05/77.98	c cleaning 20003 clauses out of 40020 with flag 445882/1727053
81.95/78.88	c cleaning 21002 clauses out of 42017 with flag 490556/1749053
82.94/79.85	c cleaning 21994 clauses out of 44015 with flag 537013/1772053
83.94/80.83	c cleaning 23001 clauses out of 46021 with flag 585441/1796053
84.93/81.83	c cleaning 23999 clauses out of 48022 with flag 636030/1821055
85.94/82.86	c cleaning 25001 clauses out of 50021 with flag 688478/1847053
87.16/84.05	c cleaning 25999 clauses out of 52023 with flag 743048/1874056
88.54/85.47	c cleaning 27000 clauses out of 54021 with flag 799414/1902053
89.93/86.84	c cleaning 27999 clauses out of 56021 with flag 857861/1931053
91.46/88.33	c cleaning 29002 clauses out of 58022 with flag 918308/1961053
92.96/89.88	c cleaning 29995 clauses out of 60020 with flag 980741/1992053
94.56/91.47	c cleaning 31002 clauses out of 62025 with flag 1045252/2024053
96.32/93.33	c cleaning 31999 clauses out of 64024 with flag 1112135/2057054
98.03/95.10	c cleaning 33003 clauses out of 66025 with flag 1180890/2091054
99.61/96.64	c cleaning 33999 clauses out of 68021 with flag 1251713/2126053
101.41/98.41	c cleaning 35001 clauses out of 70023 with flag 1324383/2162054
103.21/100.23	c cleaning 36000 clauses out of 72022 with flag 1399032/2199054
105.31/102.35	c cleaning 37008 clauses out of 74023 with flag 1475693/2237055
107.40/104.44	c cleaning 37996 clauses out of 76013 with flag 1554369/2276053
109.44/106.49	c cleaning 39000 clauses out of 78017 with flag 1635191/2316053
111.72/108.73	c cleaning 39996 clauses out of 80017 with flag 1717870/2357053
114.24/111.29	c cleaning 41001 clauses out of 82025 with flag 1802775/2399057
116.54/113.53	c cleaning 41997 clauses out of 84021 with flag 1889687/2442054
118.95/116.00	c cleaning 42999 clauses out of 86025 with flag 1978472/2486055
121.64/118.65	c cleaning 43998 clauses out of 88024 with flag 2069250/2531053
124.46/121.49	c cleaning 44996 clauses out of 90027 with flag 2162119/2577054
127.30/124.61	c cleaning 46004 clauses out of 92035 with flag 2256889/2624058
130.20/127.51	c cleaning 47002 clauses out of 94026 with flag 2353609/2672053
133.13/130.49	c cleaning 48003 clauses out of 96024 with flag 2452479/2721053
135.75/133.11	c cleaning 49004 clauses out of 98021 with flag 2553465/2771053
139.05/136.30	c cleaning 49996 clauses out of 100017 with flag 2656319/2822053
142.04/139.39	c cleaning 51005 clauses out of 102021 with flag 2761340/2874053
145.67/142.98	c cleaning 51998 clauses out of 104017 with flag 2868475/2927054
148.78/146.02	c cleaning 53003 clauses out of 106019 with flag 2977612/2981054
152.20/149.44	c cleaning 54000 clauses out of 108015 with flag 3088803/3036053
155.74/152.94	c cleaning 54994 clauses out of 110017 with flag 3201829/3092055
159.03/156.38	c cleaning 55996 clauses out of 112021 with flag 3316794/3149053
163.01/160.36	c cleaning 57005 clauses out of 114027 with flag 3433820/3207055
166.89/164.26	c cleaning 58000 clauses out of 116023 with flag 3552891/3266056
170.86/168.11	c cleaning 58999 clauses out of 118020 with flag 3673661/3326053
175.14/172.49	c cleaning 59996 clauses out of 120022 with flag 3796572/3387054
179.22/176.47	c cleaning 61002 clauses out of 122028 with flag 3921583/3449056
184.11/181.32	c cleaning 62005 clauses out of 124023 with flag 4048553/3512053
188.37/185.59	c cleaning 62995 clauses out of 126020 with flag 4177765/3576055
192.71/189.82	c cleaning 63999 clauses out of 128023 with flag 4308988/3641053
197.10/194.27	c cleaning 65002 clauses out of 130027 with flag 4442097/3707056
201.95/199.10	c cleaning 66003 clauses out of 132025 with flag 4577172/3774056
206.83/203.95	c cleaning 67001 clauses out of 134021 with flag 4714333/3842055
211.96/209.10	c cleaning 67999 clauses out of 136020 with flag 4853775/3911055
217.77/214.84	c cleaning 68999 clauses out of 138021 with flag 4995430/3981055
222.52/219.77	c cleaning 69998 clauses out of 140020 with flag 5139089/4052053
227.57/224.79	c cleaning 70998 clauses out of 142022 with flag 5284568/4124053
232.68/229.90	c cleaning 71999 clauses out of 144024 with flag 5432097/4197053
237.48/234.63	c cleaning 73002 clauses out of 146026 with flag 5581367/4271054
242.43/239.54	c cleaning 73998 clauses out of 148023 with flag 5732714/4346053
247.42/244.52	c cleaning 75000 clauses out of 150026 with flag 5885911/4422054
252.64/249.92	c cleaning 76006 clauses out of 152026 with flag 6041447/4499054
258.03/255.37	c cleaning 76995 clauses out of 154019 with flag 6198670/4577053
263.48/260.70	c cleaning 77996 clauses out of 156024 with flag 6358079/4656053
269.02/266.26	c cleaning 79007 clauses out of 158030 with flag 6519282/4736055
274.21/271.43	c cleaning 79997 clauses out of 160022 with flag 6682595/4817054
279.99/277.17	c cleaning 81000 clauses out of 162027 with flag 6847861/4899056
286.36/283.51	c cleaning 82003 clauses out of 164028 with flag 7015060/4982057
292.34/289.53	c cleaning 83001 clauses out of 166021 with flag 7184386/5066053
299.32/296.43	c cleaning 83998 clauses out of 168021 with flag 7355769/5151054
307.50/304.56	c cleaning 85004 clauses out of 170024 with flag 7529061/5237055
315.03/312.12	c cleaning 86000 clauses out of 172019 with flag 7704470/5324054
321.79/318.81	c cleaning 87001 clauses out of 174019 with flag 7881748/5412054
328.10/325.03	c cleaning 87996 clauses out of 176017 with flag 8061061/5501053
335.69/332.52	c cleaning 89000 clauses out of 178023 with flag 8242512/5591055
342.95/340.31	c cleaning 89996 clauses out of 180022 with flag 8425909/5682054
349.92/347.22	c cleaning 91000 clauses out of 182025 with flag 8611432/5774053
356.87/354.16	c cleaning 92002 clauses out of 184027 with flag 8798890/5867055
363.86/361.18	c cleaning 92997 clauses out of 186023 with flag 8988294/5961053
372.37/369.61	c cleaning 93999 clauses out of 188027 with flag 9180093/6056054
381.58/378.86	c cleaning 95000 clauses out of 190028 with flag 9373992/6152054
389.50/386.65	c cleaning 96001 clauses out of 192027 with flag 9569734/6249053
398.29/395.33	c cleaning 96997 clauses out of 194026 with flag 9767620/6347053
407.13/404.43	c cleaning 98006 clauses out of 196032 with flag 9967145/6446056
415.95/413.13	c cleaning 99002 clauses out of 198024 with flag 10168810/6546054
424.14/421.22	c cleaning 99996 clauses out of 200022 with flag 10372408/6647054
424.84/421.94	c Got one! Elapsed wall clock time (in seconds):421.752
424.84/421.94	o 12
426.25/423.31	c cleaning 59794 clauses out of 119592 with flag 10318/6666620
426.64/423.74	c cleaning 32893 clauses out of 65798 with flag 22414/6672620
426.64/423.75	c Got one! Elapsed wall clock time (in seconds):423.566
426.64/423.75	o 10
427.06/424.19	c cleaning 19158 clauses out of 38336 with flag 10274/6678051
427.35/424.42	c cleaning 12587 clauses out of 25178 with flag 22456/6684051
427.55/424.62	c Got one! Elapsed wall clock time (in seconds):424.433
427.55/424.62	o 8
427.85/424.95	c cleaning 12054 clauses out of 24131 with flag 10293/6695591
428.08/425.18	c cleaning 9027 clauses out of 18077 with flag 22539/6701591
428.36/425.41	c cleaning 8018 clauses out of 16050 with flag 36792/6708591
428.56/425.67	c cleaning 8013 clauses out of 16033 with flag 53009/6716592
428.86/425.96	c cleaning 8503 clauses out of 17020 with flag 71144/6725592
429.48/426.43	c cleaning 9250 clauses out of 18517 with flag 91312/6735592
429.88/426.80	c cleaning 10127 clauses out of 20268 with flag 113481/6746593
430.20/427.19	c cleaning 11061 clauses out of 22141 with flag 137664/6758593
430.67/427.64	c cleaning 12027 clauses out of 24081 with flag 163829/6771594
431.19/428.15	c cleaning 13016 clauses out of 26053 with flag 191990/6785593
431.78/428.71	c cleaning 14007 clauses out of 28037 with flag 222250/6800593
432.37/429.30	c cleaning 15003 clauses out of 30028 with flag 254493/6816591
432.97/429.95	c cleaning 16007 clauses out of 32025 with flag 288655/6833591
433.68/430.66	c cleaning 16997 clauses out of 34018 with flag 324879/6851591
434.47/431.43	c cleaning 17999 clauses out of 36021 with flag 363110/6870591
435.49/432.50	c cleaning 18999 clauses out of 38022 with flag 403457/6890591
436.29/433.38	c cleaning 19999 clauses out of 40023 with flag 445871/6911591
437.28/434.33	c cleaning 21007 clauses out of 42030 with flag 490435/6933597
438.29/435.30	c cleaning 21998 clauses out of 44017 with flag 536970/6956591
439.28/436.32	c cleaning 23006 clauses out of 46022 with flag 585441/6980594
440.38/437.45	c cleaning 23996 clauses out of 48015 with flag 635740/7005593
441.81/438.88	c cleaning 24995 clauses out of 50017 with flag 688052/7031591
443.12/440.11	c cleaning 26004 clauses out of 52025 with flag 742471/7058594
444.31/441.37	c cleaning 26997 clauses out of 54019 with flag 799002/7086592
445.60/442.67	c cleaning 28004 clauses out of 56025 with flag 857801/7115595
447.11/444.15	c cleaning 29001 clauses out of 58017 with flag 918215/7145591
448.86/445.86	c cleaning 30000 clauses out of 60017 with flag 980611/7176592
450.76/447.70	c cleaning 30997 clauses out of 62016 with flag 1044977/7208591
452.55/449.51	c cleaning 31999 clauses out of 64022 with flag 1111651/7241594
454.26/451.23	c cleaning 32997 clauses out of 66022 with flag 1180322/7275593
456.29/453.23	c cleaning 34001 clauses out of 68023 with flag 1250937/7310591
458.10/455.01	c cleaning 34999 clauses out of 70022 with flag 1323458/7346591
460.09/457.05	c cleaning 36005 clauses out of 72025 with flag 1398037/7383593
462.28/459.29	c cleaning 36997 clauses out of 74018 with flag 1474603/7421591
464.61/461.52	c cleaning 37998 clauses out of 76021 with flag 1553242/7460591
466.67/463.75	c cleaning 39001 clauses out of 78023 with flag 1634220/7500591
468.97/466.03	c cleaning 40003 clauses out of 80023 with flag 1717081/7541592
471.52/468.57	c cleaning 41000 clauses out of 82021 with flag 1801847/7583593
473.81/470.87	c cleaning 42000 clauses out of 84021 with flag 1888631/7626593
476.02/473.10	c cleaning 43001 clauses out of 86019 with flag 1977402/7670591
478.92/475.96	c cleaning 44000 clauses out of 88020 with flag 2068117/7715593
481.52/478.57	c cleaning 44997 clauses out of 90019 with flag 2160768/7761592
484.32/481.37	c cleaning 46001 clauses out of 92023 with flag 2255537/7808593
487.57/484.58	c cleaning 47004 clauses out of 94021 with flag 2352251/7856592
490.26/487.26	c cleaning 47994 clauses out of 96016 with flag 2451026/7905591
493.26/490.22	c cleaning 49004 clauses out of 98024 with flag 2551862/7955593
496.19/493.12	c cleaning 50000 clauses out of 100020 with flag 2654842/8006593
499.38/496.42	c cleaning 50998 clauses out of 102019 with flag 2759880/8058592
502.57/499.63	c cleaning 52001 clauses out of 104020 with flag 2866886/8111591
505.50/502.56	c cleaning 52996 clauses out of 106019 with flag 2976063/8165591
509.29/506.35	c cleaning 53996 clauses out of 108023 with flag 3087137/8220591
513.16/510.19	c cleaning 55005 clauses out of 110028 with flag 3200363/8276592
516.54/513.54	c cleaning 55999 clauses out of 112025 with flag 3315532/8333594
520.15/517.14	c cleaning 57004 clauses out of 114025 with flag 3432699/8391593
523.58/520.50	c cleaning 57995 clauses out of 116019 with flag 3551911/8450591
526.98/523.91	c cleaning 59002 clauses out of 118027 with flag 3672881/8510594
531.02/528.06	c cleaning 59997 clauses out of 120022 with flag 3795942/8571591
535.40/532.47	c cleaning 61002 clauses out of 122025 with flag 3921493/8633591
539.37/536.35	c cleaning 61999 clauses out of 124023 with flag 4048846/8696591
543.26/540.21	c cleaning 63002 clauses out of 126024 with flag 4178179/8760591
547.82/544.71	c cleaning 63999 clauses out of 128024 with flag 4309265/8825593
552.12/549.03	c cleaning 65000 clauses out of 130024 with flag 4442401/8891592
556.51/553.42	c cleaning 65997 clauses out of 132023 with flag 4577587/8958591
560.84/557.87	c cleaning 67003 clauses out of 134031 with flag 4714808/9026596
565.32/562.35	c cleaning 67998 clauses out of 136023 with flag 4854151/9095591
571.03/568.02	c cleaning 69005 clauses out of 138027 with flag 4995487/9165593
576.02/573.03	c cleaning 69998 clauses out of 140021 with flag 5138816/9236592
580.82/577.80	c cleaning 70997 clauses out of 142022 with flag 5284160/9308591
585.71/582.75	c cleaning 72002 clauses out of 144025 with flag 5431647/9381591
590.73/587.87	c cleaning 73000 clauses out of 146025 with flag 5580945/9455593
595.22/592.39	c cleaning 74000 clauses out of 148024 with flag 5732300/9530592
600.08/597.16	c cleaning 75000 clauses out of 150024 with flag 5885701/9606592
604.90/602.00	c cleaning 76001 clauses out of 152023 with flag 6041189/9683591
610.67/607.68	c cleaning 77003 clauses out of 154023 with flag 6198513/9761592
615.85/612.89	c cleaning 77998 clauses out of 156019 with flag 6357964/9840591
621.57/618.60	c cleaning 79001 clauses out of 158022 with flag 6519385/9920592
626.96/624.09	c cleaning 80001 clauses out of 160020 with flag 6682667/10001591
632.67/629.78	c cleaning 80997 clauses out of 162019 with flag 6848027/10083591
639.09/636.18	c cleaning 81999 clauses out of 164022 with flag 7015536/10166591
645.17/642.23	c cleaning 83001 clauses out of 166023 with flag 7185230/10250591
651.39/648.53	c cleaning 83999 clauses out of 168023 with flag 7356935/10335592
657.68/654.82	c cleaning 85000 clauses out of 170024 with flag 7530662/10421592
664.21/661.36	c cleaning 86002 clauses out of 172023 with flag 7706266/10508591
670.74/667.89	c cleaning 87005 clauses out of 174021 with flag 7883753/10596591
678.12/675.21	c cleaning 87997 clauses out of 176018 with flag 8063297/10685593
685.46/682.68	c cleaning 89000 clauses out of 178021 with flag 8244631/10775593
692.91/690.10	c cleaning 89996 clauses out of 180020 with flag 8428034/10866592
700.28/697.47	c cleaning 91000 clauses out of 182023 with flag 8613582/10958591
707.39/704.54	c cleaning 92003 clauses out of 184023 with flag 8801163/11051591
715.77/712.97	c cleaning 93000 clauses out of 186022 with flag 8990526/11145593
721.46/718.64	c cleaning 94004 clauses out of 188021 with flag 9181968/11240592
728.02/725.19	c cleaning 94998 clauses out of 190017 with flag 9375419/11336592
737.51/734.65	c cleaning 95998 clauses out of 192018 with flag 9571116/11433591
746.52/743.73	c cleaning 96996 clauses out of 194021 with flag 9768903/11531592
755.88/753.10	c cleaning 98001 clauses out of 196024 with flag 9968615/11630591
764.35/761.49	c cleaning 99001 clauses out of 198025 with flag 10170376/11730593
773.16/770.37	c cleaning 99998 clauses out of 200022 with flag 10374260/11831591
782.04/779.21	c cleaning 101002 clauses out of 202026 with flag 10579970/11933593
791.40/788.53	c cleaning 102001 clauses out of 204025 with flag 10787496/12036594
800.16/797.22	c cleaning 103001 clauses out of 206021 with flag 10997137/12140591
807.76/804.88	c cleaning 104001 clauses out of 208020 with flag 11208694/12245591
816.06/813.13	c cleaning 105000 clauses out of 210020 with flag 11422354/12351592
823.17/820.28	c cleaning 105998 clauses out of 212020 with flag 11638061/12458592
832.51/829.54	c cleaning 107003 clauses out of 214021 with flag 11855624/12566591
841.61/838.65	c cleaning 107993 clauses out of 216018 with flag 12075311/12675591
850.50/847.54	c cleaning 109000 clauses out of 218025 with flag 12296975/12785591
859.90/856.99	c cleaning 110003 clauses out of 220025 with flag 12520942/12896591
869.03/866.16	c cleaning 111001 clauses out of 222022 with flag 12746953/13008591
878.10/875.15	c cleaning 111996 clauses out of 224021 with flag 12974919/13121591
887.96/884.93	c cleaning 113006 clauses out of 226027 with flag 13204845/13235593
897.28/894.34	c cleaning 113998 clauses out of 228019 with flag 13436662/13350591
906.83/903.82	c cleaning 115002 clauses out of 230025 with flag 13670452/13466595
917.05/914.06	c cleaning 115997 clauses out of 232019 with flag 13906230/13583591
929.22/926.27	c cleaning 117003 clauses out of 234023 with flag 14143947/13701592
939.44/936.43	c cleaning 117999 clauses out of 236019 with flag 14384007/13820591
949.80/946.71	c cleaning 118999 clauses out of 238020 with flag 14626119/13940591
959.57/956.56	c cleaning 120002 clauses out of 240023 with flag 14870123/14061593
969.13/966.04	c cleaning 120997 clauses out of 242019 with flag 15116039/14183591
979.38/976.24	c cleaning 122000 clauses out of 244023 with flag 15363873/14306592
990.24/987.13	c cleaning 122998 clauses out of 246022 with flag 15614029/14430591
1000.37/997.22	c cleaning 123996 clauses out of 248026 with flag 15866113/14555593
1010.37/1007.22	c cleaning 124999 clauses out of 250028 with flag 16120235/14681591
1020.74/1017.61	c cleaning 126003 clauses out of 252030 with flag 16376111/14808592
1031.75/1028.64	c cleaning 127001 clauses out of 254026 with flag 16634074/14936591
1044.10/1040.90	c cleaning 128000 clauses out of 256027 with flag 16894212/15065593
1059.20/1056.04	c cleaning 129002 clauses out of 258026 with flag 17156576/15195592
1071.86/1068.63	c cleaning 129998 clauses out of 260023 with flag 17421139/15326591
1083.77/1080.55	c cleaning 131003 clauses out of 262028 with flag 17687470/15458594
1096.14/1092.80	c cleaning 131999 clauses out of 264027 with flag 17955553/15591596
1110.66/1107.32	c cleaning 133005 clauses out of 266028 with flag 18226079/15725596
1124.46/1121.15	c cleaning 133997 clauses out of 268018 with flag 18498509/15860591
1137.32/1133.99	c cleaning 135000 clauses out of 270023 with flag 18773222/15996593
1149.50/1146.20	c cleaning 135996 clauses out of 272022 with flag 19049900/16133592
1161.55/1158.26	c cleaning 136997 clauses out of 274025 with flag 19328055/16271591
1173.71/1170.57	c cleaning 138001 clauses out of 276028 with flag 19608466/16410591
1188.00/1184.86	c cleaning 139002 clauses out of 278028 with flag 19890588/16550592
1202.46/1199.18	c cleaning 140002 clauses out of 280026 with flag 20174724/16691592
1215.66/1212.56	c cleaning 141000 clauses out of 282024 with flag 20460854/16833592
1230.25/1227.17	c cleaning 142002 clauses out of 284025 with flag 20748937/16976593
1244.21/1241.24	c cleaning 142995 clauses out of 286021 with flag 21039141/17120591
1258.48/1255.42	c cleaning 143995 clauses out of 288027 with flag 21331221/17265592
1269.61/1266.62	c cleaning 145015 clauses out of 290033 with flag 21625596/17411593
1291.97/1288.50	c cleaning 146009 clauses out of 292018 with flag 21921715/17558593
1292.48/1289.01	c Got one! Elapsed wall clock time (in seconds):1288.825
1292.48/1289.01	o 7
1294.27/1290.83	c cleaning 79266 clauses out of 158537 with flag 10423/17571121
1294.86/1291.42	c cleaning 42629 clauses out of 85270 with flag 22745/17577120
1295.16/1291.74	c cleaning 24822 clauses out of 49643 with flag 37000/17584122
1295.43/1292.08	c cleaning 16410 clauses out of 32819 with flag 53282/17592120
1295.72/1292.37	c cleaning 12696 clauses out of 25410 with flag 71457/17601121
1296.02/1292.69	c cleaning 11351 clauses out of 22715 with flag 91670/17611122
1296.43/1293.07	c cleaning 11176 clauses out of 22365 with flag 114005/17622123
1296.82/1293.48	c cleaning 11589 clauses out of 23187 with flag 138229/17634121
1297.32/1293.95	c cleaning 12300 clauses out of 24601 with flag 164480/17647124
1297.91/1294.51	c cleaning 13150 clauses out of 26301 with flag 192750/17661124
1298.52/1295.15	c cleaning 14069 clauses out of 28147 with flag 223050/17676120
1299.12/1295.79	c cleaning 15035 clauses out of 30079 with flag 255441/17692121
1299.92/1296.55	c cleaning 16019 clauses out of 32043 with flag 289795/17709120
1300.81/1297.41	c cleaning 17007 clauses out of 34024 with flag 326173/17727120
1301.71/1298.33	c cleaning 18007 clauses out of 36017 with flag 364514/17746120
1302.71/1299.37	c cleaning 19005 clauses out of 38011 with flag 404957/17766121
1304.11/1300.71	c cleaning 20003 clauses out of 40006 with flag 447605/17787121
1305.42/1302.02	c cleaning 20998 clauses out of 42002 with flag 492041/17809120
1306.80/1303.47	c cleaning 22002 clauses out of 44005 with flag 538443/17832121
1308.30/1304.93	c cleaning 22996 clauses out of 46004 with flag 586871/17856122
1309.90/1306.55	c cleaning 24001 clauses out of 48007 with flag 637325/17881121
1311.59/1308.24	c cleaning 25001 clauses out of 50007 with flag 689643/17907122
1313.59/1310.23	c cleaning 25999 clauses out of 52005 with flag 744027/17934121
1315.40/1312.08	c Got one! Elapsed wall clock time (in seconds):1311.891
1315.40/1312.08	o 5
1316.40/1313.03	c cleaning 28446 clauses out of 56905 with flag 10260/17965020
1316.78/1313.46	c cleaning 17220 clauses out of 34459 with flag 22437/17971020
1317.18/1313.84	c cleaning 12110 clauses out of 24240 with flag 36783/17978021
1317.58/1314.20	c cleaning 10062 clauses out of 20130 with flag 52972/17986021
1317.88/1314.58	c cleaning 9527 clauses out of 19067 with flag 71121/17995020
1318.28/1314.93	c cleaning 9766 clauses out of 19540 with flag 91294/18005020
1318.58/1315.29	c cleaning 10382 clauses out of 20774 with flag 113472/18016020
1319.17/1315.81	c cleaning 11191 clauses out of 22392 with flag 137876/18028020
1319.88/1316.58	c cleaning 12096 clauses out of 24201 with flag 164617/18041020
1320.88/1317.51	c cleaning 13048 clauses out of 26106 with flag 193192/18055021
1321.67/1318.37	c cleaning 14027 clauses out of 28060 with flag 223433/18070023
1322.67/1319.33	c cleaning 15015 clauses out of 30030 with flag 255671/18086020
1323.77/1320.40	c cleaning 16005 clauses out of 32017 with flag 290267/18103022
1325.07/1321.78	c cleaning 17001 clauses out of 34010 with flag 327032/18121020
1326.31/1323.10	c cleaning 17999 clauses out of 36010 with flag 365390/18140021
1327.59/1324.33	c cleaning 19005 clauses out of 38011 with flag 405727/18160021
1329.09/1325.84	c cleaning 20001 clauses out of 40008 with flag 448248/18181023
1330.69/1327.45	c cleaning 21002 clauses out of 42004 with flag 492877/18203020
1332.78/1329.50	c cleaning 21997 clauses out of 44002 with flag 540093/18226020
1334.68/1331.43	c cleaning 23000 clauses out of 46007 with flag 588738/18250022
1336.68/1333.47	c cleaning 23997 clauses out of 48007 with flag 639141/18275022
1338.48/1335.20	c cleaning 25004 clauses out of 50010 with flag 691676/18301022
1340.39/1337.14	c cleaning 26000 clauses out of 52004 with flag 746474/18328020
1342.68/1339.45	c cleaning 27001 clauses out of 54004 with flag 803273/18356020
1345.18/1341.95	c cleaning 28000 clauses out of 56005 with flag 862205/18385022
1347.97/1344.79	c cleaning 28998 clauses out of 58003 with flag 923288/18415020
1350.67/1347.47	c cleaning 29996 clauses out of 60005 with flag 986047/18446020
1353.66/1350.41	c cleaning 31003 clauses out of 62010 with flag 1051092/18478021
1356.80/1353.67	c cleaning 32003 clauses out of 64006 with flag 1117870/18511020
1360.00/1356.86	c cleaning 32998 clauses out of 66003 with flag 1187103/18545020
1363.31/1360.11	c cleaning 34004 clauses out of 68011 with flag 1258019/18580026
1366.49/1363.36	c cleaning 34999 clauses out of 70002 with flag 1330638/18616021
1370.08/1366.98	c cleaning 36001 clauses out of 72002 with flag 1405732/18653020
1374.07/1370.98	c cleaning 36998 clauses out of 74001 with flag 1482901/18691020
1378.06/1374.97	c cleaning 38002 clauses out of 76006 with flag 1561561/18730023
1382.26/1379.14	c cleaning 38999 clauses out of 78001 with flag 1642994/18770020
1386.64/1383.57	c cleaning 39998 clauses out of 80003 with flag 1725927/18811021
1391.00/1387.90	c cleaning 40992 clauses out of 82005 with flag 1811426/18853021
1395.21/1392.19	c cleaning 42003 clauses out of 84012 with flag 1900220/18896020
1399.69/1396.64	c cleaning 42996 clauses out of 86010 with flag 1990258/18940021
1404.67/1401.65	c cleaning 44006 clauses out of 88013 with flag 2081871/18985020
1409.56/1406.53	c cleaning 45004 clauses out of 90009 with flag 2175402/19031022
1414.95/1411.98	c cleaning 46002 clauses out of 92004 with flag 2271267/19078021
1420.02/1417.01	c cleaning 46997 clauses out of 94002 with flag 2368964/19126021
1425.90/1422.98	c cleaning 48002 clauses out of 96004 with flag 2468920/19175020
1433.09/1430.19	c cleaning 49000 clauses out of 98002 with flag 2571075/19225020
1439.66/1436.79	c cleaning 49996 clauses out of 100003 with flag 2675698/19276021
1445.75/1442.83	c cleaning 50997 clauses out of 102007 with flag 2781084/19328021
1453.40/1450.56	c cleaning 52005 clauses out of 104010 with flag 2888407/19381021
1460.49/1457.68	c cleaning 52998 clauses out of 106004 with flag 2998491/19435020
1467.48/1464.65	c cleaning 54003 clauses out of 108007 with flag 3111218/19490021
1475.46/1472.64	c cleaning 55003 clauses out of 110005 with flag 3224720/19546022
1483.52/1480.71	c cleaning 55996 clauses out of 112000 with flag 3340990/19603020
1491.50/1488.72	c cleaning 56997 clauses out of 114008 with flag 3459901/19661024
1500.38/1497.66	c cleaning 58004 clauses out of 116011 with flag 3580884/19720024
1509.07/1506.30	c cleaning 59000 clauses out of 118003 with flag 3703430/19780020
1517.13/1514.42	c cleaning 60000 clauses out of 120003 with flag 3826454/19841020
1523.01/1520.32	c Got one! Elapsed wall clock time (in seconds):1520.135
1523.01/1520.32	o 4
1525.31/1522.69	c cleaning 57500 clauses out of 115017 with flag 10158/19896034
1526.30/1523.60	c cleaning 31753 clauses out of 63517 with flag 22209/19902034
1526.82/1524.13	c cleaning 19374 clauses out of 38765 with flag 36313/19909035
1527.20/1524.58	c cleaning 13689 clauses out of 27393 with flag 52437/19917037
1527.61/1524.99	c cleaning 11341 clauses out of 22701 with flag 70560/19926034
1528.10/1525.40	c cleaning 10667 clauses out of 21360 with flag 90666/19936034
1528.50/1525.89	c cleaning 10838 clauses out of 21695 with flag 112850/19947036
1529.11/1526.45	c cleaning 11413 clauses out of 22856 with flag 137106/19959035
1529.90/1527.21	c cleaning 12211 clauses out of 24444 with flag 163699/19972036
1530.60/1527.99	c cleaning 13106 clauses out of 26231 with flag 192333/19986034
1531.39/1528.70	c cleaning 14056 clauses out of 28128 with flag 222887/20001037
1532.00/1529.35	c cleaning 15029 clauses out of 30073 with flag 255132/20017038
1532.99/1530.30	c cleaning 16010 clauses out of 32042 with flag 289800/20034036
1533.99/1531.36	c cleaning 17003 clauses out of 34032 with flag 326558/20052036
1535.09/1532.45	c cleaning 18003 clauses out of 36027 with flag 365587/20071034
1535.89/1533.25	c cleaning 19005 clauses out of 38026 with flag 405919/20091036
1536.80/1534.12	c cleaning 20000 clauses out of 40019 with flag 448154/20112034
1537.81/1535.17	c cleaning 20999 clauses out of 42019 with flag 492511/20134034
1538.89/1536.23	c cleaning 21996 clauses out of 44020 with flag 538822/20157034
1540.19/1537.51	c cleaning 22999 clauses out of 46025 with flag 587226/20181035
1541.33/1538.79	c cleaning 24002 clauses out of 48025 with flag 637723/20206034
1542.52/1539.99	c cleaning 25004 clauses out of 50024 with flag 690314/20232035
1543.73/1541.17	c cleaning 26000 clauses out of 52020 with flag 744695/20259035
1545.32/1542.70	c cleaning 27003 clauses out of 54020 with flag 801158/20287035
1546.82/1544.29	c cleaning 27995 clauses out of 56016 with flag 859527/20316034
1548.22/1545.66	c cleaning 28997 clauses out of 58021 with flag 920069/20346034
1550.21/1547.66	c cleaning 30007 clauses out of 60029 with flag 982954/20377039
1552.11/1549.55	c cleaning 30999 clauses out of 62020 with flag 1047989/20409037
1553.91/1551.30	c cleaning 32003 clauses out of 64021 with flag 1115187/20442037
1556.10/1553.56	c cleaning 32997 clauses out of 66017 with flag 1184506/20476036
1558.29/1555.70	c cleaning 34000 clauses out of 68018 with flag 1255699/20511034
1561.09/1558.57	c cleaning 34995 clauses out of 70021 with flag 1328880/20547037
1563.99/1561.44	c cleaning 36001 clauses out of 72023 with flag 1404242/20584034
1567.00/1564.47	c cleaning 37005 clauses out of 74022 with flag 1481995/20622034
1570.00/1567.48	c cleaning 37999 clauses out of 76018 with flag 1561474/20661035
1572.40/1569.99	c cleaning 39001 clauses out of 78019 with flag 1642826/20701035
1575.19/1572.75	c cleaning 39996 clauses out of 80017 with flag 1726243/20742034
1578.12/1575.69	c cleaning 40998 clauses out of 82021 with flag 1811767/20784034
1581.41/1578.94	c cleaning 42002 clauses out of 84024 with flag 1899362/20827035
1584.40/1581.93	c cleaning 43002 clauses out of 86023 with flag 1988681/20871036
1587.40/1584.98	c cleaning 43998 clauses out of 88019 with flag 2079820/20916034
1591.39/1588.90	c cleaning 45004 clauses out of 90021 with flag 2173952/20962034
1594.78/1592.31	c cleaning 45999 clauses out of 92018 with flag 2269955/21009035
1597.78/1595.39	c cleaning 47001 clauses out of 94018 with flag 2367871/21057034
1601.10/1598.63	c cleaning 47994 clauses out of 96018 with flag 2467566/21106035
1604.43/1602.04	c cleaning 49000 clauses out of 98025 with flag 2569788/21156036
1607.91/1605.56	c cleaning 50000 clauses out of 100023 with flag 2673915/21207034
1611.41/1609.03	c cleaning 51000 clauses out of 102023 with flag 2780162/21259034
1614.99/1612.68	c cleaning 52001 clauses out of 104025 with flag 2887394/21312036
1618.89/1616.51	c cleaning 53006 clauses out of 106024 with flag 2996711/21366036
1622.61/1620.20	c cleaning 53996 clauses out of 108016 with flag 3109325/21421034
1626.71/1624.36	c cleaning 55001 clauses out of 110021 with flag 3224209/21477035
1630.99/1628.61	c cleaning 56005 clauses out of 112022 with flag 3341025/21534037
1635.42/1633.16	c cleaning 56999 clauses out of 114018 with flag 3459758/21592038
1639.81/1637.50	c cleaning 58002 clauses out of 116019 with flag 3580131/21651038
1643.60/1641.38	c cleaning 59000 clauses out of 118015 with flag 3702861/21711036
1647.62/1645.34	c cleaning 59989 clauses out of 120013 with flag 3827209/21772034
1652.32/1650.08	c cleaning 61001 clauses out of 122024 with flag 3953278/21834034
1656.64/1654.33	c cleaning 61999 clauses out of 124024 with flag 4081642/21897035
1661.23/1658.91	c cleaning 63002 clauses out of 126025 with flag 4213293/21961035
1666.36/1664.19	c cleaning 63997 clauses out of 128023 with flag 4346030/22026035
1671.73/1669.53	c cleaning 65001 clauses out of 130027 with flag 4480160/22092036
1677.71/1675.55	c cleaning 66003 clauses out of 132026 with flag 4615553/22159036
1682.70/1680.54	c cleaning 66998 clauses out of 134021 with flag 4754226/22227034
1688.08/1685.92	c cleaning 68002 clauses out of 136024 with flag 4895753/22296035
1693.53/1691.30	c cleaning 68999 clauses out of 138021 with flag 5043986/22366034
1698.45/1696.38	c cleaning 69999 clauses out of 140024 with flag 5191069/22437036
1702.84/1700.79	c cleaning 71005 clauses out of 142027 with flag 5336230/22509038
1707.65/1705.53	c cleaning 71998 clauses out of 144018 with flag 5483281/22582034
1712.84/1710.74	c cleaning 72999 clauses out of 146022 with flag 5633283/22656036
1719.56/1717.43	c cleaning 73999 clauses out of 148021 with flag 5786217/22731034
1725.97/1723.90	c cleaning 75003 clauses out of 150022 with flag 5941076/22807034
1732.89/1730.81	c cleaning 75999 clauses out of 152020 with flag 6099466/22884035
1738.88/1736.88	c cleaning 76996 clauses out of 154020 with flag 6256722/22962034
1745.09/1743.10	c cleaning 77998 clauses out of 156024 with flag 6416644/23041034
1751.66/1749.66	c cleaning 79003 clauses out of 158028 with flag 6580631/23121036
1759.02/1757.03	c cleaning 80001 clauses out of 160027 with flag 6748120/23202038
1765.80/1763.80	c cleaning 80997 clauses out of 162023 with flag 6914432/23284035
1772.49/1770.58	c cleaning 82003 clauses out of 164027 with flag 7082171/23367036
1779.76/1777.86	c cleaning 83000 clauses out of 166022 with flag 7253530/23451034
1787.19/1785.35	c cleaning 83996 clauses out of 168023 with flag 7426864/23536035
1794.37/1792.54	c cleaning 85005 clauses out of 170026 with flag 7605175/23622034
1801.35/1799.57	c cleaning 86003 clauses out of 172024 with flag 7780652/23709037
1808.65/1806.87	c cleaning 86996 clauses out of 174019 with flag 7957980/23797035
1815.25/1813.41	c cleaning 88000 clauses out of 176024 with flag 8137655/23886036
1823.22/1821.43	c cleaning 89001 clauses out of 178022 with flag 8320050/23976034
1831.81/1830.04	c cleaning 89998 clauses out of 180023 with flag 8506361/24067036
1839.29/1837.58	c cleaning 91001 clauses out of 182023 with flag 8694350/24159034
1847.11/1845.40	c cleaning 92001 clauses out of 184024 with flag 8884002/24252036
1855.81/1854.17	c cleaning 92999 clauses out of 186021 with flag 9076611/24346034
1864.49/1862.86	c cleaning 93994 clauses out of 188023 with flag 9269917/24441035
1873.99/1872.37	c cleaning 95000 clauses out of 190029 with flag 9465804/24537035
1884.08/1882.47	c cleaning 96006 clauses out of 192029 with flag 9664137/24634035
1893.36/1891.72	c cleaning 97001 clauses out of 194023 with flag 9862299/24732035
1901.66/1900.07	c cleaning 97998 clauses out of 196021 with flag 10062880/24831034
1910.01/1908.46	c cleaning 99005 clauses out of 198027 with flag 10269018/24931038
1918.50/1917.00	c cleaning 99998 clauses out of 200018 with flag 10472662/25032034
1927.12/1925.51	c cleaning 101002 clauses out of 202020 with flag 10679276/25134034
1934.41/1932.80	c cleaning 101996 clauses out of 204018 with flag 10888292/25237034
1943.56/1942.27	c cleaning 103002 clauses out of 206023 with flag 11099830/25341035
1952.29/1950.90	c cleaning 104000 clauses out of 208022 with flag 11311697/25446036
1962.17/1960.85	c cleaning 105001 clauses out of 210020 with flag 11525783/25552034
1970.98/1969.78	c cleaning 105995 clauses out of 212020 with flag 11741356/25659035
1979.60/1978.35	c cleaning 107002 clauses out of 214024 with flag 11959353/25767034
1988.19/1986.92	c cleaning 108001 clauses out of 216022 with flag 12180636/25876034
1996.38/1995.14	c cleaning 108996 clauses out of 218023 with flag 12402531/25986036
2004.92/2003.79	c cleaning 110001 clauses out of 220026 with flag 12626279/26097035
2013.72/2012.55	c cleaning 111000 clauses out of 222026 with flag 12852187/26209036
2023.69/2022.53	c cleaning 111998 clauses out of 224026 with flag 13080000/26322036
2033.58/2032.51	c cleaning 113003 clauses out of 226027 with flag 13310056/26436035
2043.49/2042.47	c cleaning 114002 clauses out of 228023 with flag 13542777/26551034
2052.41/2051.37	c cleaning 115000 clauses out of 230022 with flag 13776751/26667035
2062.24/2061.27	c cleaning 115999 clauses out of 232021 with flag 14012970/26784034
2072.13/2071.17	c cleaning 117002 clauses out of 234023 with flag 14250540/26902035
2081.90/2081.00	c cleaning 117998 clauses out of 236022 with flag 14491630/27021036
2093.07/2092.14	c cleaning 118999 clauses out of 238022 with flag 14736301/27141034
2104.56/2103.61	c cleaning 119999 clauses out of 240025 with flag 14981763/27262036
2115.59/2114.66	c cleaning 121004 clauses out of 242027 with flag 15229130/27384037
2124.98/2124.02	c cleaning 121997 clauses out of 244020 with flag 15477052/27507034
2135.65/2134.74	c cleaning 123000 clauses out of 246024 with flag 15727012/27631035
2148.51/2147.65	c cleaning 123998 clauses out of 248026 with flag 15979178/27756037
2159.38/2158.50	c cleaning 125005 clauses out of 250027 with flag 16233359/27882036
2170.17/2169.34	c cleaning 125999 clauses out of 252021 with flag 16490028/28009035
2180.89/2180.04	c cleaning 126998 clauses out of 254022 with flag 16749125/28137035
2193.43/2192.69	c cleaning 127998 clauses out of 256024 with flag 17010103/28266035
2204.85/2204.05	c cleaning 128999 clauses out of 258027 with flag 17271972/28396036
2215.77/2215.03	c cleaning 130004 clauses out of 260028 with flag 17536426/28527036
2229.77/2229.05	c cleaning 131003 clauses out of 262022 with flag 17803916/28659034
2244.75/2244.07	c cleaning 131993 clauses out of 264019 with flag 18072259/28792034
2259.21/2258.53	c cleaning 133000 clauses out of 266028 with flag 18342667/28926036
2273.02/2272.45	c cleaning 133998 clauses out of 268026 with flag 18615382/29061034
2285.44/2284.95	c cleaning 135001 clauses out of 270028 with flag 18889913/29197034
2298.92/2298.50	c cleaning 135999 clauses out of 272028 with flag 19166841/29334035
2313.79/2313.98	c cleaning 136996 clauses out of 274028 with flag 19445657/29472034
2329.29/2329.46	c cleaning 138000 clauses out of 276032 with flag 19726425/29611034
2345.84/2346.04	c cleaning 139008 clauses out of 278035 with flag 20009001/29751037
2359.56/2359.76	c cleaning 140005 clauses out of 280026 with flag 20294839/29892036
2377.60/2377.82	c cleaning 140995 clauses out of 282020 with flag 20581758/30034035
2395.46/2395.61	c cleaning 142003 clauses out of 284025 with flag 20870440/30177035
2410.14/2410.31	c cleaning 143000 clauses out of 286021 with flag 21160975/30321034
2423.96/2424.12	c cleaning 144001 clauses out of 288021 with flag 21453309/30466034
2438.94/2439.18	c cleaning 144999 clauses out of 290023 with flag 21747624/30612037
2453.69/2453.88	c cleaning 146000 clauses out of 292022 with flag 22044082/30759035
2468.04/2468.27	c cleaning 146996 clauses out of 294021 with flag 22342631/30907034
2482.09/2482.23	c cleaning 147999 clauses out of 296028 with flag 22643048/31056037
2496.45/2496.67	c cleaning 149001 clauses out of 298027 with flag 22945780/31206035
2511.47/2511.62	c cleaning 150000 clauses out of 300025 with flag 23250532/31357034
2526.02/2526.22	c cleaning 150998 clauses out of 302025 with flag 23557126/31509034
2540.66/2540.82	c cleaning 152002 clauses out of 304027 with flag 23865470/31662034
2554.61/2554.82	c cleaning 153004 clauses out of 306025 with flag 24176174/31816034
2570.17/2570.43	c cleaning 153999 clauses out of 308021 with flag 24489114/31971034
2584.01/2584.32	c cleaning 154998 clauses out of 310022 with flag 24803986/32127034
2598.88/2599.04	c cleaning 156000 clauses out of 312024 with flag 25120578/32284034
2617.64/2617.88	c cleaning 156999 clauses out of 314024 with flag 25443076/32442034
2635.26/2635.41	c cleaning 157999 clauses out of 316025 with flag 25772329/32601034
2655.94/2656.18	c cleaning 159001 clauses out of 318026 with flag 26107948/32761034
2674.61/2674.88	c cleaning 160006 clauses out of 320027 with flag 26445641/32922036
2696.17/2696.33	c cleaning 160997 clauses out of 322022 with flag 26781162/33084037
2715.20/2715.47	c cleaning 161997 clauses out of 324022 with flag 27117591/33247034
2734.27/2734.58	c cleaning 163000 clauses out of 326025 with flag 27461722/33411034
2756.10/2756.43	c cleaning 164003 clauses out of 328027 with flag 27804398/33576036
2778.73/2779.01	c cleaning 164996 clauses out of 330022 with flag 28150602/33742034
2800.15/2800.66	c cleaning 166003 clauses out of 332026 with flag 28493565/33909034
2820.20/2820.65	c cleaning 166998 clauses out of 334023 with flag 28837975/34077034
2840.53/2841.06	c cleaning 168003 clauses out of 336026 with flag 29182040/34246035
2859.81/2860.48	c cleaning 169000 clauses out of 338022 with flag 29529729/34416034
2878.57/2879.02	c cleaning 169997 clauses out of 340022 with flag 29874841/34587034
2897.55/2898.02	c cleaning 171002 clauses out of 342026 with flag 30222039/34759035
2919.61/2920.02	c cleaning 171999 clauses out of 344024 with flag 30580950/34932035
2945.35/2945.81	c cleaning 173003 clauses out of 346025 with flag 30948618/35106035
2966.35/2966.83	c cleaning 173998 clauses out of 348021 with flag 31310688/35281034
2986.14/2986.63	c cleaning 175003 clauses out of 350025 with flag 31666465/35457036
3004.28/3004.72	c cleaning 175998 clauses out of 352020 with flag 32023964/35634034
3023.38/3023.88	c cleaning 176996 clauses out of 354023 with flag 32383435/35812035
3044.39/3044.71	c cleaning 178003 clauses out of 356026 with flag 32750413/35991034
3066.23/3066.53	c cleaning 178999 clauses out of 358025 with flag 33120330/36171036
3085.91/3086.21	c cleaning 179998 clauses out of 360024 with flag 33487211/36352034
3109.38/3109.77	c cleaning 180999 clauses out of 362026 with flag 33859665/36534034
3132.48/3132.81	c cleaning 181997 clauses out of 364027 with flag 34235622/36717034
3156.28/3156.56	c cleaning 183005 clauses out of 366030 with flag 34610610/36901034
3178.98/3179.31	c cleaning 183998 clauses out of 368025 with flag 34988945/37086034
3202.33/3202.71	c cleaning 185002 clauses out of 370027 with flag 35368122/37272034
3228.09/3228.52	c cleaning 186005 clauses out of 372028 with flag 35745226/37459037
3254.49/3254.99	c cleaning 186997 clauses out of 374023 with flag 36126551/37647037
3279.54/3280.16	c cleaning 187999 clauses out of 376023 with flag 36510653/37836034
3304.21/3305.00	c cleaning 189001 clauses out of 378025 with flag 36897376/38026035
3327.54/3328.34	c cleaning 189999 clauses out of 380025 with flag 37283252/38217036
3355.57/3356.48	c cleaning 190998 clauses out of 382026 with flag 37674802/38409036
3387.72/3388.58	c cleaning 192003 clauses out of 384028 with flag 38070023/38602036
3410.78/3411.69	c cleaning 192997 clauses out of 386025 with flag 38466645/38796036
3433.72/3434.68	c cleaning 193998 clauses out of 388026 with flag 38866521/38991034
3459.96/3460.97	c cleaning 194999 clauses out of 390028 with flag 39268596/39187034
3482.57/3483.57	c cleaning 196001 clauses out of 392030 with flag 39668378/39384035
3513.21/3514.23	c cleaning 196995 clauses out of 394028 with flag 40079183/39582034
3541.32/3542.20	c cleaning 198007 clauses out of 396033 with flag 40489498/39781034
3569.87/3570.86	c cleaning 199002 clauses out of 398027 with flag 40897495/39981035
3587.95/3588.90	c Got one! Elapsed wall clock time (in seconds):3588.711
3587.95/3588.90	o 3
3600.05/3601.03	c starts		: 47
3600.05/3601.06	c conflicts		: 40171664
3600.05/3601.06	c decisions		: 40460431
3600.05/3601.06	c propagations		: 212656688
3600.05/3601.06	c inspects		: 26873380545
3600.05/3601.06	c shortcuts		: 0
3600.05/3601.06	c learnt literals	: 0
3600.05/3601.06	c learnt binary clauses	: 0
3600.05/3601.06	c learnt ternary clauses	: 0
3600.05/3601.06	c learnt constraints	: 40171664
3600.05/3601.06	c ignored constraints	: 0
3600.05/3601.06	c root simplifications	: 0
3600.05/3601.06	c removed literals (reason simplification)	: 39219182
3600.05/3601.06	c reason swapping (by a shorter reason)	: 0
3600.05/3601.06	c Calls to reduceDB	: 613
3600.05/3601.06	c Number of update (reduction) of LBD	: 660614
3600.05/3601.06	c Imported unit clauses	: 0
3600.05/3601.06	c No decision after first conflict	: false
3600.05/3601.06	c number of reductions to clauses (during analyze)	: 0
3600.05/3601.06	c number of learned constraints concerned by reduction	: 0
3600.05/3601.06	c number of learning phase by resolution	: 0
3600.05/3601.06	c number of learning phase by cutting planes	: 0
3600.05/3601.06	c number of rounding to 1 operations	: 0
3600.05/3601.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3601.06	c number of reductions of the coefficients by power 2 	: 0
3600.05/3601.06	c number of right shift for reduction by power 2 	: 0
3600.05/3601.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3601.06	c number of ending skipping 	: 0
3600.05/3601.06	c number of internal skipping 	: 0
3600.05/3601.06	c number of derivation steps 	: 0
3600.05/3601.06	c number of skipped derivation steps 	: 0
3600.05/3601.06	c number of remaining unassigned 	: 0
3600.05/3601.06	c number of remaining assigned 	: 0
3600.05/3601.06	c number of falsified literals weakened from reason	: 0
3600.05/3601.06	c number of falsified literals weakened from conflict	: 0
3600.05/3601.06	c time for arithmetic operations	: 0
3600.05/3601.08	c minimum degree of deleted constraints	: null
3600.05/3601.08	c maximum degree of deleted constraints	: null
3600.05/3601.08	c number of deleted constraints	: 0
3600.05/3601.08	c speed (assignments/second)	: 59058.67022886771
3600.05/3601.08	c non guided choices	: 450
3600.42/3601.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 389654
3600.42/3601.25	s SATISFIABLE
3600.42/3601.26	c Found 23 solution(s)
3600.42/3601.26	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 x87 x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 x97 -x98 x99 -x100 -x101 x102 -x103 -x104 x105 x106 x107 x108 -x109 -x110 x111 -x112 x113 x114 x115 -x116 -x117 x118 -x119 -x120 
3600.42/3601.26	c objective function=3
3600.42/3601.26	c Total wall clock time (in seconds): 3601.074

Verifier Data 

OK	3

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: 64059 MiB (645 MiB free)
  memory of node 1: 64510 MiB (57013 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440336-1721772751/watcher-4440336-1721772751 -o /tmp/evaluation-result-4440336-1721772751/solver-4440336-1721772751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125646 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440336-1721772751 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440336-1721772751.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100793 s]*
/proc/loadavg: 4.39 4.49 4.49 5/333 130644
/proc/meminfo: memFree=59003944/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=18975048 memory=58332 CPUtime=0.12 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 6518 0 0 0 10 2 0 0 20 0 18 0 13264826 19430449152 14583 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4743762 14583 5715 1 0 550926 0
[pid=130626/tid=130628] ppid=130623 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 5461 0 0 0 7 1 0 0 20 0 18 0 13264827 19430449152 14583 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13264830 19430449152 14583 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13264831 19430449152 14583 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58332 KiB

[startup+0.214377 s]*
/proc/loadavg: 4.39 4.49 4.49 4/333 130644
/proc/meminfo: memFree=58993968/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=18975048 memory=65208 CPUtime=0.29 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 7245 0 0 0 26 3 0 0 20 0 18 0 13264826 19430449152 16302 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4743762 16302 5720 1 0 551558 0
[pid=130626/tid=130628] ppid=130623 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) D 130623 130626 125633 0 -1 1078198336 5818 0 0 0 15 2 0 0 20 0 18 0 13264827 19430449152 16302 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=18975048 memory=804964 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13264830 19430449152 16302 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13264831 19430449152 16302 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65208 KiB

[startup+0.315292 s]*
/proc/loadavg: 4.39 4.49 4.49 7/334 130645
/proc/meminfo: memFree=58988028/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19041612 memory=68736 CPUtime=0.43 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 7559 0 0 0 40 3 0 0 20 0 19 0 13264826 19498610688 17184 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4760403 17184 5767 1 0 552000 0
[pid=130626/tid=130628] ppid=130623 vsize=19041612 memory=-8960866300404212412 CPUtime=0.25 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 1077936192 5976 0 0 0 23 2 0 0 20 0 19 0 13264827 19498610688 17184 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13264830 19498610688 17184 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13264831 19498610688 17184 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13264857 19498610688 17184 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68736 KiB

[startup+0.702092 s]
/proc/loadavg: 4.39 4.49 4.49 7/334 130645
/proc/meminfo: memFree=58961192/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19041612 memory=111156 CPUtime=1.15 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 10495 0 0 0 109 6 0 0 20 0 19 0 13264826 19498610688 27789 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4760403 27789 5928 1 0 553564 0
[pid=130626/tid=130628] ppid=130623 vsize=19041612 memory=12412 CPUtime=0.57 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 1077936192 6031 0 0 0 54 3 0 0 20 0 19 0 13264827 19498610688 27789 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19041612 memory=12412 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13264830 19498610688 27789 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13264831 19498610688 27789 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19041612 memory=1904 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13264857 19498610688 27789 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111156 KiB

[startup+1.50077 s]
/proc/loadavg: 4.39 4.49 4.49 7/334 130645
/proc/meminfo: memFree=58873584/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=182920 CPUtime=2.73 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 21099 0 0 0 264 9 0 0 20 0 20 0 13264826 19566772224 45730 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 45730 5960 1 0 557107 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=12412 CPUtime=1.29 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 7140 0 0 0 124 5 0 0 20 0 20 0 13264827 19566772224 45730 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 45730 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 45730 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 45730 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182920 KiB

[startup+3.10677 s]
/proc/loadavg: 4.39 4.49 4.49 5/333 130646
/proc/meminfo: memFree=58578884/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=407132 CPUtime=5.57 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 23654 0 0 0 540 17 0 0 20 0 20 0 13264826 19566772224 101783 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 101783 5976 1 0 557111 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 7969 0 0 0 271 12 0 0 20 0 20 0 13264827 19566772224 101783 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 101783 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=183108 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 101783 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=12412 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 101783 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 407132 KiB

[startup+6.30029 s]
/proc/loadavg: 4.44 4.50 4.49 4/308 130676
/proc/meminfo: memFree=74324376/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=913172 CPUtime=8.97 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 24202 0 0 0 865 32 0 0 20 0 20 0 13264826 19566772224 228293 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 228293 5976 1 0 557114 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=12412 CPUtime=5.98 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 8430 0 0 0 571 27 0 0 20 0 20 0 13264827 19566772224 228293 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 228293 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 228293 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=13956 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 228293 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 913172 KiB

[startup+12.7004 s]
/proc/loadavg: 4.40 4.49 4.49 6/332 130715
/proc/meminfo: memFree=89066456/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=1337412 CPUtime=16.24 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 31209 0 0 0 1570 54 0 0 20 0 20 0 13264826 19566772224 334353 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 334353 5976 1 0 557114 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=0 CPUtime=12.28 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 9769 0 0 0 1182 46 0 0 20 0 20 0 13264827 19566772224 334353 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 334353 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=12412 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 334353 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=1337316 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 334353 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 16.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337412 KiB

[startup+25.5005 s]
/proc/loadavg: 4.45 4.50 4.49 5/332 130717
/proc/meminfo: memFree=87544084/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=1337472 CPUtime=29.1 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 34137 0 0 0 2838 72 0 0 20 0 20 0 13264826 19566772224 334368 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 334368 5976 1 0 557114 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=1337420 CPUtime=24.92 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 11273 0 0 0 2428 64 0 0 20 0 20 0 13264827 19566772224 334368 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 334368 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=281396862459648 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 334368 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 334368 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337472 KiB

[startup+51.1141 s]
/proc/loadavg: 4.35 4.47 4.48 5/332 130722
/proc/meminfo: memFree=86760184/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=1351840 CPUtime=54.09 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 39479 0 0 0 5304 105 0 0 20 0 20 0 13264826 19566772224 337960 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 337960 5976 1 0 557114 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=2164 CPUtime=49.58 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 13940 0 0 0 4862 96 0 0 20 0 20 0 13264827 19566772224 337960 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 58 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.18 5/327 133060
/proc/meminfo: memFree=76022064/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3281.73 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 201239 0 0 0 326268 1905 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=13956 CPUtime=3233.56 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 92227 0 0 0 321637 1719 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1047 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=-8960866300404212412 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3511 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3281.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/325 133072
/proc/meminfo: memFree=75529544/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3341.57 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 201955 0 0 0 332227 1930 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3292.92 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 92794 0 0 0 327550 1742 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1064 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=50056 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3594 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3341.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/325 133084
/proc/meminfo: memFree=75113328/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3401.5 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 204839 0 0 0 338199 1951 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=13956 CPUtime=3351.99 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 93660 0 0 0 333440 1759 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1084 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=32136 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3594 0 0 0 0 0 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3401.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.18 5/325 133094
/proc/meminfo: memFree=74624024/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3461.36 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 205694 0 0 0 344162 1974 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=13956 CPUtime=3411.58 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 94399 0 0 0 339379 1779 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1096 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=2164 CPUtime=0.01 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3671 0 0 0 0 1 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3461.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.18 5/328 133109
/proc/meminfo: memFree=74408900/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3521.33 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 208412 0 0 0 350133 2000 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3470.7 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 95839 0 0 0 345268 1802 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1108 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0.01 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3812 0 0 0 0 1 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=1904 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3521.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

[startup+3582.3 s]
/proc/loadavg: 3.71 4.05 4.14 4/302 133156
/proc/meminfo: memFree=96840628/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3581.37 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 211370 0 0 0 356116 2021 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3530.13 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 97134 0 0 0 351193 1820 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1115 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=16092 CPUtime=0.01 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3812 0 0 0 0 1 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=3120756 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601 s]*
/proc/loadavg: 3.57 4.00 4.12 4/302 133159
/proc/meminfo: memFree=96807992/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19108176 memory=3120756 CPUtime=3600.05 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 212210 0 0 0 357979 2026 0 0 20 0 20 0 13264826 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4777044 780189 5991 1 0 791323 0
[pid=130626/tid=130628] ppid=130623 vsize=19108176 memory=-8743572012135129788 CPUtime=3548.64 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 97804 0 0 0 353040 1824 0 0 20 0 20 0 13264827 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1122 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19108176 memory=-7521995057212317056 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13264830 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19108176 memory=804880 CPUtime=0.01 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3812 0 0 0 0 1 0 0 20 0 20 0 13264831 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130645] ppid=130623 vsize=19108176 memory=8508281339140727949 CPUtime=0 cores=5,7
/proc/130626/task/130645/stat : 130645 (Timer-0) S 130623 130626 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264857 19566772224 780189 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3120756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.29 s, system=20.2892 s

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

[startup+3601.2 s]
/proc/loadavg: 3.57 4.00 4.12 4/302 133159
/proc/meminfo: memFree=96807992/131655788 swapFree=131070448/131071996
[pid=130626] ppid=130623 vsize=19307868 memory=3121408 CPUtime=3600.42 cores=5,7
/proc/130626/stat : 130626 (java) S 130623 130626 125633 0 -1 1077936128 214417 0 0 0 358016 2026 0 0 20 0 21 0 13264826 19771256832 780352 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
/proc/130626/statm: 4826967 780352 5990 1 0 792242 0
[pid=130626/tid=130628] ppid=130623 vsize=19307868 memory=-8960866300404212412 CPUtime=3548.82 cores=5,7
/proc/130626/task/130628/stat : 130628 (java) R 130623 130626 125633 0 -1 4194368 97804 0 0 0 353058 1824 0 0 20 0 21 0 13264827 19771256832 780352 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1122 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130637] ppid=130623 vsize=19307868 memory=12540 CPUtime=0 cores=5,7
/proc/130626/task/130637/stat : 130637 (Finalizer) S 130623 130626 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 13264830 19771256832 780352 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
[pid=130626/tid=130644] ppid=130623 vsize=19307868 memory=11740 CPUtime=0.01 cores=5,7
/proc/130626/task/130644/stat : 130644 (Common-Cleaner) S 130623 130626 125633 0 -1 1077936192 3812 0 0 0 0 1 0 0 20 0 21 0 13264831 19771256832 780352 134679101440 94586844233728 94586844237424 140726448577616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94586844245240 94586844246032 94586863038464 140726448583595 140726448583777 140726448583777 140726448590792 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3121408 KiB

Child status: 143

Real time (s): 3601.3
CPU time (s): 3600.58
CPU user time (s): 3580.29
CPU system time (s): 20.2892
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3121408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.29
system time used= 20.2892
maximum resident set size= 3122464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22266592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119825
involuntary context switches= 8408


# summary of solver processes directly reported to runsolver:
#   pid: 130626
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3580.29
#   total CPU system time (s): 20.2892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6645 second user time and 39.7547 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 00:12:31
IDJOB=4440336
IDBENCH=147580
IDSOLVER=3079
FILE ID=nodeC012/4440336-1721772751
RUNJOBID= nodeC012-1721765708-125646
SLURM_JOB_ID= 7770677
Free space on /tmp= 723724 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440336-1721772751/watcher-4440336-1721772751 -o /tmp/evaluation-result-4440336-1721772751/solver-4440336-1721772751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125646 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440336-1721772751 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440336-1721772751.opb

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

MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=2054328108

nodeC012.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	: 0xb00001f
cpu MHz		: 3642.733
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 3656.951
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.244
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.392
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 2693.652
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3612.108
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        59044664 kB
MemAvailable:   94751184 kB
Buffers:          189928 kB
Cached:         36277648 kB
SwapCached:           72 kB
Active:          1264216 kB
Inactive:       70592968 kB
Active(anon):       3644 kB
Inactive(anon): 35431188 kB
Active(file):    1260572 kB
Inactive(file): 35161780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            532776 kB
Writeback:             4 kB
AnonPages:      35388608 kB
Mapped:           125212 kB
Shmem:             45176 kB
KReclaimable:     248400 kB
Slab:             365948 kB
SReclaimable:     248400 kB
SUnreclaim:       117548 kB
KernelStack:        5008 kB
PageTables:        79500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   37174384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19232 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24041472 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:      316232 kB
DirectMap2M:    35239936 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-24 01:12:32