Trace number 3711289

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 PB specific settings 2.3.2 snapshotSAT (TO)30 1800.61 1792.05

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
MD5SUM06d341d0af76f66d4946a3c264573060
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.69474
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3711289-1338183185.opb
0.08/0.13	c reading problem ... 
0.70/0.46	c ... done. Wall clock time 0.337s.
0.70/0.46	c declared #vars     584
0.70/0.46	c internal #vars     2990
0.70/0.46	c #constraints  5064
0.70/0.46	c constraints type 
0.70/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
0.70/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
0.70/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 436
0.70/0.46	c ignored satisfied constraints => 602
0.70/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
0.70/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
0.70/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
0.70/0.46	c 5666 constraints processed.
2.04/1.37	c cleaning 2495 clauses out of 5001 with flag 5001/5001
2.72/1.95	c cleaning 4249 clauses out of 8505 with flag 11000/11000
3.63/2.89	c cleaning 5615 clauses out of 11256 with flag 18000/18000
3.84/3.03	c SATISFIABLE
3.84/3.03	c OPTIMIZING...
3.84/3.03	c Got one! Elapsed wall clock time (in seconds):2.898
3.84/3.03	o 55
3.95/3.14	c cleaning 5365 clauses out of 10739 with flag 4001/23098
4.47/3.60	c cleaning 5681 clauses out of 11375 with flag 10002/29099
4.78/3.97	c Got one! Elapsed wall clock time (in seconds):3.84
4.78/3.97	o 53
4.98/4.15	c cleaning 7948 clauses out of 15902 with flag 5001/39307
5.28/4.42	c cleaning 6973 clauses out of 13957 with flag 11004/45310
5.58/4.76	c Got one! Elapsed wall clock time (in seconds):4.632
5.58/4.76	o 51
5.78/4.93	c cleaning 6349 clauses out of 12704 with flag 2001/51030
6.39/5.52	c cleaning 6172 clauses out of 12354 with flag 8000/57029
6.98/6.12	c cleaning 6588 clauses out of 13187 with flag 15005/64034
7.28/6.45	c cleaning 7292 clauses out of 14596 with flag 23002/72031
8.10/7.29	c cleaning 8143 clauses out of 16302 with flag 32000/81029
8.91/8.07	c cleaning 9076 clauses out of 18161 with flag 42002/91031
9.12/8.24	c Got one! Elapsed wall clock time (in seconds):8.114
9.12/8.24	o 49
9.32/8.49	c cleaning 7488 clauses out of 14996 with flag 4000/96942
9.82/9.00	c cleaning 6749 clauses out of 13508 with flag 10000/102942
10.03/9.17	c cleaning 6877 clauses out of 13760 with flag 17001/109943
10.33/9.40	c cleaning 7436 clauses out of 14883 with flag 25001/117943
10.63/9.70	c cleaning 8226 clauses out of 16452 with flag 34006/126948
10.93/10.08	c cleaning 9110 clauses out of 18221 with flag 44001/136943
11.43/10.53	c cleaning 10052 clauses out of 20111 with flag 55001/147943
11.94/11.06	c Got one! Elapsed wall clock time (in seconds):10.933
11.94/11.06	o 48
12.07/11.19	c cleaning 11059 clauses out of 22129 with flag 5000/160013
12.28/11.36	c cleaning 8531 clauses out of 17070 with flag 11000/166013
12.58/11.65	c cleaning 7766 clauses out of 15540 with flag 18001/173014
13.28/12.34	c cleaning 7883 clauses out of 15775 with flag 26002/181015
14.19/13.29	c cleaning 8441 clauses out of 16890 with flag 35000/190013
14.78/13.87	c cleaning 9217 clauses out of 18450 with flag 45001/200014
15.39/14.41	c cleaning 10111 clauses out of 20233 with flag 56001/211014
15.39/14.47	c Got one! Elapsed wall clock time (in seconds):14.345
15.39/14.47	o 47
15.60/14.62	c cleaning 7716 clauses out of 15447 with flag 5000/216339
15.81/14.80	c cleaning 6860 clauses out of 13733 with flag 11002/222341
16.01/15.01	c cleaning 6933 clauses out of 13871 with flag 18000/229339
16.61/15.63	c cleaning 7456 clauses out of 14941 with flag 26003/237342
17.31/16.30	c cleaning 8232 clauses out of 16483 with flag 35001/246340
18.22/17.23	c cleaning 9109 clauses out of 18250 with flag 45000/256339
19.52/18.57	c cleaning 10068 clauses out of 20142 with flag 56001/267340
20.32/19.34	c Got one! Elapsed wall clock time (in seconds):19.207
20.32/19.34	o 45
20.42/19.49	c cleaning 12949 clauses out of 25908 with flag 5003/283174
20.73/19.73	c cleaning 9473 clauses out of 18959 with flag 11003/289174
21.03/20.06	c cleaning 8236 clauses out of 16483 with flag 18000/296171
21.33/20.33	c cleaning 8118 clauses out of 16247 with flag 26000/304171
21.73/20.71	c cleaning 8566 clauses out of 17131 with flag 35002/313173
21.94/20.98	c cleaning 9278 clauses out of 18564 with flag 45001/323172
22.64/21.67	c cleaning 10133 clauses out of 20285 with flag 56000/334171
24.54/23.59	c cleaning 11066 clauses out of 22152 with flag 68000/346171
25.25/24.24	c cleaning 12034 clauses out of 24087 with flag 81001/359172
26.15/25.11	c cleaning 13024 clauses out of 26055 with flag 95003/373174
27.06/26.08	c cleaning 14003 clauses out of 28030 with flag 110002/388173
27.28/26.23	c Got one! Elapsed wall clock time (in seconds):26.106
27.28/26.23	o 44
27.58/26.59	c cleaning 9742 clauses out of 19496 with flag 3001/393642
28.10/27.00	c cleaning 7869 clauses out of 15755 with flag 9002/399643
28.81/27.73	c cleaning 7436 clauses out of 14884 with flag 16000/406641
29.43/28.33	c cleaning 7720 clauses out of 15450 with flag 24002/414643
29.65/28.51	c Got one! Elapsed wall clock time (in seconds):28.38
29.65/28.51	o 42
29.65/28.57	c cleaning 6547 clauses out of 13109 with flag 3000/420022
29.84/28.71	c cleaning 6274 clauses out of 12562 with flag 9000/426022
30.06/28.94	c cleaning 6639 clauses out of 13288 with flag 16000/433022
30.41/29.23	c cleaning 7318 clauses out of 14652 with flag 24003/441025
30.71/29.53	c cleaning 8165 clauses out of 16335 with flag 33004/450026
31.63/30.43	c cleaning 9076 clauses out of 18167 with flag 43001/460023
32.86/31.66	c cleaning 10041 clauses out of 20090 with flag 54000/471022
34.16/32.92	c cleaning 11018 clauses out of 22050 with flag 66001/483023
34.47/33.21	c Got one! Elapsed wall clock time (in seconds):33.081
34.47/33.21	o 41
34.57/33.32	c cleaning 8142 clauses out of 16293 with flag 3000/488284
34.77/33.50	c cleaning 7072 clauses out of 14153 with flag 9002/494286
34.97/33.75	c cleaning 7033 clauses out of 14079 with flag 16000/501284
35.18/34.00	c cleaning 7523 clauses out of 15048 with flag 24002/509286
35.59/34.31	c cleaning 8258 clauses out of 16523 with flag 33000/518284
35.99/34.72	c cleaning 9122 clauses out of 18267 with flag 43002/528286
36.89/35.66	c cleaning 10064 clauses out of 20145 with flag 54002/539286
38.70/37.42	c cleaning 11031 clauses out of 22079 with flag 66000/551284
39.50/38.21	c cleaning 12020 clauses out of 24049 with flag 79001/564285
41.50/40.20	c cleaning 12994 clauses out of 26028 with flag 93000/578284
42.71/41.43	c cleaning 14016 clauses out of 28037 with flag 108003/593287
44.21/42.95	c cleaning 15003 clauses out of 30018 with flag 124000/609284
47.71/46.46	c cleaning 16008 clauses out of 32021 with flag 141006/626290
48.62/47.35	c cleaning 16998 clauses out of 34008 with flag 159001/644285
49.82/48.57	c cleaning 17994 clauses out of 36011 with flag 178002/663286
51.82/50.56	c cleaning 18998 clauses out of 38016 with flag 198001/683285
55.32/54.08	c cleaning 19999 clauses out of 40018 with flag 219001/704285
58.05/56.75	c cleaning 21005 clauses out of 42021 with flag 241003/726287
59.45/58.12	c cleaning 22004 clauses out of 44017 with flag 264004/749288
60.86/59.51	c cleaning 23000 clauses out of 46011 with flag 288002/773286
62.47/61.15	c cleaning 23998 clauses out of 48010 with flag 313001/798285
64.77/63.46	c cleaning 24995 clauses out of 50012 with flag 339001/824285
66.98/65.64	c Got one! Elapsed wall clock time (in seconds):65.515
66.98/65.64	o 40
67.28/65.92	c cleaning 25132 clauses out of 50273 with flag 5002/849541
67.50/66.16	c cleaning 15560 clauses out of 31142 with flag 11003/855542
67.70/66.37	c cleaning 11284 clauses out of 22579 with flag 18000/862539
68.00/66.63	c cleaning 9642 clauses out of 19295 with flag 26000/870539
68.22/66.88	c cleaning 9325 clauses out of 18660 with flag 35007/879546
68.62/67.29	c cleaning 9659 clauses out of 19332 with flag 45004/889543
70.42/69.06	c cleaning 10327 clauses out of 20670 with flag 56001/900540
71.23/69.85	c cleaning 11156 clauses out of 22342 with flag 68000/912539
72.83/71.43	c cleaning 12085 clauses out of 24186 with flag 81000/925539
73.93/72.58	c cleaning 13041 clauses out of 26101 with flag 95000/939539
76.14/74.71	c cleaning 14023 clauses out of 28061 with flag 110001/954540
78.54/77.13	c cleaning 15013 clauses out of 30038 with flag 126001/970540
79.95/78.56	c cleaning 15998 clauses out of 32024 with flag 143000/987539
82.96/81.57	c cleaning 17000 clauses out of 34026 with flag 161000/1005539
85.87/84.48	c cleaning 18010 clauses out of 36030 with flag 180004/1024543
89.58/88.17	c cleaning 19004 clauses out of 38018 with flag 200002/1044541
94.09/92.64	c cleaning 19988 clauses out of 40012 with flag 221000/1065539
97.60/96.15	c cleaning 20995 clauses out of 42024 with flag 243000/1087539
100.42/98.98	c cleaning 22007 clauses out of 44030 with flag 266001/1110540
103.92/102.43	c cleaning 22991 clauses out of 46022 with flag 290000/1134539
107.45/105.99	c cleaning 24003 clauses out of 48033 with flag 315002/1159541
109.97/108.48	c cleaning 25010 clauses out of 50029 with flag 341001/1185540
112.08/110.50	c cleaning 26002 clauses out of 52018 with flag 368000/1212539
113.79/112.30	c cleaning 27002 clauses out of 54017 with flag 396001/1240540
115.80/114.27	c cleaning 27999 clauses out of 56014 with flag 425000/1269539
117.91/116.33	c cleaning 28997 clauses out of 58015 with flag 455000/1299539
120.12/118.60	c cleaning 30004 clauses out of 60020 with flag 486002/1330541
124.32/122.76	c cleaning 30998 clauses out of 62015 with flag 518001/1362540
128.53/126.99	c cleaning 32001 clauses out of 64016 with flag 551000/1395539
132.85/131.22	c cleaning 32990 clauses out of 66017 with flag 585002/1429541
138.89/137.20	c cleaning 34010 clauses out of 68026 with flag 620001/1464540
141.73/140.01	c cleaning 35004 clauses out of 70015 with flag 656000/1500539
144.15/142.48	c cleaning 35998 clauses out of 72012 with flag 693001/1537540
147.97/146.24	c cleaning 37000 clauses out of 74015 with flag 731002/1575541
155.08/153.30	c cleaning 38002 clauses out of 76015 with flag 770002/1614541
157.20/155.45	c Got one! Elapsed wall clock time (in seconds):155.321
157.20/155.45	o 39
157.50/155.70	c cleaning 29121 clauses out of 58258 with flag 5001/1634786
157.72/155.93	c cleaning 17562 clauses out of 35139 with flag 11003/1640788
157.92/156.14	c cleaning 12280 clauses out of 24574 with flag 18000/1647785
158.12/156.37	c cleaning 10140 clauses out of 20295 with flag 26001/1655786
158.45/156.64	c cleaning 9570 clauses out of 19155 with flag 35001/1664786
158.76/156.94	c cleaning 9790 clauses out of 19586 with flag 45002/1674787
159.07/157.28	c cleaning 10397 clauses out of 20794 with flag 56000/1685785
159.47/157.66	c cleaning 11195 clauses out of 22398 with flag 68001/1697786
159.97/158.14	c cleaning 12098 clauses out of 24202 with flag 81000/1710785
160.47/158.66	c cleaning 13051 clauses out of 26104 with flag 95000/1724785
161.08/159.26	c cleaning 14022 clauses out of 28054 with flag 110001/1739786
161.68/159.85	c cleaning 15011 clauses out of 30033 with flag 126002/1755787
162.60/160.72	c cleaning 16005 clauses out of 32020 with flag 143000/1772785
163.32/161.48	c Got one! Elapsed wall clock time (in seconds):161.349
163.32/161.48	o 38
163.52/161.65	c cleaning 14269 clauses out of 28552 with flag 5001/1785322
163.73/161.85	c cleaning 10135 clauses out of 20282 with flag 11000/1791321
163.93/162.08	c cleaning 8564 clauses out of 17147 with flag 18000/1798321
164.24/162.35	c cleaning 8288 clauses out of 16588 with flag 26005/1806326
164.55/162.65	c cleaning 8646 clauses out of 17295 with flag 35000/1815321
164.96/163.04	c cleaning 9318 clauses out of 18650 with flag 45001/1825322
165.47/163.51	c cleaning 10165 clauses out of 20337 with flag 56006/1836327
165.99/164.06	c cleaning 11084 clauses out of 22169 with flag 68003/1848324
166.81/164.81	c cleaning 12038 clauses out of 24082 with flag 81000/1861321
167.71/165.74	c cleaning 13020 clauses out of 26044 with flag 95000/1875321
168.84/166.89	c cleaning 14006 clauses out of 28024 with flag 110000/1890321
169.85/167.88	c cleaning 15010 clauses out of 30020 with flag 126002/1906323
171.05/169.06	c cleaning 16001 clauses out of 32011 with flag 143003/1923324
172.47/170.49	c cleaning 16998 clauses out of 34007 with flag 161000/1941321
174.27/172.21	c cleaning 18006 clauses out of 36012 with flag 180003/1960324
176.08/174.06	c cleaning 18998 clauses out of 38004 with flag 200001/1980322
177.78/175.77	c cleaning 19999 clauses out of 40010 with flag 221005/2001326
180.68/178.63	c cleaning 20994 clauses out of 42010 with flag 243004/2023325
182.69/180.62	c cleaning 21993 clauses out of 44012 with flag 266000/2046321
186.40/184.37	c cleaning 22988 clauses out of 46019 with flag 290000/2070321
188.72/186.62	c cleaning 24014 clauses out of 48034 with flag 315003/2095324
190.15/188.03	c cleaning 25009 clauses out of 50018 with flag 341001/2121322
193.65/191.58	c cleaning 25998 clauses out of 52008 with flag 368000/2148321
197.76/195.65	c cleaning 26993 clauses out of 54010 with flag 396000/2176321
202.46/200.39	c cleaning 27997 clauses out of 56018 with flag 425001/2205322
207.77/205.69	c cleaning 29005 clauses out of 58023 with flag 455003/2235324
209.87/207.70	c cleaning 30003 clauses out of 60016 with flag 486001/2266322
211.39/209.20	c cleaning 31004 clauses out of 62012 with flag 518000/2298321
212.81/210.67	c cleaning 32000 clauses out of 64009 with flag 551001/2331322
214.14/211.99	c cleaning 32999 clauses out of 66008 with flag 585000/2365321
215.56/213.39	c cleaning 34000 clauses out of 68009 with flag 620000/2400321
217.28/215.02	c cleaning 35002 clauses out of 70011 with flag 656002/2436323
224.61/222.32	c cleaning 35999 clauses out of 72008 with flag 693001/2473322
234.03/231.80	c cleaning 36992 clauses out of 74009 with flag 731001/2511322
243.14/240.84	c cleaning 37989 clauses out of 76019 with flag 770003/2550324
253.65/251.36	c cleaning 38980 clauses out of 78027 with flag 810000/2590321
265.28/262.92	c cleaning 40004 clauses out of 80048 with flag 851001/2631322
272.52/270.11	c cleaning 41010 clauses out of 82043 with flag 893000/2673321
277.72/275.31	c cleaning 42003 clauses out of 84033 with flag 936000/2716321
279.13/276.75	c Got one! Elapsed wall clock time (in seconds):276.619
279.13/276.75	o 37
279.43/277.04	c cleaning 27254 clauses out of 54523 with flag 5002/2728814
279.65/277.24	c cleaning 16626 clauses out of 33267 with flag 11000/2734812
279.87/277.45	c cleaning 11814 clauses out of 23641 with flag 18000/2741812
280.09/277.69	c cleaning 9907 clauses out of 19827 with flag 26000/2749812
280.39/277.94	c cleaning 9450 clauses out of 18921 with flag 35001/2758813
280.60/278.20	c cleaning 9732 clauses out of 19471 with flag 45001/2768813
281.02/278.53	c cleaning 10372 clauses out of 20743 with flag 56005/2779817
281.32/278.88	c cleaning 11180 clauses out of 22370 with flag 68004/2791816
281.74/279.29	c cleaning 12092 clauses out of 24189 with flag 81003/2804815
282.26/279.74	c cleaning 13045 clauses out of 26096 with flag 95002/2818814
282.77/280.26	c cleaning 14015 clauses out of 28050 with flag 110001/2833813
283.38/280.82	c cleaning 15016 clauses out of 30034 with flag 126000/2849812
283.99/281.49	c cleaning 16008 clauses out of 32018 with flag 143000/2866812
284.70/282.17	c cleaning 17006 clauses out of 34012 with flag 161002/2884814
285.52/282.91	c cleaning 18003 clauses out of 36005 with flag 180001/2903813
286.32/283.79	c cleaning 19002 clauses out of 38003 with flag 200002/2923814
287.22/284.66	c cleaning 19996 clauses out of 40000 with flag 221001/2944813
288.03/285.49	c cleaning 21001 clauses out of 42004 with flag 243001/2966813
289.03/286.47	c cleaning 21999 clauses out of 44004 with flag 266002/2989814
290.64/288.05	c cleaning 22997 clauses out of 46003 with flag 290000/3013812
292.37/289.78	c cleaning 24001 clauses out of 48007 with flag 315001/3038813
295.98/293.35	c cleaning 24995 clauses out of 50006 with flag 341001/3064813
298.58/295.95	c cleaning 26004 clauses out of 52010 with flag 368000/3091812
303.29/300.63	c cleaning 26999 clauses out of 54010 with flag 396004/3119816
304.59/301.95	c cleaning 27999 clauses out of 56007 with flag 425000/3148812
306.20/303.60	c cleaning 29003 clauses out of 58008 with flag 455000/3178812
308.21/305.54	c cleaning 29997 clauses out of 60006 with flag 486001/3209813
310.72/308.07	c cleaning 30998 clauses out of 62010 with flag 518002/3241814
313.53/310.85	c cleaning 32000 clauses out of 64013 with flag 551003/3274815
315.95/313.27	c cleaning 33002 clauses out of 66016 with flag 585006/3308818
318.56/315.84	c cleaning 34003 clauses out of 68011 with flag 620003/3343815
321.08/318.39	c cleaning 34998 clauses out of 70006 with flag 656001/3379813
323.68/320.99	c cleaning 36004 clauses out of 72010 with flag 693003/3416815
326.79/324.08	c cleaning 36994 clauses out of 74004 with flag 731001/3454813
332.30/329.59	c cleaning 37981 clauses out of 76010 with flag 770001/3493813
338.92/336.17	c cleaning 39003 clauses out of 78031 with flag 810003/3533815
351.46/348.67	c cleaning 40002 clauses out of 80026 with flag 851001/3574813
363.88/361.03	c cleaning 41000 clauses out of 82023 with flag 893000/3616812
370.89/368.01	c cleaning 42001 clauses out of 84024 with flag 936001/3659813
374.19/371.38	c cleaning 43007 clauses out of 86025 with flag 980003/3703815
379.41/376.60	c cleaning 43998 clauses out of 88015 with flag 1025000/3748812
384.84/381.95	c cleaning 45000 clauses out of 90017 with flag 1071000/3794812
391.17/388.29	c cleaning 45993 clauses out of 92018 with flag 1118001/3841813
398.00/395.06	c cleaning 47001 clauses out of 94024 with flag 1166000/3889812
406.62/403.62	c cleaning 48004 clauses out of 96025 with flag 1215002/3938814
413.02/410.09	c cleaning 49000 clauses out of 98019 with flag 1265000/3988812
425.56/422.59	c Got one! Elapsed wall clock time (in seconds):422.461
425.56/422.59	o 36
425.99/422.90	c cleaning 49916 clauses out of 99846 with flag 5000/4039639
426.34/423.24	c cleaning 27954 clauses out of 55932 with flag 11002/4045641
426.55/423.47	c cleaning 17480 clauses out of 34976 with flag 18000/4052639
426.85/423.70	c cleaning 12738 clauses out of 25499 with flag 26003/4060642
427.07/423.96	c cleaning 10866 clauses out of 21759 with flag 35001/4069640
427.39/424.24	c cleaning 10440 clauses out of 20894 with flag 45002/4079641
427.70/424.55	c cleaning 10718 clauses out of 21455 with flag 56003/4090642
427.99/424.87	c cleaning 11354 clauses out of 22734 with flag 68000/4102639
428.40/425.25	c cleaning 12180 clauses out of 24381 with flag 81001/4115640
428.80/425.66	c cleaning 13094 clauses out of 26203 with flag 95003/4129642
429.30/426.11	c cleaning 14045 clauses out of 28108 with flag 110002/4144641
429.81/426.64	c cleaning 15020 clauses out of 30062 with flag 126001/4160640
430.32/427.19	c cleaning 16017 clauses out of 32043 with flag 143002/4177641
430.93/427.74	c cleaning 17003 clauses out of 34024 with flag 161000/4195639
431.53/428.35	c cleaning 18002 clauses out of 36021 with flag 180000/4214639
432.24/429.04	c cleaning 19001 clauses out of 38020 with flag 200001/4234640
432.85/429.69	c cleaning 20001 clauses out of 40020 with flag 221002/4255641
433.66/430.43	c cleaning 21002 clauses out of 42022 with flag 243005/4277644
434.48/431.24	c cleaning 21994 clauses out of 44016 with flag 266001/4300640
436.37/433.12	c cleaning 23003 clauses out of 46021 with flag 290000/4324639
437.50/434.21	c cleaning 24000 clauses out of 48018 with flag 315000/4349639
438.60/435.31	c cleaning 25002 clauses out of 50018 with flag 341000/4375639
439.70/436.47	c cleaning 26000 clauses out of 52018 with flag 368002/4402641
440.92/437.60	c cleaning 26999 clauses out of 54016 with flag 396000/4430639
442.03/438.76	c cleaning 28002 clauses out of 56018 with flag 425001/4459640
443.53/440.22	c cleaning 29002 clauses out of 58016 with flag 455001/4489640
446.74/443.49	c cleaning 30000 clauses out of 60013 with flag 486000/4520639
450.65/447.32	c cleaning 31001 clauses out of 62016 with flag 518003/4552642
452.27/448.93	c cleaning 31999 clauses out of 64013 with flag 551001/4585640
456.88/453.52	c cleaning 33001 clauses out of 66018 with flag 585005/4619644
458.49/455.18	c cleaning 34002 clauses out of 68012 with flag 620000/4654639
460.79/457.47	c cleaning 34999 clauses out of 70011 with flag 656001/4690640
463.90/460.54	c cleaning 36000 clauses out of 72012 with flag 693001/4727640
467.30/463.97	c cleaning 36999 clauses out of 74012 with flag 731001/4765640
471.12/467.71	c cleaning 37995 clauses out of 76013 with flag 770001/4804640
473.84/470.44	c cleaning 38996 clauses out of 78017 with flag 810000/4844639
476.35/472.95	c cleaning 40000 clauses out of 80021 with flag 851000/4885639
479.26/475.86	c cleaning 41007 clauses out of 82021 with flag 893000/4927639
485.37/481.94	c cleaning 41990 clauses out of 84014 with flag 936000/4970639
494.99/491.54	c cleaning 43000 clauses out of 86024 with flag 980000/5014639
504.71/501.26	c cleaning 44004 clauses out of 88024 with flag 1025000/5059639
514.65/511.15	c cleaning 44993 clauses out of 90020 with flag 1071000/5105639
524.07/520.50	c cleaning 46008 clauses out of 92028 with flag 1118001/5152640
531.28/527.77	c cleaning 46995 clauses out of 94020 with flag 1166001/5200640
542.70/539.12	c cleaning 48005 clauses out of 96025 with flag 1215001/5249640
554.62/551.03	c cleaning 49003 clauses out of 98019 with flag 1265000/5299639
566.13/562.59	c cleaning 49992 clauses out of 100016 with flag 1316000/5350639
579.14/575.58	c cleaning 50991 clauses out of 102026 with flag 1368002/5402641
591.65/588.02	c cleaning 52009 clauses out of 104033 with flag 1421000/5455639
599.56/595.94	c cleaning 53003 clauses out of 106024 with flag 1475000/5509639
608.26/604.64	c cleaning 54006 clauses out of 108024 with flag 1530003/5564642
622.27/618.66	c cleaning 54991 clauses out of 110017 with flag 1586002/5620641
630.98/627.38	c cleaning 55997 clauses out of 112026 with flag 1643002/5677641
645.61/641.99	c cleaning 57001 clauses out of 114029 with flag 1701002/5735641
662.55/658.84	c cleaning 57999 clauses out of 116026 with flag 1760000/5794639
676.97/673.23	c cleaning 59001 clauses out of 118027 with flag 1820000/5854639
688.68/684.92	c cleaning 60002 clauses out of 120028 with flag 1881002/5915641
698.91/695.16	c cleaning 61005 clauses out of 122028 with flag 1943004/5977643
700.61/696.88	c Got one! Elapsed wall clock time (in seconds):696.747
700.61/696.88	o 35
701.01/697.23	c cleaning 39038 clauses out of 78089 with flag 5002/5994709
701.23/697.46	c cleaning 22515 clauses out of 45050 with flag 11001/6000708
701.43/697.67	c cleaning 14758 clauses out of 29534 with flag 18000/6007707
701.65/697.89	c cleaning 11380 clauses out of 22777 with flag 26001/6015708
701.98/698.12	c cleaning 10190 clauses out of 20397 with flag 35001/6024708
702.19/698.39	c cleaning 10094 clauses out of 20208 with flag 45002/6034709
702.49/698.69	c cleaning 10549 clauses out of 21115 with flag 56003/6045710
702.90/699.02	c cleaning 11274 clauses out of 22564 with flag 68001/6057708
703.32/699.42	c cleaning 12138 clauses out of 24291 with flag 81002/6070709
703.75/699.86	c cleaning 13067 clauses out of 26151 with flag 95000/6084707
704.25/700.33	c cleaning 14035 clauses out of 28084 with flag 110000/6099707
704.76/700.84	c cleaning 15015 clauses out of 30049 with flag 126000/6115707
705.26/701.39	c cleaning 16012 clauses out of 32036 with flag 143002/6132709
705.88/701.98	c cleaning 17005 clauses out of 34022 with flag 161000/6150707
706.59/702.64	c cleaning 18003 clauses out of 36019 with flag 180002/6169709
707.29/703.33	c cleaning 19001 clauses out of 38015 with flag 200001/6189708
708.00/704.06	c cleaning 19998 clauses out of 40013 with flag 221000/6210707
708.79/704.84	c cleaning 21001 clauses out of 42016 with flag 243001/6232708
709.61/705.69	c cleaning 22001 clauses out of 44018 with flag 266004/6255711
710.63/706.68	c cleaning 22999 clauses out of 46013 with flag 290000/6279707
711.75/707.78	c cleaning 24000 clauses out of 48015 with flag 315001/6304708
712.86/708.82	c cleaning 25001 clauses out of 50017 with flag 341003/6330710
713.97/709.92	c cleaning 25999 clauses out of 52015 with flag 368002/6357709
715.07/711.10	c cleaning 26998 clauses out of 54015 with flag 396001/6385708
716.29/712.28	c cleaning 27997 clauses out of 56017 with flag 425001/6414708
717.62/713.59	c cleaning 29001 clauses out of 58020 with flag 455001/6444708
718.92/714.83	c cleaning 30001 clauses out of 60020 with flag 486002/6475709
720.33/716.22	c cleaning 31000 clauses out of 62017 with flag 518000/6507707
721.73/717.67	c cleaning 31999 clauses out of 64018 with flag 551001/6540708
723.14/719.09	c cleaning 33000 clauses out of 66018 with flag 585000/6574707
724.75/720.60	c cleaning 34002 clauses out of 68020 with flag 620002/6609709
726.36/722.29	c cleaning 34998 clauses out of 70016 with flag 656000/6645707
728.17/724.03	c cleaning 36001 clauses out of 72018 with flag 693000/6682707
729.88/725.72	c cleaning 37002 clauses out of 74017 with flag 731000/6720707
733.80/729.65	c cleaning 38008 clauses out of 76016 with flag 770001/6759708
738.45/734.29	c cleaning 39001 clauses out of 78012 with flag 810005/6799712
741.87/737.61	c cleaning 39997 clauses out of 80008 with flag 851002/6840709
748.60/744.37	c cleaning 40992 clauses out of 82011 with flag 893002/6882709
757.42/753.12	c Got one! Elapsed wall clock time (in seconds):752.991
757.42/753.12	o 34
757.73/753.49	c cleaning 41878 clauses out of 83767 with flag 5000/6925457
758.77/754.43	c cleaning 23933 clauses out of 47890 with flag 11001/6931458
759.38/755.01	c cleaning 15465 clauses out of 30956 with flag 18000/6938457
759.90/755.56	c cleaning 11736 clauses out of 23491 with flag 26000/6946457
760.50/756.12	c cleaning 10367 clauses out of 20755 with flag 35000/6955457
761.51/757.19	c cleaning 10184 clauses out of 20389 with flag 45001/6965458
762.23/757.89	c cleaning 10593 clauses out of 21204 with flag 56000/6976457
763.63/759.22	c cleaning 11294 clauses out of 22614 with flag 68003/6988460
765.34/760.92	c cleaning 12150 clauses out of 24318 with flag 81001/7001458
766.94/762.52	c cleaning 13071 clauses out of 26168 with flag 95001/7015458
768.45/764.07	c cleaning 14036 clauses out of 28098 with flag 110002/7030459
771.45/767.00	c cleaning 15021 clauses out of 30061 with flag 126001/7046458
774.57/770.14	c cleaning 16012 clauses out of 32042 with flag 143003/7063460
778.78/774.37	c cleaning 16997 clauses out of 34028 with flag 161001/7081458
783.38/778.93	c cleaning 18002 clauses out of 36032 with flag 180002/7100459
788.10/783.64	c cleaning 19000 clauses out of 38028 with flag 200000/7120457
793.81/789.38	c cleaning 19998 clauses out of 40028 with flag 221000/7141457
799.63/795.13	c cleaning 21002 clauses out of 42031 with flag 243001/7163458
802.24/797.76	c cleaning 22011 clauses out of 44029 with flag 266001/7186458
803.55/799.00	c cleaning 23003 clauses out of 46018 with flag 290001/7210458
805.16/800.70	c cleaning 24004 clauses out of 48017 with flag 315003/7235460
806.97/802.45	c cleaning 25002 clauses out of 50010 with flag 341000/7261457
808.79/804.30	c cleaning 26000 clauses out of 52010 with flag 368002/7288459
810.80/806.28	c cleaning 27001 clauses out of 54010 with flag 396002/7316459
813.29/808.75	c cleaning 28004 clauses out of 56012 with flag 425005/7345462
815.50/810.98	c cleaning 29000 clauses out of 58004 with flag 455001/7375458
817.60/813.09	c cleaning 29995 clauses out of 60003 with flag 486000/7406457
820.71/816.10	c cleaning 30992 clauses out of 62009 with flag 518001/7438458
825.71/821.10	c cleaning 32002 clauses out of 64017 with flag 551001/7471458
829.52/824.93	c cleaning 32994 clauses out of 66014 with flag 585000/7505457
831.13/826.56	c Got one! Elapsed wall clock time (in seconds):826.429
831.13/826.56	o 33
831.34/826.79	c cleaning 26455 clauses out of 52918 with flag 5001/7525355
831.65/827.02	c cleaning 16227 clauses out of 32462 with flag 11000/7531354
831.86/827.28	c cleaning 11615 clauses out of 23237 with flag 18002/7538356
832.18/827.55	c cleaning 9802 clauses out of 19621 with flag 26001/7546355
832.48/827.86	c cleaning 9400 clauses out of 18819 with flag 35001/7555355
832.80/828.20	c cleaning 9705 clauses out of 19420 with flag 45002/7565356
833.29/828.61	c cleaning 10353 clauses out of 20717 with flag 56004/7576358
833.80/829.13	c cleaning 11177 clauses out of 22362 with flag 68002/7588356
834.42/829.77	c cleaning 12091 clauses out of 24183 with flag 81000/7601354
835.13/830.47	c cleaning 13042 clauses out of 26093 with flag 95001/7615355
835.93/831.30	c cleaning 14025 clauses out of 28050 with flag 110000/7630354
836.84/832.19	c cleaning 15011 clauses out of 30026 with flag 126001/7646355
837.95/833.25	c cleaning 16004 clauses out of 32017 with flag 143003/7663357
839.25/834.56	c cleaning 17005 clauses out of 34010 with flag 161000/7681354
840.46/835.75	c cleaning 17995 clauses out of 36006 with flag 180001/7700355
841.78/837.06	c cleaning 19005 clauses out of 38013 with flag 200003/7720357
843.00/838.23	c cleaning 19993 clauses out of 40006 with flag 221001/7741355
845.10/840.39	c cleaning 20989 clauses out of 42012 with flag 243000/7763354
848.71/843.93	c cleaning 22000 clauses out of 44025 with flag 266002/7786356
851.91/847.12	c cleaning 23008 clauses out of 46024 with flag 290001/7810355
855.03/850.20	c cleaning 23986 clauses out of 48016 with flag 315001/7835355
859.54/854.72	c cleaning 24987 clauses out of 50032 with flag 341003/7861357
864.35/859.56	c cleaning 26012 clauses out of 52042 with flag 368000/7888354
869.17/864.35	c cleaning 27001 clauses out of 54031 with flag 396001/7916355
874.49/869.61	c cleaning 27993 clauses out of 56029 with flag 425000/7945354
879.59/874.72	c cleaning 28996 clauses out of 58036 with flag 455000/7975354
885.79/880.99	c cleaning 30005 clauses out of 60041 with flag 486001/8006355
893.10/888.24	c cleaning 31004 clauses out of 62037 with flag 518002/8038356
900.10/895.22	c cleaning 32000 clauses out of 64032 with flag 551001/8071355
906.62/901.73	c cleaning 33008 clauses out of 66031 with flag 585000/8105354
911.73/906.83	c cleaning 34004 clauses out of 68024 with flag 620001/8140355
917.43/912.59	c cleaning 34998 clauses out of 70019 with flag 656000/8176354
923.95/919.03	c cleaning 35998 clauses out of 72021 with flag 693000/8213354
925.35/920.42	c Got one! Elapsed wall clock time (in seconds):920.295
925.35/920.42	o 32
926.05/921.11	c cleaning 24284 clauses out of 48579 with flag 5000/8225910
926.57/921.62	c cleaning 15141 clauses out of 30295 with flag 11000/8231910
926.87/921.95	c cleaning 11073 clauses out of 22158 with flag 18004/8238914
927.18/922.29	c cleaning 9536 clauses out of 19081 with flag 26000/8246910
927.81/922.85	c cleaning 9270 clauses out of 18547 with flag 35002/8255912
928.53/923.56	c cleaning 9625 clauses out of 19276 with flag 45001/8265911
929.54/924.51	c cleaning 10318 clauses out of 20652 with flag 56002/8276912
930.74/925.77	c cleaning 11153 clauses out of 22332 with flag 68000/8288910
931.76/926.71	c cleaning 12081 clauses out of 24179 with flag 81000/8301910
932.87/927.87	c cleaning 13038 clauses out of 26098 with flag 95000/8315910
934.08/929.07	c cleaning 14022 clauses out of 28060 with flag 110000/8330910
935.69/930.62	c cleaning 15002 clauses out of 30038 with flag 126000/8346910
936.90/931.83	c cleaning 16010 clauses out of 32036 with flag 143000/8363910
938.00/932.92	c cleaning 17004 clauses out of 34028 with flag 161002/8381912
939.11/934.09	c cleaning 17999 clauses out of 36023 with flag 180001/8400911
940.41/935.32	c cleaning 19008 clauses out of 38025 with flag 200002/8420912
941.92/936.80	c cleaning 19998 clauses out of 40019 with flag 221004/8441914
943.94/938.81	c cleaning 20999 clauses out of 42018 with flag 243001/8463911
946.16/941.01	c cleaning 21999 clauses out of 44018 with flag 266000/8486910
948.48/943.37	c cleaning 23002 clauses out of 46021 with flag 290002/8510912
953.80/948.69	c cleaning 24000 clauses out of 48020 with flag 315003/8535913
961.03/955.85	c cleaning 24996 clauses out of 50018 with flag 341001/8561911
968.85/963.60	c cleaning 25998 clauses out of 52023 with flag 368002/8588912
974.26/969.09	c cleaning 26996 clauses out of 54023 with flag 396000/8616910
976.98/971.70	c cleaning 28004 clauses out of 56027 with flag 425000/8645910
979.91/974.68	c cleaning 29000 clauses out of 58023 with flag 455000/8675910
982.61/977.37	c cleaning 30003 clauses out of 60023 with flag 486000/8706910
986.04/980.78	c cleaning 31002 clauses out of 62021 with flag 518001/8738911
989.87/984.51	c cleaning 32002 clauses out of 64023 with flag 551005/8771915
994.18/988.82	c cleaning 32999 clauses out of 66017 with flag 585001/8805911
997.88/992.59	c cleaning 33998 clauses out of 68018 with flag 620001/8840911
1000.99/995.70	c cleaning 35008 clauses out of 70023 with flag 656004/8876914
1004.93/999.55	c cleaning 35990 clauses out of 72012 with flag 693001/8913911
1010.26/1004.84	c cleaning 36996 clauses out of 74021 with flag 731000/8951910
1016.97/1011.56	c cleaning 37997 clauses out of 76026 with flag 770001/8990911
1024.79/1019.35	c cleaning 39005 clauses out of 78029 with flag 810001/9030911
1032.60/1027.10	c cleaning 39995 clauses out of 80025 with flag 851002/9071912
1042.31/1036.83	c cleaning 40997 clauses out of 82029 with flag 893001/9113911
1050.22/1044.71	c cleaning 41996 clauses out of 84032 with flag 936001/9156911
1058.33/1052.86	c cleaning 42978 clauses out of 86035 with flag 980000/9200910
1068.94/1063.42	c cleaning 44014 clauses out of 88057 with flag 1025000/9245910
1080.36/1074.86	c cleaning 45006 clauses out of 90044 with flag 1071001/9291911
1092.77/1087.20	c cleaning 45999 clauses out of 92038 with flag 1118001/9338911
1105.10/1099.55	c cleaning 47001 clauses out of 94040 with flag 1166002/9386912
1117.10/1111.56	c cleaning 48008 clauses out of 96038 with flag 1215001/9435911
1127.41/1121.90	c cleaning 48994 clauses out of 98030 with flag 1265001/9485911
1138.73/1133.11	c cleaning 49995 clauses out of 100035 with flag 1316000/9536910
1150.75/1145.11	c cleaning 50998 clauses out of 102041 with flag 1368001/9588911
1162.66/1157.06	c cleaning 52003 clauses out of 104042 with flag 1421000/9641910
1177.18/1171.53	c cleaning 52999 clauses out of 106040 with flag 1475001/9695911
1191.52/1185.83	c cleaning 54003 clauses out of 108040 with flag 1530000/9750910
1208.52/1202.83	c cleaning 54998 clauses out of 110037 with flag 1586000/9806910
1218.63/1212.97	c Got one! Elapsed wall clock time (in seconds):1212.841
1218.63/1212.97	o 31
1219.33/1213.63	c cleaning 48158 clauses out of 96334 with flag 5000/9848205
1219.84/1214.15	c cleaning 27081 clauses out of 54176 with flag 11000/9854205
1220.35/1214.63	c cleaning 17040 clauses out of 34095 with flag 18000/9861205
1220.76/1215.08	c cleaning 12523 clauses out of 25060 with flag 26005/9869210
1221.37/1215.62	c cleaning 10754 clauses out of 21533 with flag 35001/9878206
1221.97/1216.20	c cleaning 10380 clauses out of 20779 with flag 45001/9888206
1222.58/1216.90	c cleaning 10693 clauses out of 21398 with flag 56000/9899205
1223.40/1217.65	c cleaning 11350 clauses out of 22705 with flag 68000/9911205
1224.52/1218.70	c cleaning 12172 clauses out of 24360 with flag 81005/9924210
1225.43/1219.69	c cleaning 13084 clauses out of 26184 with flag 95001/9938206
1226.53/1220.78	c cleaning 14039 clauses out of 28100 with flag 110001/9953206
1227.65/1221.84	c cleaning 15026 clauses out of 30063 with flag 126003/9969208
1228.87/1223.06	c cleaning 16008 clauses out of 32034 with flag 143000/9986205
1230.08/1224.23	c cleaning 17010 clauses out of 34027 with flag 161001/10004206
1231.49/1225.62	c cleaning 18000 clauses out of 36016 with flag 180000/10023205
1232.90/1227.06	c cleaning 19004 clauses out of 38019 with flag 200003/10043208
1234.51/1228.61	c cleaning 19997 clauses out of 40015 with flag 221003/10064208
1236.22/1230.31	c cleaning 21001 clauses out of 42019 with flag 243004/10086209
1237.94/1232.07	c cleaning 21998 clauses out of 44014 with flag 266000/10109205
1240.54/1234.68	c cleaning 23000 clauses out of 46016 with flag 290000/10133205
1242.05/1236.18	c cleaning 23998 clauses out of 48017 with flag 315001/10158206
1245.35/1239.47	c cleaning 25012 clauses out of 50028 with flag 341010/10184215
1246.45/1240.58	c cleaning 25998 clauses out of 52008 with flag 368002/10211207
1247.87/1241.93	c cleaning 27000 clauses out of 54008 with flag 396000/10239205
1251.17/1245.22	c cleaning 27993 clauses out of 56008 with flag 425000/10268205
1254.48/1248.56	c cleaning 29001 clauses out of 58016 with flag 455001/10298206
1260.58/1254.62	c cleaning 30000 clauses out of 60016 with flag 486002/10329207
1265.60/1259.64	c cleaning 30994 clauses out of 62015 with flag 518001/10361206
1270.81/1264.88	c cleaning 32002 clauses out of 64020 with flag 551000/10394205
1273.03/1267.02	c cleaning 33000 clauses out of 66019 with flag 585001/10428206
1276.73/1270.74	c cleaning 33989 clauses out of 68018 with flag 620000/10463205
1281.66/1275.61	c cleaning 34986 clauses out of 70030 with flag 656001/10499206
1286.19/1280.13	c cleaning 35986 clauses out of 72043 with flag 693000/10536205
1288.19/1282.19	c cleaning 37024 clauses out of 74057 with flag 731000/10574205
1290.61/1284.56	c cleaning 38013 clauses out of 76036 with flag 770003/10613208
1292.83/1286.76	c cleaning 39007 clauses out of 78021 with flag 810001/10653206
1294.85/1288.75	c cleaning 40000 clauses out of 80013 with flag 851000/10694205
1297.17/1291.04	c cleaning 41001 clauses out of 82015 with flag 893002/10736207
1300.89/1294.77	c cleaning 41993 clauses out of 84012 with flag 936000/10779205
1306.99/1300.88	c cleaning 43000 clauses out of 86019 with flag 980000/10823205
1314.11/1307.93	c cleaning 43974 clauses out of 88019 with flag 1025000/10868205
1321.74/1315.57	c cleaning 44979 clauses out of 90046 with flag 1071001/10914206
1330.25/1324.02	c cleaning 46017 clauses out of 92066 with flag 1118000/10961205
1341.97/1335.75	c cleaning 46973 clauses out of 94051 with flag 1166002/11009207
1355.38/1349.15	c cleaning 48025 clauses out of 96077 with flag 1215001/11058206
1362.82/1356.53	c cleaning 49019 clauses out of 98052 with flag 1265001/11108206
1373.72/1367.43	c cleaning 49995 clauses out of 100034 with flag 1316002/11159207
1376.44/1370.11	c Got one! Elapsed wall clock time (in seconds):1369.984
1376.44/1370.11	o 30
1376.74/1370.45	c cleaning 33900 clauses out of 67806 with flag 5002/11176974
1377.15/1370.82	c cleaning 19945 clauses out of 39904 with flag 11000/11182972
1377.55/1371.24	c cleaning 13473 clauses out of 26960 with flag 18001/11189973
1378.17/1371.80	c cleaning 10733 clauses out of 21486 with flag 26000/11197972
1378.90/1372.50	c cleaning 9873 clauses out of 19755 with flag 35002/11206974
1379.92/1373.53	c cleaning 9931 clauses out of 19880 with flag 45000/11216972
1380.84/1374.48	c cleaning 10474 clauses out of 20953 with flag 56004/11227976
1381.84/1375.48	c cleaning 11237 clauses out of 22475 with flag 68000/11239972
1382.95/1376.54	c cleaning 12120 clauses out of 24239 with flag 81001/11252973
1384.07/1377.62	c cleaning 13053 clauses out of 26119 with flag 95001/11266973
1385.28/1378.88	c cleaning 14028 clauses out of 28066 with flag 110001/11281973
1386.60/1380.13	c cleaning 15021 clauses out of 30041 with flag 126004/11297976
1387.90/1381.44	c cleaning 16006 clauses out of 32018 with flag 143002/11314974
1389.40/1382.92	c cleaning 17005 clauses out of 34012 with flag 161002/11332974
1390.81/1384.36	c cleaning 18003 clauses out of 36005 with flag 180000/11351972
1392.33/1385.89	c cleaning 19004 clauses out of 38007 with flag 200005/11371977
1394.03/1387.52	c cleaning 19994 clauses out of 39998 with flag 221000/11392972
1395.54/1389.09	c cleaning 21001 clauses out of 42006 with flag 243002/11414974
1397.15/1390.67	c cleaning 22005 clauses out of 44010 with flag 266007/11437979
1398.85/1392.33	c cleaning 22997 clauses out of 46000 with flag 290002/11461974
1400.46/1393.91	c cleaning 24002 clauses out of 48004 with flag 315003/11486975
1402.37/1395.81	c cleaning 24998 clauses out of 49999 with flag 341000/11512972
1404.57/1398.10	c cleaning 26000 clauses out of 52003 with flag 368002/11539974
1407.09/1400.51	c cleaning 26993 clauses out of 54002 with flag 396001/11567973
1409.41/1402.82	c cleaning 27999 clauses out of 56011 with flag 425003/11596975
1411.24/1404.70	c cleaning 28997 clauses out of 58009 with flag 455000/11626972
1413.67/1407.05	c cleaning 29993 clauses out of 60014 with flag 486002/11657974
1416.33/1409.65	c cleaning 31001 clauses out of 62020 with flag 518001/11689973
1418.94/1412.29	c cleaning 32005 clauses out of 64019 with flag 551001/11722973
1422.40/1415.65	c cleaning 32994 clauses out of 66013 with flag 585000/11756972
1426.21/1419.49	c cleaning 34002 clauses out of 68020 with flag 620001/11791973
1429.93/1423.19	c cleaning 34999 clauses out of 70018 with flag 656001/11827973
1433.64/1426.87	c cleaning 36003 clauses out of 72019 with flag 693001/11864973
1437.85/1431.02	c cleaning 36995 clauses out of 74015 with flag 731000/11902972
1443.37/1436.53	c cleaning 37994 clauses out of 76020 with flag 770000/11941972
1448.69/1441.84	c cleaning 39005 clauses out of 78028 with flag 810002/11981974
1453.50/1446.68	c cleaning 40003 clauses out of 80021 with flag 851000/12022972
1458.42/1451.51	c cleaning 40995 clauses out of 82019 with flag 893001/12064973
1464.23/1457.35	c cleaning 42001 clauses out of 84024 with flag 936001/12107973
1469.84/1462.93	c cleaning 42994 clauses out of 86023 with flag 980001/12151973
1474.95/1468.05	c cleaning 44004 clauses out of 88029 with flag 1025001/12196973
1479.97/1473.02	c cleaning 44998 clauses out of 90024 with flag 1071000/12242972
1485.30/1478.39	c cleaning 46002 clauses out of 92026 with flag 1118000/12289972
1491.30/1484.33	c cleaning 47003 clauses out of 94025 with flag 1166001/12337973
1495.50/1488.55	c cleaning 48004 clauses out of 96023 with flag 1215002/12386974
1498.71/1491.73	c cleaning 49004 clauses out of 98018 with flag 1265001/12436973
1501.54/1494.51	c cleaning 50003 clauses out of 100014 with flag 1316001/12487973
1504.35/1497.34	c cleaning 51006 clauses out of 102013 with flag 1368003/12539975
1507.27/1500.24	c cleaning 51996 clauses out of 104004 with flag 1421000/12592972
1512.77/1505.78	c cleaning 53001 clauses out of 106010 with flag 1475002/12646974
1517.40/1510.30	c cleaning 53999 clauses out of 108008 with flag 1530001/12701973
1523.52/1516.49	c cleaning 54997 clauses out of 110008 with flag 1586000/12757972
1529.44/1522.39	c cleaning 56003 clauses out of 112011 with flag 1643000/12814972
1535.77/1528.66	c cleaning 57001 clauses out of 114008 with flag 1701000/12872972
1541.09/1533.95	c cleaning 57999 clauses out of 116010 with flag 1760003/12931975
1546.63/1539.43	c cleaning 59002 clauses out of 118008 with flag 1820000/12991972
1552.25/1545.05	c cleaning 60004 clauses out of 120008 with flag 1881002/13052974
1557.46/1550.20	c cleaning 60995 clauses out of 122005 with flag 1943003/13114975
1562.36/1555.15	c cleaning 62002 clauses out of 124012 with flag 2006005/13177977
1567.37/1560.16	c cleaning 63003 clauses out of 126008 with flag 2070003/13241975
1572.00/1564.71	c cleaning 63996 clauses out of 128003 with flag 2135001/13306973
1577.62/1570.35	c cleaning 64998 clauses out of 130007 with flag 2201001/13372973
1583.25/1575.98	c cleaning 66002 clauses out of 132009 with flag 2268001/13439973
1587.67/1580.37	c cleaning 67002 clauses out of 134007 with flag 2336001/13507973
1592.78/1585.42	c cleaning 67997 clauses out of 136004 with flag 2405000/13576972
1598.51/1591.13	c cleaning 69004 clauses out of 138010 with flag 2475003/13646975
1602.84/1595.47	c cleaning 69997 clauses out of 140004 with flag 2546001/13717973
1607.99/1600.57	c cleaning 71001 clauses out of 142007 with flag 2618001/13789973
1612.80/1605.32	c cleaning 72000 clauses out of 144007 with flag 2691002/13862974
1618.42/1610.99	c cleaning 72999 clauses out of 146006 with flag 2765001/13936973
1623.74/1616.23	c cleaning 73996 clauses out of 148006 with flag 2840000/14011972
1629.08/1621.58	c cleaning 74999 clauses out of 150010 with flag 2916000/14087972
1634.70/1627.14	c cleaning 76006 clauses out of 152011 with flag 2993000/14164972
1646.13/1638.55	c cleaning 76985 clauses out of 154005 with flag 3071000/14242972
1656.77/1649.11	c cleaning 77993 clauses out of 156022 with flag 3150002/14321974
1668.29/1660.60	c cleaning 79002 clauses out of 158027 with flag 3230000/14401972
1678.73/1671.01	c cleaning 80005 clauses out of 160026 with flag 3311001/14482973
1691.25/1683.55	c cleaning 80993 clauses out of 162022 with flag 3393002/14564974
1704.06/1696.34	c cleaning 82003 clauses out of 164028 with flag 3476001/14647973
1717.57/1709.86	c cleaning 82995 clauses out of 166024 with flag 3560000/14731972
1732.91/1725.12	c cleaning 83981 clauses out of 168029 with flag 3645000/14816972
1746.13/1738.30	c cleaning 85013 clauses out of 170050 with flag 3731002/14902974
1761.18/1753.40	c cleaning 85992 clauses out of 172036 with flag 3818001/14989973
1769.81/1761.91	c cleaning 86997 clauses out of 174045 with flag 3906002/15077974
1784.35/1776.42	c cleaning 88019 clauses out of 176048 with flag 3995002/15166974
1794.86/1786.90	c cleaning 89009 clauses out of 178029 with flag 4085002/15256974
1800.00/1792.01	c starts		: 363
1800.00/1792.01	c conflicts		: 15301588
1800.00/1792.01	c decisions		: 17115263
1800.00/1792.01	c propagations		: 1326606832
1800.00/1792.01	c inspects		: 18843467123
1800.00/1792.01	c shortcuts		: 0
1800.00/1792.01	c learnt literals	: 0
1800.00/1792.01	c learnt binary clauses	: 62
1800.00/1792.01	c learnt ternary clauses	: 254
1800.00/1792.01	c learnt constraints	: 15301588
1800.00/1792.01	c ignored constraints	: 0
1800.00/1792.01	c root simplifications	: 363
1800.00/1792.01	c removed literals (reason simplification)	: 46531352
1800.00/1792.01	c reason swapping (by a shorter reason)	: 0
1800.00/1792.01	c Calls to reduceDB	: 556
1800.00/1792.01	c number of reductions to clauses (during analyze)	: 0
1800.00/1792.01	c number of learned constraints concerned by reduction	: 0
1800.00/1792.01	c number of learning phase by resolution	: 0
1800.00/1792.01	c number of learning phase by cutting planes	: 0
1800.00/1792.01	c speed (assignments/second)	: 740485.819430924
1800.00/1792.01	c non guided choices	1804
1800.00/1792.04	c learnt constraints type 
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 62
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133740
1800.00/1792.04	c constraints type 
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
1800.00/1792.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 437
1800.00/1792.04	c ignored satisfied constraints => 602
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
1800.00/1792.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
1800.00/1792.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
1800.00/1792.04	c 5667 constraints processed.
1800.00/1792.04	s SATISFIABLE
1800.00/1792.04	v -x1 -x2 -x3 x4 -x5 x6 -x7 x8 -x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 -x228 x229 x230 x231 x232 -x233 -x234 -x235 x236 x237 x238 x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 x255 x256 -x257 -x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 -x273 x274 x275 x276 x277 x278 x279 x280 -x281 x282 x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 x295 x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 x304 -x305 x306 x307 -x308 x309 -x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 x323 x324 x325 x326 -x327 -x328 x329 x330 -x331 x332 -x333 x334 x335 x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 -x345 x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 x355 x356 -x357 x358 x359 x360 -x361 x362 x363 x364 x365 -x366 x367 x368 -x369 x370 x371 -x372 x373 x374 -x375 -x376 x377 -x378 x379 x380 -x381 x382 -x383 -x384 x385 x386 -x387 x388 -x389 x390 x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 x410 x411 x412 -x413 x414 x415 -x416 x417 x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 x452 x453 x454 x455 -x456 x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 -x471 -x472 x473 -x474 -x475 x476 x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 x486 -x487 x488 x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 -x504 x505 -x506 -x507 x508 x509 -x510 -x511 x512 -x513 -x514 x515 -x516 -x517 x518 x519 x520 x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 x542 x543 x544 x545 -x546 x547 -x548 -x549 -x550 x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1800.00/1792.04	c objective function=30
1800.00/1792.04	c Total wall clock time (in seconds): 1791.912

Verifier Data 

OK	30

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711289-1338183185/watcher-3711289-1338183185 -o /tmp/evaluation-result-3711289-1338183185/solver-3711289-1338183185 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711289-1338183185.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 1097
/proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/1097/stat : 1097 (java) D 1095 1097 29719 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 284443396 2560000 47 33554432000 1073741824 1073778376 140736469327920 140736469325048 223642479911 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 625 47 37 9 0 29 0

[startup+0.068145 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 1097
/proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 3195 0 1 0 3 1 0 0 20 0 18 0 284443396 9787842560 4402 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2389610 4402 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100248 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 1097
/proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 4122 0 1 0 7 1 0 0 20 0 18 0 284443396 9787842560 5328 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2389610 5328 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300209 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 1097
/proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9558440 CPUtime=0.45 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 5238 0 1 0 44 1 0 0 20 0 18 0 284443396 9787842560 8166 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2389610 8166 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.70022 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 1097
/proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8424 0 1 0 132 2 0 0 20 0 19 0 284443396 9856004096 13377 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 13377 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 1116
/proc/meminfo: memFree=28837408/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=2.29 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8561 0 1 0 226 3 0 0 20 0 19 0 284443396 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 15987 2287 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2526 0 1 0 143 2 0 0 20 0 19 0 284443397 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309889094056 140309753850787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2429 0 0 0 35 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2360 0 0 0 42 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 1116
/proc/meminfo: memFree=28822576/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=3.95 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8572 0 1 0 392 3 0 0 20 0 19 0 284443396 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 17015 2287 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=3.01 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2527 0 1 0 299 2 0 0 20 0 19 0 284443397 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309889093896 140309753873294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2429 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2361 0 0 0 45 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625004

[startup+6.30067 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 1116
/proc/meminfo: memFree=28822576/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=7.18 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8604 0 1 0 715 3 0 0 20 0 19 0 284443396 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 16898 2287 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=6.08 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2534 0 1 0 606 2 0 0 20 0 19 0 284443397 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309889094056 140309753938758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2430 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2361 0 0 0 48 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 128 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 116 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 117 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=14.92 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 154 0 0 0 1488 4 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 18 18 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1670.03
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 1325
/proc/meminfo: memFree=28649152/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=1730.11 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10973 0 1 0 172965 46 0 0 20 0 19 0 284443396 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 34280 2288 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1703.95 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3075 0 1 0 170363 32 0 0 20 0 19 0 284443397 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753873464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 123 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 123 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 119 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 124 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 129 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 118 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 119 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.11 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 158 0 0 0 1507 4 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 99 0 0 0 18 19 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1730.11
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 1325
/proc/meminfo: memFree=28644444/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=1790.26 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10987 0 1 0 178979 47 0 0 20 0 19 0 284443396 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 34792 2288 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1763.66 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3080 0 1 0 176333 33 0 0 20 0 19 0 284443397 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753464609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 125 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 124 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 121 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 132 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 121 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 121 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.35 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 163 0 0 0 1531 4 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 103 0 0 0 19 20 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792 s]
/proc/loadavg: 1.99 1.98 1.99 3/212 1325
/proc/meminfo: memFree=28644328/32873844 swapFree=6856/6856
[pid=1097] ppid=1095 vsize=9625004 CPUtime=1800 cores=0,2,4,6
/proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10988 0 1 0 179952 48 0 0 20 0 19 0 284443396 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1097/statm: 2406251 34792 2288 9 0 2396937 0
[pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1773.29 cores=0,2,4,6
/proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3081 0 1 0 177296 33 0 0 20 0 19 0 284443397 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753848178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 127 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 125 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 133 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 121 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.41 cores=0,2,4,6
/proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 163 0 0 0 1537 4 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1792.05
CPU time (s): 1800.61
CPU user time (s): 1799.69
CPU system time (s): 0.922859
CPU usage (%): 100.478
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.922859
maximum resident set size= 139296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11022
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53285
involuntary context switches= 34076

runsolver used 5.45217 second user time and 14.0309 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 07:33:05
IDJOB=3711289
IDBENCH=72484
IDSOLVER=2289
FILE ID=node144/3711289-1338183185
RUNJOBID= node144-1338157682-29735
PBS_JOBID= 14624532
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711289-1338183185/watcher-3711289-1338183185 -o /tmp/evaluation-result-3711289-1338183185/solver-3711289-1338183185 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711289-1338183185.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=1079108952

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28882564 kB
Buffers:          387556 kB
Cached:          2650724 kB
SwapCached:            0 kB
Active:           948088 kB
Inactive:        2198268 kB
Active(anon):     109140 kB
Inactive(anon):        0 kB
Active(file):     838948 kB
Inactive(file):  2198268 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               692 kB
Writeback:             0 kB
AnonPages:        123116 kB
Mapped:            22664 kB
Shmem:               200 kB
Slab:             697668 kB
SReclaimable:     139912 kB
SUnreclaim:       557756 kB
KernelStack:        1592 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     702136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71472 MiB
End job on node144 at 2012-05-28 08:02:59