Trace number 4105589

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 2.3.6 Resolution PB16SAT (TO)44 1800.03 1798.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
MD5SUM7b9886d41278c23acb93039c546a310e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint73
Maximum length of a constraint75
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4975
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4105589-1466262717.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.07/0.17	c ... done. Wall clock time 0.046s.
0.07/0.17	c declared #vars     172
0.07/0.17	c #constraints  14
0.07/0.17	c constraints type 
0.07/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.07/0.17	c 14 constraints processed.
0.07/0.17	c objective function length is 112 literals
0.50/0.34	c SATISFIABLE
0.50/0.34	c OPTIMIZING...
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.217
0.50/0.34	o 508
0.63/0.46	c Got one! Elapsed wall clock time (in seconds):0.332
0.63/0.46	o 507
0.63/0.48	c Got one! Elapsed wall clock time (in seconds):0.352
0.63/0.48	o 340
0.91/0.64	c Got one! Elapsed wall clock time (in seconds):0.515
0.91/0.64	o 136
0.91/0.65	c Got one! Elapsed wall clock time (in seconds):0.524
0.91/0.65	o 135
0.91/0.66	c Got one! Elapsed wall clock time (in seconds):0.537
0.91/0.66	o 133
1.07/0.77	c cleaning 3319 clauses out of 6638 with flag 2529/6638
1.28/0.84	c Got one! Elapsed wall clock time (in seconds):0.718
1.28/0.84	o 129
1.50/0.91	c Got one! Elapsed wall clock time (in seconds):0.782
1.50/0.91	o 127
1.64/1.06	c Got one! Elapsed wall clock time (in seconds):0.933
1.64/1.06	o 125
1.64/1.07	c Got one! Elapsed wall clock time (in seconds):0.946
1.64/1.07	o 123
1.75/1.15	c cleaning 4577 clauses out of 9153 with flag 2290/12472
1.75/1.16	c Got one! Elapsed wall clock time (in seconds):1.031
1.75/1.16	o 121
1.94/1.34	c Got one! Elapsed wall clock time (in seconds):1.21
1.94/1.34	o 120
2.04/1.49	c cleaning 4851 clauses out of 9713 with flag 4491/17609
2.55/1.91	c cleaning 5427 clauses out of 10862 with flag 18742/23609
2.55/1.92	c Got one! Elapsed wall clock time (in seconds):1.796
2.55/1.92	o 119
2.66/2.01	c Got one! Elapsed wall clock time (in seconds):1.883
2.66/2.01	o 118
3.08/2.37	c cleaning 5526 clauses out of 11059 with flag 9221/29233
3.18/2.48	c Got one! Elapsed wall clock time (in seconds):2.359
3.18/2.48	o 117
3.28/2.57	c Got one! Elapsed wall clock time (in seconds):2.445
3.28/2.57	o 115
3.58/2.83	c cleaning 5647 clauses out of 11295 with flag 7707/34995
4.09/3.33	c cleaning 5823 clauses out of 11646 with flag 21533/40993
4.68/3.90	c cleaning 6412 clauses out of 12823 with flag 37424/47993
5.38/4.62	c cleaning 7207 clauses out of 14417 with flag 54780/55999
6.29/5.54	c cleaning 8102 clauses out of 16204 with flag 74932/64993
7.28/6.60	c cleaning 9049 clauses out of 18104 with flag 97122/74995
8.59/7.84	c cleaning 10027 clauses out of 20054 with flag 121010/85994
10.18/9.40	c cleaning 11012 clauses out of 22026 with flag 147392/97993
11.79/11.04	c cleaning 11996 clauses out of 24014 with flag 175466/110993
13.68/12.96	c cleaning 13004 clauses out of 26018 with flag 206004/124993
15.79/15.09	c cleaning 13999 clauses out of 28014 with flag 238706/139993
18.50/17.72	c cleaning 15007 clauses out of 30016 with flag 273510/155994
21.49/20.70	c cleaning 16000 clauses out of 32008 with flag 310439/172993
24.79/24.02	c cleaning 17002 clauses out of 34014 with flag 349617/190999
27.88/27.10	c cleaning 18000 clauses out of 36006 with flag 392334/209993
31.39/30.67	c cleaning 18999 clauses out of 38006 with flag 436651/229993
35.29/34.54	c cleaning 20004 clauses out of 40008 with flag 482981/250994
38.09/37.36	c Got one! Elapsed wall clock time (in seconds):37.232
38.09/37.36	o 114
38.49/37.73	c Got one! Elapsed wall clock time (in seconds):37.604
38.49/37.73	o 113
38.89/38.18	c cleaning 20769 clauses out of 41553 with flag 6410/272543
39.49/38.74	c cleaning 13385 clauses out of 26786 with flag 19296/278545
39.89/39.11	c Got one! Elapsed wall clock time (in seconds):38.981
39.89/39.11	o 112
39.99/39.23	c cleaning 9603 clauses out of 19212 with flag 2149/284356
40.29/39.50	c Got one! Elapsed wall clock time (in seconds):39.379
40.29/39.50	o 110
40.39/39.70	c cleaning 7549 clauses out of 15122 with flag 4571/289869
40.99/40.20	c cleaning 6779 clauses out of 13571 with flag 18328/295867
41.59/40.81	c cleaning 6889 clauses out of 13794 with flag 34343/302869
41.69/40.98	c Got one! Elapsed wall clock time (in seconds):40.857
41.69/40.98	o 108
41.99/41.25	c cleaning 6214 clauses out of 12429 with flag 6467/308393
42.49/41.70	c cleaning 6102 clauses out of 12209 with flag 19003/314387
43.00/42.20	c cleaning 6554 clauses out of 13108 with flag 33546/321388
43.60/42.86	c cleaning 7275 clauses out of 14552 with flag 50481/329386
44.30/43.56	c cleaning 8131 clauses out of 16277 with flag 70414/338386
44.30/43.57	c Got one! Elapsed wall clock time (in seconds):43.443
44.30/43.57	o 106
44.50/43.70	c Got one! Elapsed wall clock time (in seconds):43.574
44.50/43.70	o 105
44.80/44.05	c cleaning 7003 clauses out of 14018 with flag 9037/344258
45.30/44.57	c cleaning 6495 clauses out of 13011 with flag 22463/350254
45.90/45.18	c cleaning 6753 clauses out of 13515 with flag 37867/357253
46.60/45.89	c cleaning 7379 clauses out of 14765 with flag 55235/365256
47.50/46.71	c cleaning 8190 clauses out of 16386 with flag 74428/374256
48.40/47.66	c cleaning 9094 clauses out of 18195 with flag 95861/384255
49.60/48.81	c cleaning 10048 clauses out of 20102 with flag 119559/395256
50.89/50.17	c cleaning 11022 clauses out of 22053 with flag 145843/407255
52.50/51.72	c cleaning 12009 clauses out of 24029 with flag 173681/420253
54.41/53.67	c cleaning 13007 clauses out of 26023 with flag 202906/434256
56.51/55.74	c cleaning 14001 clauses out of 28014 with flag 235272/449254
58.84/58.03	c Got one! Elapsed wall clock time (in seconds):57.909
58.84/58.03	o 103
59.73/58.98	c cleaning 17481 clauses out of 34966 with flag 10590/470207
60.03/59.23	c Got one! Elapsed wall clock time (in seconds):59.102
60.03/59.23	o 102
60.48/59.66	c cleaning 11529 clauses out of 23077 with flag 6672/475799
61.08/60.27	c cleaning 8770 clauses out of 17548 with flag 20018/481799
61.78/60.99	c cleaning 7875 clauses out of 15779 with flag 35637/488800
62.59/61.79	c cleaning 7949 clauses out of 15904 with flag 53190/496800
63.59/62.77	c cleaning 8473 clauses out of 16954 with flag 73010/505799
64.69/63.86	c cleaning 9236 clauses out of 18481 with flag 95458/515799
65.98/65.11	c cleaning 10120 clauses out of 20245 with flag 119414/526799
67.48/66.65	c cleaning 11060 clauses out of 22126 with flag 145587/538800
69.19/68.32	c cleaning 12033 clauses out of 24065 with flag 175406/551799
71.08/70.25	c cleaning 13010 clauses out of 26032 with flag 206658/565799
72.98/72.14	c cleaning 14011 clauses out of 28022 with flag 238620/580799
73.78/72.96	c Got one! Elapsed wall clock time (in seconds):72.838
73.78/72.96	o 101
74.48/73.64	c cleaning 13860 clauses out of 27738 with flag 10784/594526
74.68/73.82	c Got one! Elapsed wall clock time (in seconds):73.697
74.68/73.82	o 100
75.08/74.25	c cleaning 9866 clauses out of 19747 with flag 9392/600395
75.68/74.81	c cleaning 7934 clauses out of 15888 with flag 23532/606402
76.28/75.49	c cleaning 7463 clauses out of 14948 with flag 39319/613396
77.08/76.21	c cleaning 7735 clauses out of 15484 with flag 58732/621395
77.88/77.07	c cleaning 8372 clauses out of 16752 with flag 79097/630398
78.98/78.12	c cleaning 9188 clauses out of 18380 with flag 101902/640398
80.18/79.39	c cleaning 10094 clauses out of 20189 with flag 127071/651395
81.68/80.83	c cleaning 11046 clauses out of 22095 with flag 154576/663395
83.28/82.43	c cleaning 12023 clauses out of 24049 with flag 184240/676395
84.98/84.10	c cleaning 13010 clauses out of 26027 with flag 217100/690396
86.68/85.89	c cleaning 14004 clauses out of 28017 with flag 253516/705396
87.28/86.46	c Got one! Elapsed wall clock time (in seconds):86.337
87.28/86.46	o 98
87.88/87.07	c cleaning 12584 clauses out of 25183 with flag 11390/716566
88.48/87.64	c cleaning 9288 clauses out of 18594 with flag 24734/722561
88.78/87.91	c Got one! Elapsed wall clock time (in seconds):87.784
88.78/87.91	o 94
88.99/88.13	c cleaning 7270 clauses out of 14548 with flag 4572/727803
89.48/88.64	c cleaning 6633 clauses out of 13278 with flag 17899/733803
90.09/89.24	c cleaning 6815 clauses out of 13647 with flag 32833/740805
90.78/89.92	c cleaning 7413 clauses out of 14831 with flag 50668/748804
91.68/90.84	c cleaning 8209 clauses out of 16417 with flag 69347/757803
92.68/91.85	c cleaning 9101 clauses out of 18210 with flag 90089/767805
93.88/93.05	c cleaning 10051 clauses out of 20109 with flag 114179/778805
93.98/93.19	c Got one! Elapsed wall clock time (in seconds):93.064
93.98/93.19	o 93
94.38/93.58	c cleaning 7829 clauses out of 15681 with flag 9170/784428
94.98/94.12	c cleaning 6921 clauses out of 13852 with flag 22408/790428
95.59/94.75	c cleaning 6949 clauses out of 13931 with flag 38077/797428
96.28/95.44	c cleaning 7491 clauses out of 14984 with flag 55524/805430
97.08/96.27	c cleaning 8246 clauses out of 16491 with flag 74906/814428
98.08/97.28	c cleaning 9124 clauses out of 18247 with flag 96275/824430
99.38/98.56	c cleaning 10059 clauses out of 20121 with flag 119698/835428
100.88/100.02	c cleaning 11024 clauses out of 22062 with flag 145484/847428
102.68/101.80	c cleaning 12017 clauses out of 24038 with flag 173604/860428
104.58/103.71	c cleaning 13007 clauses out of 26022 with flag 203660/874429
106.78/105.92	c cleaning 14003 clauses out of 28015 with flag 236327/889429
109.18/108.32	c cleaning 15004 clauses out of 30013 with flag 271521/905430
111.88/111.00	c cleaning 16001 clauses out of 32008 with flag 308278/922429
114.88/114.03	c cleaning 16998 clauses out of 34006 with flag 348421/940428
117.98/117.19	c cleaning 18005 clauses out of 36012 with flag 389278/959432
121.68/120.80	c cleaning 18998 clauses out of 38004 with flag 432229/979429
125.48/124.68	c cleaning 20002 clauses out of 40008 with flag 478987/1000431
129.59/128.78	c cleaning 20996 clauses out of 42003 with flag 526329/1022428
134.48/133.68	c cleaning 22002 clauses out of 44007 with flag 574742/1045428
139.08/138.25	c cleaning 22993 clauses out of 46005 with flag 625842/1069428
143.99/143.19	c cleaning 24007 clauses out of 48015 with flag 679946/1094431
147.19/146.37	c Got one! Elapsed wall clock time (in seconds):146.242
147.19/146.37	o 91
148.59/147.71	c cleaning 23309 clauses out of 46624 with flag 11028/1117047
149.59/148.73	c cleaning 14644 clauses out of 29315 with flag 23914/1123047
150.50/149.68	c cleaning 10828 clauses out of 21668 with flag 38736/1130044
151.59/150.72	c cleaning 9410 clauses out of 18840 with flag 56218/1138044
152.49/151.69	c cleaning 9208 clauses out of 18433 with flag 76158/1147047
153.69/152.90	c cleaning 9608 clauses out of 19222 with flag 97909/1157044
155.00/154.20	c cleaning 10306 clauses out of 20615 with flag 121594/1168045
156.59/155.74	c cleaning 11144 clauses out of 22310 with flag 147255/1180046
158.29/157.45	c cleaning 12078 clauses out of 24167 with flag 175238/1193047
160.19/159.40	c cleaning 13042 clauses out of 26086 with flag 205650/1207044
162.39/161.51	c cleaning 14022 clauses out of 28046 with flag 238396/1222046
164.69/163.83	c cleaning 15013 clauses out of 30025 with flag 273295/1238047
167.29/166.43	c cleaning 16007 clauses out of 32023 with flag 309442/1255058
167.29/166.45	c Got one! Elapsed wall clock time (in seconds):166.327
167.29/166.45	o 90
167.79/166.98	c cleaning 10599 clauses out of 21208 with flag 11840/1260250
167.79/167.00	c Got one! Elapsed wall clock time (in seconds):166.871
167.79/167.00	o 88
168.39/167.53	c cleaning 7903 clauses out of 15825 with flag 10938/1265466
168.69/167.86	c Got one! Elapsed wall clock time (in seconds):167.733
168.69/167.86	o 87
168.89/168.06	c cleaning 6932 clauses out of 13869 with flag 4481/1271413
169.39/168.59	c cleaning 6459 clauses out of 12935 with flag 17998/1277411
169.49/168.62	c Got one! Elapsed wall clock time (in seconds):168.497
169.49/168.62	o 86
169.89/169.03	c cleaning 5953 clauses out of 11934 with flag 11060/1282869
170.40/169.53	c cleaning 5984 clauses out of 11985 with flag 24467/1288873
170.99/170.14	c cleaning 6496 clauses out of 12997 with flag 39794/1295869
171.69/170.87	c cleaning 7250 clauses out of 14502 with flag 57329/1303870
172.60/171.74	c cleaning 8125 clauses out of 16252 with flag 76581/1312870
173.60/172.80	c cleaning 9062 clauses out of 18130 with flag 98374/1322873
174.89/174.06	c cleaning 10034 clauses out of 20067 with flag 121722/1333872
176.39/175.57	c cleaning 11008 clauses out of 22030 with flag 147165/1345869
176.90/176.05	c Got one! Elapsed wall clock time (in seconds):175.926
176.90/176.05	o 84
177.00/176.18	c cleaning 8323 clauses out of 16658 with flag 2124/1351505
177.09/176.22	c Got one! Elapsed wall clock time (in seconds):176.098
177.09/176.22	o 82
177.49/176.69	c cleaning 6907 clauses out of 13835 with flag 10920/1357005
178.10/177.23	c cleaning 6447 clauses out of 12929 with flag 24045/1363006
178.69/177.84	c cleaning 6730 clauses out of 13484 with flag 39774/1370008
179.49/178.64	c cleaning 7363 clauses out of 14752 with flag 57989/1378006
179.69/178.83	c Got one! Elapsed wall clock time (in seconds):178.701
179.69/178.83	o 81
179.90/179.09	c cleaning 6297 clauses out of 12613 with flag 6641/1383230
180.40/179.58	c cleaning 6147 clauses out of 12315 with flag 19639/1389229
181.10/180.20	c cleaning 6580 clauses out of 13169 with flag 34670/1396230
181.80/180.95	c cleaning 7295 clauses out of 14591 with flag 51853/1404232
182.70/181.81	c cleaning 8144 clauses out of 16293 with flag 71224/1413229
183.70/182.86	c cleaning 9074 clauses out of 18152 with flag 92697/1423232
184.90/184.05	c cleaning 10037 clauses out of 20075 with flag 116547/1434229
186.20/185.39	c cleaning 11020 clauses out of 22039 with flag 142530/1446230
187.81/186.96	c cleaning 12001 clauses out of 24020 with flag 170839/1459231
189.61/188.79	c cleaning 13005 clauses out of 26017 with flag 201068/1473229
191.61/190.79	c cleaning 14000 clauses out of 28012 with flag 233287/1488229
193.91/193.02	c cleaning 15000 clauses out of 30012 with flag 267885/1504229
196.51/195.66	c cleaning 16006 clauses out of 32014 with flag 304442/1521231
199.21/198.38	c cleaning 17004 clauses out of 34007 with flag 342893/1539230
202.51/201.67	c cleaning 17997 clauses out of 36002 with flag 383384/1558229
205.90/205.02	c cleaning 18999 clauses out of 38005 with flag 426858/1578229
209.50/208.64	c cleaning 20004 clauses out of 40008 with flag 472121/1599231
213.31/212.46	c cleaning 21001 clauses out of 42002 with flag 518836/1621229
217.80/216.97	c cleaning 21998 clauses out of 44001 with flag 566235/1644229
222.80/221.96	c cleaning 22995 clauses out of 46003 with flag 617299/1668229
227.80/226.93	c cleaning 24002 clauses out of 48011 with flag 670978/1693232
233.21/232.32	c cleaning 25002 clauses out of 50008 with flag 726457/1719231
238.91/238.03	c cleaning 26002 clauses out of 52004 with flag 784952/1746229
245.01/244.16	c cleaning 26996 clauses out of 54003 with flag 846277/1774230
251.41/250.54	c cleaning 27998 clauses out of 56007 with flag 908038/1803230
258.61/257.72	c cleaning 29005 clauses out of 58010 with flag 974145/1833231
265.91/265.02	c cleaning 30004 clauses out of 60009 with flag 1042069/1864235
274.61/273.74	c cleaning 30989 clauses out of 62000 with flag 1111443/1896230
283.51/282.67	c cleaning 32006 clauses out of 64013 with flag 1180743/1929232
291.12/290.23	c cleaning 32996 clauses out of 66008 with flag 1253160/1963233
299.54/298.65	c cleaning 34002 clauses out of 68009 with flag 1330276/1998230
308.74/307.81	c cleaning 34990 clauses out of 70006 with flag 1408577/2034229
319.44/318.57	c cleaning 36004 clauses out of 72018 with flag 1491302/2071231
329.74/328.89	c cleaning 37005 clauses out of 74015 with flag 1576632/2109232
340.85/339.95	c cleaning 38002 clauses out of 76008 with flag 1672977/2148230
352.24/351.34	c cleaning 39002 clauses out of 78006 with flag 1768690/2188230
365.34/364.41	c cleaning 39996 clauses out of 80004 with flag 1861918/2229230
379.24/378.32	c cleaning 41004 clauses out of 82012 with flag 1952821/2271234
392.45/391.53	c cleaning 42001 clauses out of 84004 with flag 2043678/2314230
406.75/405.89	c cleaning 43002 clauses out of 86005 with flag 2137929/2358232
421.25/420.32	c cleaning 43995 clauses out of 88002 with flag 2234043/2403231
437.75/436.86	c cleaning 45002 clauses out of 90005 with flag 2333007/2449229
454.68/453.74	c cleaning 46000 clauses out of 92005 with flag 2433944/2496231
471.68/470.77	c cleaning 46996 clauses out of 94003 with flag 2537317/2544229
472.18/471.22	c Got one! Elapsed wall clock time (in seconds):471.091
472.18/471.22	o 79
472.99/472.06	c cleaning 26199 clauses out of 52410 with flag 6832/2549632
473.99/473.05	c cleaning 16091 clauses out of 32210 with flag 20319/2555631
474.88/473.95	c cleaning 11553 clauses out of 23126 with flag 36786/2562638
474.98/474.01	c Got one! Elapsed wall clock time (in seconds):473.886
474.98/474.01	o 77
475.48/474.53	c cleaning 8682 clauses out of 17381 with flag 11110/2568446
475.98/475.04	c cleaning 7341 clauses out of 14702 with flag 24394/2574449
476.58/475.62	c cleaning 7170 clauses out of 14358 with flag 39767/2581446
477.18/476.26	c cleaning 7594 clauses out of 15191 with flag 57482/2589449
477.98/477.05	c cleaning 8294 clauses out of 16595 with flag 76913/2598447
478.98/478.03	c cleaning 9147 clauses out of 18302 with flag 98546/2608448
480.08/479.18	c cleaning 10079 clauses out of 20161 with flag 122970/2619454
481.48/480.53	c cleaning 11037 clauses out of 22074 with flag 149428/2631446
482.98/482.05	c cleaning 12012 clauses out of 24037 with flag 177274/2644446
484.68/483.75	c cleaning 13009 clauses out of 26026 with flag 208903/2658447
486.68/485.70	c cleaning 14008 clauses out of 28017 with flag 242359/2673447
488.98/488.04	c cleaning 15006 clauses out of 30013 with flag 277855/2689451
491.28/490.39	c cleaning 15993 clauses out of 32002 with flag 316259/2706446
493.89/492.98	c cleaning 17002 clauses out of 34009 with flag 358869/2724446
496.88/495.99	c cleaning 18002 clauses out of 36008 with flag 402570/2743447
496.98/496.10	c Got one! Elapsed wall clock time (in seconds):495.974
496.98/496.10	o 76
497.58/496.67	c cleaning 11552 clauses out of 23122 with flag 8863/2748563
498.29/497.33	c cleaning 8777 clauses out of 17572 with flag 22112/2754565
498.38/497.44	c Got one! Elapsed wall clock time (in seconds):497.316
498.38/497.44	o 75
498.78/497.83	c cleaning 7113 clauses out of 14240 with flag 8948/2760010
499.29/498.32	c cleaning 6552 clauses out of 13127 with flag 22177/2766010
499.88/498.91	c cleaning 6783 clauses out of 13577 with flag 37239/2773012
500.49/499.57	c cleaning 7392 clauses out of 14796 with flag 54538/2781014
501.28/500.38	c cleaning 8198 clauses out of 16400 with flag 73757/2790010
502.28/501.37	c cleaning 9095 clauses out of 18202 with flag 95470/2800010
503.38/502.44	c cleaning 10050 clauses out of 20107 with flag 119851/2811010
504.68/503.73	c cleaning 11030 clauses out of 22060 with flag 145723/2823013
506.08/505.19	c cleaning 12005 clauses out of 24028 with flag 175247/2836011
506.78/505.80	c Got one! Elapsed wall clock time (in seconds):505.678
506.78/505.80	o 73
507.40/506.45	c cleaning 11647 clauses out of 23302 with flag 11720/2847290
508.00/507.03	c cleaning 8826 clauses out of 17654 with flag 25012/2853289
508.70/507.71	c cleaning 7908 clauses out of 15826 with flag 40292/2860287
509.40/508.43	c cleaning 7950 clauses out of 15918 with flag 57757/2868287
510.30/509.31	c cleaning 8480 clauses out of 16968 with flag 77805/2877287
511.30/510.30	c cleaning 9239 clauses out of 18488 with flag 100179/2887287
512.40/511.48	c cleaning 10127 clauses out of 20254 with flag 124279/2898292
513.80/512.82	c cleaning 11057 clauses out of 22123 with flag 150153/2910288
514.10/513.13	c Got one! Elapsed wall clock time (in seconds):513.006
514.10/513.13	o 72
514.30/513.36	c cleaning 8196 clauses out of 16404 with flag 4334/2915626
514.80/513.89	c cleaning 7097 clauses out of 14208 with flag 17032/2921626
515.41/514.49	c cleaning 7052 clauses out of 14119 with flag 32323/2928634
516.11/515.19	c cleaning 7525 clauses out of 15061 with flag 49432/2936628
517.02/516.06	c cleaning 8260 clauses out of 16534 with flag 68358/2945626
518.02/517.07	c cleaning 9137 clauses out of 18281 with flag 91508/2955633
519.22/518.26	c cleaning 10069 clauses out of 20137 with flag 117754/2966626
520.72/519.73	c cleaning 11030 clauses out of 22068 with flag 146959/2978626
522.22/521.24	c cleaning 12020 clauses out of 24039 with flag 175171/2991627
523.92/522.97	c cleaning 13009 clauses out of 26019 with flag 206876/3005627
525.82/524.87	c cleaning 14001 clauses out of 28009 with flag 239508/3020626
527.92/526.96	c cleaning 15001 clauses out of 30011 with flag 277633/3036629
528.02/527.04	c Got one! Elapsed wall clock time (in seconds):526.917
528.02/527.04	o 70
528.41/527.41	c cleaning 10014 clauses out of 20035 with flag 8426/3041654
528.81/527.89	c cleaning 8006 clauses out of 16020 with flag 20827/3047653
529.21/528.29	c Got one! Elapsed wall clock time (in seconds):528.162
529.21/528.29	o 68
529.82/528.82	c cleaning 9501 clauses out of 19008 with flag 11128/3058647
530.32/529.37	c cleaning 7748 clauses out of 15507 with flag 24062/3064647
530.92/529.96	c cleaning 7367 clauses out of 14758 with flag 39297/3071646
531.62/530.65	c cleaning 7693 clauses out of 15394 with flag 56618/3079649
532.52/531.51	c cleaning 8345 clauses out of 16701 with flag 76563/3088649
533.02/532.08	c Got one! Elapsed wall clock time (in seconds):531.95
533.02/532.08	o 67
533.72/532.72	c cleaning 9768 clauses out of 19536 with flag 11736/3099829
534.22/533.28	c cleaning 7875 clauses out of 15764 with flag 25335/3105825
534.92/533.96	c cleaning 7441 clauses out of 14893 with flag 40776/3112829
535.73/534.71	c cleaning 7720 clauses out of 15446 with flag 58520/3120823
536.52/535.52	c cleaning 8364 clauses out of 16728 with flag 79022/3129825
537.42/536.45	c cleaning 9182 clauses out of 18364 with flag 101075/3139825
538.52/537.54	c cleaning 10089 clauses out of 20186 with flag 125312/3150829
539.72/538.78	c cleaning 11038 clauses out of 22091 with flag 151176/3162823
541.32/540.31	c cleaning 12021 clauses out of 24053 with flag 180557/3175823
542.92/541.99	c cleaning 13014 clauses out of 26033 with flag 211575/3189824
544.92/543.90	c cleaning 14009 clauses out of 28019 with flag 244366/3204824
547.12/546.14	c cleaning 15004 clauses out of 30009 with flag 279718/3220823
549.52/548.53	c cleaning 16002 clauses out of 32005 with flag 316406/3237823
552.23/551.24	c cleaning 17000 clauses out of 34003 with flag 356190/3255823
554.92/554.00	c cleaning 17999 clauses out of 36004 with flag 398206/3274824
557.92/556.99	c cleaning 19003 clauses out of 38007 with flag 442417/3294826
561.32/560.36	c cleaning 20000 clauses out of 40003 with flag 488511/3315825
565.02/564.01	c cleaning 20997 clauses out of 42005 with flag 536279/3337827
568.92/567.99	c cleaning 22003 clauses out of 44005 with flag 586238/3360824
573.13/572.13	c cleaning 23000 clauses out of 46004 with flag 639165/3384826
577.92/576.98	c cleaning 23986 clauses out of 48001 with flag 694176/3409823
582.76/581.79	c cleaning 25008 clauses out of 50016 with flag 752508/3435824
587.86/586.89	c cleaning 26006 clauses out of 52012 with flag 812817/3462828
593.36/592.34	c cleaning 27002 clauses out of 54004 with flag 874615/3490826
598.56/597.56	c cleaning 27992 clauses out of 56001 with flag 939400/3519825
604.66/603.63	c cleaning 29007 clauses out of 58014 with flag 1005845/3549830
610.86/609.80	c cleaning 29997 clauses out of 60004 with flag 1076484/3580827
617.75/616.77	c cleaning 30998 clauses out of 62003 with flag 1147955/3612823
624.66/623.68	c cleaning 32001 clauses out of 64005 with flag 1220773/3645823
632.25/631.22	c cleaning 33001 clauses out of 66004 with flag 1297287/3679823
640.16/639.14	c cleaning 33999 clauses out of 68004 with flag 1375062/3714824
647.87/646.90	c cleaning 34996 clauses out of 70004 with flag 1454374/3750823
656.96/655.94	c cleaning 36001 clauses out of 72008 with flag 1536478/3787823
666.86/665.83	c cleaning 37000 clauses out of 74007 with flag 1619409/3825823
676.36/675.39	c cleaning 37993 clauses out of 76007 with flag 1705596/3864823
687.57/686.55	c cleaning 38995 clauses out of 78016 with flag 1794143/3904825
699.51/698.43	c cleaning 40006 clauses out of 80019 with flag 1886464/3945823
711.72/710.63	c cleaning 41005 clauses out of 82013 with flag 1979166/3987823
724.42/723.33	c cleaning 41998 clauses out of 84009 with flag 2075648/4030824
725.92/724.80	c Got one! Elapsed wall clock time (in seconds):724.677
725.92/724.80	o 66
727.32/726.28	c cleaning 27401 clauses out of 54816 with flag 11377/4043629
728.32/727.27	c cleaning 16696 clauses out of 33412 with flag 24603/4049626
729.22/728.16	c cleaning 11853 clauses out of 23719 with flag 39990/4056629
730.12/729.01	c cleaning 9917 clauses out of 19866 with flag 58134/4064629
731.01/729.92	c cleaning 9466 clauses out of 18946 with flag 79079/4073626
732.01/730.95	c cleaning 9733 clauses out of 19480 with flag 101448/4083626
733.11/732.07	c cleaning 10369 clauses out of 20747 with flag 125987/4094626
734.51/733.44	c cleaning 11186 clauses out of 22378 with flag 153218/4106626
734.61/733.58	c Got one! Elapsed wall clock time (in seconds):733.456
734.61/733.58	o 65
735.11/734.01	c cleaning 8338 clauses out of 16698 with flag 8833/4112132
735.61/734.52	c cleaning 7174 clauses out of 14354 with flag 22304/4118126
736.21/735.11	c cleaning 7087 clauses out of 14180 with flag 37605/4125126
736.81/735.77	c cleaning 7543 clauses out of 15095 with flag 55317/4133128
737.61/736.56	c cleaning 8274 clauses out of 16553 with flag 75053/4142129
738.61/737.50	c cleaning 9140 clauses out of 18282 with flag 96227/4152132
739.71/738.69	c cleaning 10067 clauses out of 20136 with flag 120474/4163126
741.11/740.00	c cleaning 11028 clauses out of 22069 with flag 146421/4175126
742.62/741.54	c cleaning 12021 clauses out of 24042 with flag 175060/4188127
744.11/743.09	c cleaning 13009 clauses out of 26021 with flag 205108/4202127
746.11/745.04	c cleaning 14003 clauses out of 28012 with flag 236674/4217127
748.21/747.12	c cleaning 15001 clauses out of 30009 with flag 271170/4233127
750.22/749.12	c Got one! Elapsed wall clock time (in seconds):748.996
750.22/749.12	o 60
751.11/750.09	c cleaning 17491 clauses out of 34989 with flag 10710/4253108
751.91/750.83	c cleaning 11739 clauses out of 23498 with flag 23123/4259108
752.61/751.52	c cleaning 9377 clauses out of 18761 with flag 37447/4266110
753.41/752.33	c cleaning 8678 clauses out of 17382 with flag 54526/4274108
754.31/753.28	c cleaning 8848 clauses out of 17704 with flag 73494/4283108
755.41/754.34	c cleaning 9425 clauses out of 18858 with flag 94096/4293110
756.71/755.63	c cleaning 10213 clauses out of 20432 with flag 116947/4304109
758.21/757.19	c cleaning 11105 clauses out of 22218 with flag 142404/4316108
759.91/758.89	c cleaning 12055 clauses out of 24113 with flag 169596/4329108
761.91/760.85	c cleaning 13022 clauses out of 26058 with flag 199312/4343108
764.11/763.02	c cleaning 14017 clauses out of 28037 with flag 231494/4358109
766.65/765.60	c cleaning 15010 clauses out of 30019 with flag 265302/4374108
769.55/768.48	c cleaning 16004 clauses out of 32012 with flag 300997/4391111
772.45/771.32	c cleaning 17002 clauses out of 34009 with flag 339115/4409112
775.65/774.56	c cleaning 18001 clauses out of 36005 with flag 379057/4428110
779.05/777.98	c cleaning 18999 clauses out of 38002 with flag 421245/4448108
782.45/781.39	c cleaning 19994 clauses out of 40003 with flag 464765/4469108
786.45/785.34	c cleaning 21000 clauses out of 42010 with flag 510463/4491109
790.65/789.58	c cleaning 22007 clauses out of 44014 with flag 558921/4514113
795.35/794.25	c cleaning 22998 clauses out of 46003 with flag 609785/4538109
800.65/799.56	c cleaning 24001 clauses out of 48005 with flag 662430/4563109
806.24/805.11	c cleaning 25001 clauses out of 50004 with flag 717583/4589109
811.85/810.79	c cleaning 26002 clauses out of 52004 with flag 774337/4616110
818.45/817.35	c cleaning 27001 clauses out of 54005 with flag 832350/4644113
825.05/823.97	c cleaning 28000 clauses out of 55999 with flag 892485/4673108
832.44/831.36	c cleaning 29000 clauses out of 58000 with flag 955301/4703109
839.94/838.90	c cleaning 30003 clauses out of 60006 with flag 1019666/4734115
848.04/847.00	c cleaning 31001 clauses out of 62001 with flag 1086808/4766113
857.15/856.05	c cleaning 31994 clauses out of 63996 with flag 1155204/4799109
866.25/865.11	c cleaning 32999 clauses out of 66003 with flag 1225655/4833110
875.94/874.75	c cleaning 34001 clauses out of 68004 with flag 1298090/4868110
885.84/884.64	c cleaning 34994 clauses out of 70001 with flag 1373266/4904108
896.44/895.24	c cleaning 36007 clauses out of 72013 with flag 1451217/4941114
907.84/906.69	c cleaning 36998 clauses out of 74001 with flag 1531374/4979109
918.74/917.59	c cleaning 38001 clauses out of 76003 with flag 1613296/5018109
931.25/930.07	c cleaning 39004 clauses out of 78010 with flag 1697594/5058117
945.44/944.26	c cleaning 39995 clauses out of 80000 with flag 1783902/5099111
960.45/959.29	c cleaning 41002 clauses out of 82007 with flag 1872351/5141113
977.25/976.06	c cleaning 41996 clauses out of 84000 with flag 1963274/5184108
994.95/993.77	c cleaning 43001 clauses out of 86007 with flag 2056659/5228111
1010.76/1009.45	c cleaning 44000 clauses out of 88005 with flag 2151515/5273110
1027.36/1026.09	c cleaning 44997 clauses out of 90004 with flag 2248585/5319109
1046.25/1044.99	c cleaning 45996 clauses out of 92006 with flag 2346842/5366108
1065.16/1063.88	c cleaning 47003 clauses out of 94010 with flag 2447311/5414108
1084.86/1083.56	c cleaning 48004 clauses out of 96011 with flag 2552269/5463112
1107.75/1106.40	c cleaning 48997 clauses out of 98005 with flag 2659338/5513110
1130.56/1129.20	c cleaning 49997 clauses out of 100006 with flag 2768349/5564108
1154.06/1152.78	c cleaning 50999 clauses out of 102011 with flag 2878746/5616110
1178.86/1177.54	c cleaning 52000 clauses out of 104013 with flag 2989435/5669111
1202.79/1201.35	c cleaning 53003 clauses out of 106011 with flag 3103055/5723109
1228.38/1226.92	c cleaning 54005 clauses out of 108011 with flag 3223728/5778112
1255.60/1254.15	c cleaning 54990 clauses out of 110005 with flag 3342614/5834111
1283.70/1282.21	c cleaning 56001 clauses out of 112012 with flag 3464400/5891108
1292.10/1290.69	c Got one! Elapsed wall clock time (in seconds):1290.565
1292.10/1290.69	o 59
1294.60/1293.12	c cleaning 41776 clauses out of 83559 with flag 10797/5918656
1296.10/1294.62	c cleaning 23887 clauses out of 47785 with flag 23784/5924658
1297.20/1295.78	c cleaning 15440 clauses out of 30896 with flag 38952/5931656
1297.70/1296.25	c Got one! Elapsed wall clock time (in seconds):1296.122
1297.70/1296.25	o 57
1298.00/1296.54	c cleaning 10534 clauses out of 21081 with flag 4336/5937281
1298.60/1297.18	c cleaning 8264 clauses out of 16547 with flag 17197/5943281
1299.40/1297.92	c cleaning 7635 clauses out of 15284 with flag 32454/5950282
1300.30/1298.80	c cleaning 7815 clauses out of 15649 with flag 49696/5958282
1301.20/1299.77	c cleaning 8411 clauses out of 16834 with flag 68875/5967282
1302.30/1300.89	c cleaning 9205 clauses out of 18420 with flag 90064/5977279
1303.70/1302.28	c cleaning 10102 clauses out of 20216 with flag 113318/5988280
1305.40/1303.91	c cleaning 11054 clauses out of 22116 with flag 138880/6000282
1307.50/1306.06	c cleaning 12030 clauses out of 24063 with flag 166321/6013283
1309.90/1308.40	c cleaning 13016 clauses out of 26032 with flag 196412/6027282
1312.59/1311.03	c cleaning 14006 clauses out of 28014 with flag 228330/6042280
1315.30/1313.74	c cleaning 15003 clauses out of 30009 with flag 262071/6058281
1318.30/1316.78	c cleaning 15996 clauses out of 32005 with flag 298602/6075280
1321.50/1319.96	c cleaning 17004 clauses out of 34008 with flag 337004/6093279
1325.00/1323.43	c cleaning 18003 clauses out of 36009 with flag 377453/6112284
1329.00/1327.49	c cleaning 18999 clauses out of 38004 with flag 420233/6132282
1333.20/1331.68	c cleaning 19999 clauses out of 40002 with flag 464501/6153279
1337.60/1336.06	c cleaning 20999 clauses out of 42003 with flag 510923/6175279
1342.60/1341.00	c cleaning 21999 clauses out of 44004 with flag 559856/6198279
1348.60/1347.05	c cleaning 23003 clauses out of 46006 with flag 610425/6222280
1349.10/1347.58	c Got one! Elapsed wall clock time (in seconds):1347.452
1349.10/1347.58	o 55
1349.50/1347.93	c cleaning 14027 clauses out of 28074 with flag 4357/6227351
1350.20/1348.69	c cleaning 10017 clauses out of 20046 with flag 17560/6233350
1351.00/1349.45	c cleaning 8503 clauses out of 17029 with flag 32921/6240350
1351.91/1350.30	c cleaning 8253 clauses out of 16528 with flag 50425/6248352
1352.91/1351.30	c cleaning 8635 clauses out of 17273 with flag 69714/6257350
1354.01/1352.42	c cleaning 9320 clauses out of 18644 with flag 91268/6267356
1355.31/1353.75	c cleaning 10150 clauses out of 20318 with flag 115048/6278350
1356.81/1355.21	c cleaning 11077 clauses out of 22168 with flag 140885/6290350
1358.50/1356.92	c cleaning 12040 clauses out of 24091 with flag 170218/6303350
1358.91/1357.31	c Got one! Elapsed wall clock time (in seconds):1357.187
1358.91/1357.31	o 54
1359.11/1357.55	c cleaning 8664 clauses out of 17339 with flag 4258/6308638
1359.70/1358.19	c cleaning 7336 clauses out of 14677 with flag 17339/6314640
1360.50/1358.90	c cleaning 7159 clauses out of 14339 with flag 32381/6321638
1361.21/1359.68	c cleaning 7587 clauses out of 15180 with flag 49433/6329638
1362.20/1360.60	c cleaning 8297 clauses out of 16594 with flag 68817/6338639
1363.20/1361.69	c cleaning 9144 clauses out of 18296 with flag 90126/6348638
1364.51/1363.00	c cleaning 10080 clauses out of 20160 with flag 113522/6359646
1366.00/1364.43	c cleaning 11035 clauses out of 22073 with flag 138858/6371639
1367.70/1366.14	c cleaning 12010 clauses out of 24037 with flag 166068/6384638
1369.55/1367.95	c cleaning 13014 clauses out of 26027 with flag 195259/6398638
1371.55/1369.99	c cleaning 14010 clauses out of 28019 with flag 226393/6413644
1374.05/1372.42	c cleaning 15002 clauses out of 30005 with flag 260269/6429640
1376.75/1375.13	c cleaning 15999 clauses out of 32001 with flag 296355/6446638
1379.54/1377.91	c cleaning 16998 clauses out of 34002 with flag 334585/6464638
1382.64/1381.06	c cleaning 18005 clauses out of 36010 with flag 374513/6483644
1386.14/1384.59	c cleaning 18996 clauses out of 38000 with flag 416903/6503639
1390.04/1388.45	c cleaning 20001 clauses out of 40005 with flag 461299/6524640
1394.25/1392.64	c cleaning 20998 clauses out of 42003 with flag 507292/6546639
1398.94/1397.31	c cleaning 21997 clauses out of 44004 with flag 556836/6569638
1403.64/1402.01	c cleaning 23004 clauses out of 46008 with flag 608045/6593639
1408.74/1407.14	c cleaning 23996 clauses out of 48003 with flag 661156/6618638
1414.44/1412.83	c cleaning 25003 clauses out of 50008 with flag 715764/6644639
1420.44/1418.89	c cleaning 26002 clauses out of 52006 with flag 772393/6671640
1427.04/1425.46	c cleaning 27000 clauses out of 54003 with flag 830559/6699639
1433.85/1432.24	c cleaning 27991 clauses out of 56002 with flag 892069/6728638
1440.47/1438.81	c cleaning 29005 clauses out of 58013 with flag 955214/6758640
1448.36/1446.70	c cleaning 30001 clauses out of 60007 with flag 1020746/6789639
1455.97/1454.32	c cleaning 30998 clauses out of 62007 with flag 1090672/6821640
1462.16/1460.59	c Got one! Elapsed wall clock time (in seconds):1460.469
1462.16/1460.59	o 53
1463.96/1462.35	c cleaning 30185 clauses out of 60385 with flag 11158/6851016
1465.06/1463.43	c cleaning 18082 clauses out of 36198 with flag 24130/6857014
1466.06/1464.43	c cleaning 12549 clauses out of 25116 with flag 39240/6864014
1467.06/1465.43	c cleaning 10276 clauses out of 20567 with flag 56660/6872014
1468.07/1466.45	c cleaning 9638 clauses out of 19294 with flag 76046/6881017
1469.26/1467.64	c cleaning 9826 clauses out of 19657 with flag 97851/6891018
1470.66/1469.00	c cleaning 10414 clauses out of 20827 with flag 121494/6902014
1472.16/1470.51	c cleaning 11205 clauses out of 22413 with flag 147331/6914014
1473.86/1472.29	c cleaning 12102 clauses out of 24208 with flag 174825/6927014
1476.06/1474.44	c cleaning 13048 clauses out of 26107 with flag 204173/6941015
1478.26/1476.65	c cleaning 14024 clauses out of 28061 with flag 235085/6956017
1480.86/1479.27	c cleaning 15018 clauses out of 30035 with flag 268534/6972015
1483.76/1482.12	c cleaning 16009 clauses out of 32019 with flag 304476/6989017
1486.86/1485.20	c cleaning 17004 clauses out of 34015 with flag 341904/7007022
1490.06/1488.49	c cleaning 18000 clauses out of 36007 with flag 381084/7026018
1493.76/1492.18	c cleaning 19000 clauses out of 38007 with flag 422609/7046018
1497.96/1496.38	c cleaning 20002 clauses out of 40003 with flag 466101/7067014
1502.47/1500.84	c cleaning 20999 clauses out of 42005 with flag 512129/7089018
1507.17/1505.58	c cleaning 22001 clauses out of 44004 with flag 559365/7112016
1512.17/1510.58	c cleaning 22997 clauses out of 46001 with flag 608955/7136014
1517.48/1515.86	c cleaning 24004 clauses out of 48007 with flag 660259/7161017
1523.17/1521.51	c cleaning 24997 clauses out of 50004 with flag 715365/7187018
1529.07/1527.48	c cleaning 26003 clauses out of 52005 with flag 773090/7214016
1535.67/1534.09	c cleaning 26996 clauses out of 54000 with flag 833245/7242014
1542.37/1540.74	c cleaning 28000 clauses out of 56006 with flag 895876/7271016
1549.39/1547.77	c Got one! Elapsed wall clock time (in seconds):1547.643
1549.39/1547.77	o 52
1551.18/1549.56	c cleaning 30920 clauses out of 61840 with flag 11030/7304850
1552.38/1550.73	c cleaning 18456 clauses out of 36920 with flag 23761/7310850
1553.48/1551.84	c cleaning 12725 clauses out of 25465 with flag 38502/7317851
1554.48/1552.84	c cleaning 10363 clauses out of 20739 with flag 55141/7325850
1555.58/1553.93	c cleaning 9678 clauses out of 19377 with flag 74325/7334851
1556.68/1555.03	c cleaning 9846 clauses out of 19700 with flag 95617/7344852
1557.88/1556.24	c cleaning 10419 clauses out of 20853 with flag 118985/7355851
1559.18/1557.53	c cleaning 11213 clauses out of 22434 with flag 144252/7367851
1560.88/1559.27	c cleaning 12104 clauses out of 24220 with flag 171836/7380850
1562.78/1561.19	c cleaning 13057 clauses out of 26116 with flag 201759/7394850
1564.89/1563.26	c cleaning 14025 clauses out of 28059 with flag 233496/7409850
1567.29/1565.65	c cleaning 15014 clauses out of 30035 with flag 267173/7425851
1570.09/1568.46	c cleaning 16009 clauses out of 32020 with flag 303999/7442850
1573.09/1571.42	c cleaning 17004 clauses out of 34011 with flag 342262/7460850
1576.49/1574.83	c cleaning 17999 clauses out of 36012 with flag 382322/7479855
1580.09/1578.44	c cleaning 19002 clauses out of 38008 with flag 424091/7499850
1583.69/1582.06	c cleaning 19998 clauses out of 40009 with flag 467774/7520853
1587.69/1586.05	c cleaning 21004 clauses out of 42010 with flag 513691/7542852
1592.19/1590.53	c cleaning 22003 clauses out of 44006 with flag 561732/7565852
1597.08/1595.45	c cleaning 22996 clauses out of 46003 with flag 612399/7589852
1602.38/1600.72	c cleaning 24003 clauses out of 48007 with flag 665134/7614852
1608.38/1606.75	c cleaning 25002 clauses out of 50003 with flag 720153/7640851
1614.18/1612.56	c cleaning 25995 clauses out of 52000 with flag 777178/7667850
1620.89/1619.22	c cleaning 27001 clauses out of 54011 with flag 836972/7695856
1628.18/1626.51	c cleaning 28004 clauses out of 56009 with flag 899253/7724855
1635.70/1634.01	c cleaning 29003 clauses out of 58005 with flag 963836/7754855
1640.60/1638.94	c Got one! Elapsed wall clock time (in seconds):1638.815
1640.60/1638.94	o 50
1642.10/1640.45	c cleaning 28327 clauses out of 56668 with flag 11212/7782521
1643.30/1641.65	c cleaning 17166 clauses out of 34342 with flag 24374/7788522
1644.40/1642.71	c cleaning 12080 clauses out of 24176 with flag 39182/7795522
1645.40/1643.73	c cleaning 10037 clauses out of 20100 with flag 56231/7803526
1646.50/1644.87	c cleaning 9519 clauses out of 19059 with flag 75786/7812522
1647.80/1646.11	c cleaning 9767 clauses out of 19538 with flag 97637/7822520
1649.20/1647.51	c cleaning 10380 clauses out of 20771 with flag 121486/7833520
1650.80/1649.15	c cleaning 11193 clauses out of 22391 with flag 148137/7845520
1652.60/1650.99	c cleaning 12100 clauses out of 24199 with flag 176999/7858521
1654.70/1653.03	c cleaning 13046 clauses out of 26098 with flag 208035/7872520
1654.90/1653.27	c Got one! Elapsed wall clock time (in seconds):1653.147
1654.90/1653.27	o 48
1655.42/1653.75	c cleaning 9488 clauses out of 18992 with flag 8336/7878460
1655.92/1654.26	c cleaning 7748 clauses out of 15507 with flag 20521/7884463
1656.52/1654.89	c cleaning 7371 clauses out of 14757 with flag 35197/7891461
1657.33/1655.61	c cleaning 7688 clauses out of 15384 with flag 53081/7899459
1658.12/1656.45	c cleaning 8347 clauses out of 16700 with flag 73329/7908463
1658.82/1657.18	c Got one! Elapsed wall clock time (in seconds):1657.058
1658.82/1657.18	o 46
1659.57/1657.83	c cleaning 10503 clauses out of 21012 with flag 10583/7921122
1660.16/1658.45	c cleaning 8247 clauses out of 16510 with flag 23262/7927123
1660.86/1659.11	c cleaning 7625 clauses out of 15264 with flag 38207/7934124
1661.56/1659.88	c cleaning 7818 clauses out of 15641 with flag 55371/7942126
1662.56/1660.85	c cleaning 8407 clauses out of 16819 with flag 74661/7951122
1663.66/1661.93	c cleaning 9203 clauses out of 18413 with flag 96148/7961123
1664.56/1662.89	c cleaning 10105 clauses out of 20210 with flag 119170/7972123
1665.86/1664.16	c cleaning 11048 clauses out of 22104 with flag 144352/7984122
1667.36/1665.66	c cleaning 12028 clauses out of 24059 with flag 171577/7997125
1669.16/1667.46	c cleaning 13013 clauses out of 26028 with flag 200889/8011122
1671.06/1669.31	c cleaning 14009 clauses out of 28018 with flag 231917/8026125
1673.26/1671.55	c cleaning 15000 clauses out of 30006 with flag 265407/8042122
1675.86/1674.10	c cleaning 15999 clauses out of 32007 with flag 301876/8059123
1678.59/1676.81	c cleaning 16999 clauses out of 34008 with flag 339841/8077123
1681.40/1679.69	c cleaning 18006 clauses out of 36011 with flag 379139/8096125
1684.91/1683.12	c cleaning 18995 clauses out of 38002 with flag 420304/8116122
1688.60/1686.84	c cleaning 20001 clauses out of 40008 with flag 465773/8137123
1692.51/1690.74	c cleaning 20998 clauses out of 42006 with flag 515859/8159122
1693.50/1691.72	c Got one! Elapsed wall clock time (in seconds):1691.592
1693.50/1691.72	o 45
1694.40/1692.60	c cleaning 16344 clauses out of 32703 with flag 10660/8170817
1695.20/1693.45	c cleaning 11173 clauses out of 22357 with flag 23114/8176815
1696.10/1694.30	c cleaning 9084 clauses out of 18190 with flag 37437/8183821
1697.01/1695.22	c cleaning 8536 clauses out of 17101 with flag 54389/8191816
1698.01/1696.24	c cleaning 8775 clauses out of 17564 with flag 73416/8200815
1699.21/1697.43	c cleaning 9395 clauses out of 18791 with flag 94808/8210817
1700.50/1698.73	c cleaning 10195 clauses out of 20394 with flag 117846/8221815
1702.00/1700.20	c cleaning 11095 clauses out of 22200 with flag 142979/8233816
1703.61/1701.88	c cleaning 12052 clauses out of 24110 with flag 170325/8246821
1705.50/1703.79	c cleaning 13026 clauses out of 26057 with flag 200069/8260820
1707.80/1706.04	c cleaning 14014 clauses out of 28028 with flag 231840/8275817
1710.30/1708.57	c cleaning 15007 clauses out of 30014 with flag 268307/8291817
1713.60/1711.84	c cleaning 15999 clauses out of 32005 with flag 306487/8308815
1717.20/1715.48	c cleaning 16998 clauses out of 34006 with flag 345744/8326815
1721.00/1719.28	c cleaning 18000 clauses out of 36008 with flag 388058/8345815
1722.60/1720.83	c Got one! Elapsed wall clock time (in seconds):1720.707
1722.60/1720.83	o 44
1723.50/1721.76	c cleaning 16457 clauses out of 32913 with flag 11198/8360720
1724.40/1722.61	c cleaning 11226 clauses out of 22466 with flag 24276/8366730
1725.20/1723.45	c cleaning 9109 clauses out of 18231 with flag 39458/8373721
1726.00/1724.28	c cleaning 8555 clauses out of 17121 with flag 57136/8381720
1727.11/1725.31	c cleaning 8782 clauses out of 17566 with flag 77551/8390720
1728.11/1726.39	c cleaning 9395 clauses out of 18792 with flag 99712/8400728
1729.51/1727.72	c cleaning 10193 clauses out of 20390 with flag 124166/8411721
1731.01/1729.28	c cleaning 11095 clauses out of 22196 with flag 150503/8423720
1732.81/1731.02	c cleaning 12050 clauses out of 24104 with flag 178526/8436723
1734.81/1733.06	c cleaning 13023 clauses out of 26053 with flag 208566/8450722
1737.10/1735.33	c cleaning 14007 clauses out of 28028 with flag 240579/8465720
1739.60/1737.85	c cleaning 15009 clauses out of 30025 with flag 274393/8481724
1742.50/1740.74	c cleaning 16005 clauses out of 32016 with flag 310770/8498724
1745.50/1743.77	c cleaning 17005 clauses out of 34009 with flag 350232/8516722
1748.71/1746.93	c cleaning 17995 clauses out of 36002 with flag 391998/8535720
1752.01/1750.21	c cleaning 19002 clauses out of 38008 with flag 436401/8555721
1755.81/1754.06	c cleaning 20004 clauses out of 40009 with flag 482653/8576724
1760.40/1758.69	c cleaning 20998 clauses out of 42003 with flag 530048/8598722
1765.41/1763.60	c cleaning 21999 clauses out of 44004 with flag 579008/8621721
1770.72/1768.97	c cleaning 23000 clauses out of 46006 with flag 631010/8645722
1776.42/1774.64	c cleaning 24002 clauses out of 48007 with flag 684801/8670723
1782.52/1780.71	c cleaning 24997 clauses out of 50005 with flag 738386/8696723
1788.53/1786.72	c cleaning 26001 clauses out of 52007 with flag 797728/8723722
1795.13/1793.38	c cleaning 26995 clauses out of 54008 with flag 857847/8751724
1800.03/1798.20	c starts		: 1029
1800.03/1798.20	c conflicts		: 8775431
1800.03/1798.20	c decisions		: 9588399
1800.03/1798.20	c propagations		: 120489991
1800.03/1798.20	c inspects		: 40017853268
1800.03/1798.20	c shortcuts		: 0
1800.03/1798.20	c learnt literals	: 0
1800.03/1798.20	c learnt binary clauses	: 0
1800.03/1798.20	c learnt ternary clauses	: 0
1800.03/1798.20	c learnt constraints	: 8775431
1800.03/1798.20	c ignored constraints	: 0
1800.03/1798.20	c root simplifications	: 0
1800.03/1798.20	c removed literals (reason simplification)	: 0
1800.03/1798.20	c reason swapping (by a shorter reason)	: 0
1800.03/1798.20	c Calls to reduceDB	: 523
1800.03/1798.20	c Number of update (reduction) of LBD	: 923328
1800.03/1798.20	c Imported unit clauses	: 0
1800.03/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.03/1798.20	c number of learned constraints concerned by reduction	: 0
1800.03/1798.20	c number of learning phase by resolution	: 0
1800.03/1798.20	c number of learning phase by cutting planes	: 0
1800.03/1798.20	c speed (assignments/second)	: 67012.29958599087
1800.03/1798.20	c non guided choices	1693
1800.03/1798.23	c learnt constraints type 
1800.03/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50720
1800.03/1798.23	s SATISFIABLE
1800.03/1798.23	c Found 61 solution(s)
1800.03/1798.23	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 
1800.03/1798.23	c objective function=44
1800.03/1798.23	c Total wall clock time (in seconds): 1798.103

Verifier Data 

OK	44

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4105589-1466262717/watcher-4105589-1466262717 -o /tmp/evaluation-result-4105589-1466262717/solver-4105589-1466262717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466259138-27361 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105589-1466262717.opb 

pid=27781
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: 2.28 2.30 2.27 4/194 27784
/proc/meminfo: memFree=29957932/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/27784/stat : 27784 (java) D 27781 27784 22091 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 28317265 2560000 46 33554432000 1073741824 1073778376 140734671719072 140734671716200 239863950631 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/27784/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.28 2.30 2.27 4/194 27784
/proc/meminfo: memFree=29957932/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 3966 0 1 0 6 1 0 0 20 0 18 0 28317265 9787879424 4585 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2389619 4587 2007 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200239 s]
/proc/loadavg: 2.28 2.30 2.27 4/194 27784
/proc/meminfo: memFree=29957932/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 4787 0 1 0 23 1 0 0 20 0 19 0 28317265 9856040960 5848 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 5848 2214 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300206 s]
/proc/loadavg: 2.28 2.30 2.27 4/194 27784
/proc/meminfo: memFree=29957932/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 7597 0 1 0 49 1 0 0 20 0 19 0 28317265 9856040960 8230 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 8230 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.70016 s]
/proc/loadavg: 2.28 2.30 2.27 4/194 27784
/proc/meminfo: memFree=29957932/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 7878 0 1 0 105 2 0 0 20 0 19 0 28317265 9856040960 9356 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 9356 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.28 2.30 2.27 2/190 27838
/proc/meminfo: memFree=30270676/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 14620 0 1 0 212 3 0 0 20 0 19 0 28317265 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 14993 2260 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2476 0 1 0 144 0 0 0 20 0 19 0 28317266 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670524841688 139670465054912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 2667 0 0 0 33 0 0 0 20 0 19 0 28317272 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8205 0 0 0 31 2 0 0 20 0 19 0 28317272 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 14993 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.28 2.30 2.27 3/213 27869
/proc/meminfo: memFree=30234456/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 14731 0 1 0 385 3 0 0 20 0 19 0 28317265 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 16637 2260 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2479 0 1 0 304 0 0 0 20 0 19 0 28317266 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670524833424 139670465006609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 2667 0 0 0 33 0 0 0 20 0 19 0 28317272 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8313 0 0 0 45 2 0 0 20 0 19 0 28317272 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 16637 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.26 2.29 2.27 3/213 27869
/proc/meminfo: memFree=30207232/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=7.08 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 14737 0 1 0 705 3 0 0 20 0 19 0 28317265 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 18161 2261 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2484 0 1 0 623 0 0 0 20 0 19 0 28317266 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670524833424 139670465054323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317268 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 2667 0 0 0 33 0 0 0 20 0 19 0 28317272 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8313 0 0 0 45 2 0 0 20 0 19 0 28317272 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 18161 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 9625040


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

[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 86188 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.06
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.24 3/214 27911
/proc/meminfo: memFree=29731900/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=1724.1 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 16929 0 1 0 172366 44 0 0 20 0 19 0 28317265 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 85705 2277 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=1717.5 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2557 0 1 0 171721 29 0 0 20 0 19 0 28317266 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670524833440 139670465054323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 467 0 0 0 12 3 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 85 0 0 0 8 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 33 0 0 0 6 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 244 0 0 0 12 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 126 0 0 0 11 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 172 0 0 0 9 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 346 0 0 0 9 3 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 133 0 0 0 11 2 0 0 20 0 19 0 28317268 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 68 0 0 0 0 1 0 0 20 0 19 0 28317269 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 3017 0 0 0 41 0 0 0 20 0 19 0 28317272 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8323 0 0 0 52 2 0 0 20 0 19 0 28317272 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 100 0 0 0 19 26 0 0 20 0 19 0 28317272 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 85705 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.1
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.24 3/213 27912
/proc/meminfo: memFree=29735296/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=1784.11 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 16936 0 1 0 178366 45 0 0 20 0 19 0 28317265 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 84807 2277 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=1777.34 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2558 0 1 0 177704 30 0 0 20 0 19 0 28317266 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670524833440 139670465027352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 467 0 0 0 13 3 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 85 0 0 0 8 2 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 33 0 0 0 7 2 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 244 0 0 0 12 2 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 126 0 0 0 11 2 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 172 0 0 0 9 2 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 346 0 0 0 10 3 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 133 0 0 0 11 3 0 0 20 0 19 0 28317268 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 70 0 0 0 0 1 0 0 20 0 19 0 28317269 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 3017 0 0 0 41 0 0 0 20 0 19 0 28317272 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8323 0 0 0 52 2 0 0 20 0 19 0 28317272 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 104 0 0 0 19 27 0 0 20 0 19 0 28317272 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 84807 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.11
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.29 2.25 2.24 4/213 27912
/proc/meminfo: memFree=29738960/32872528 swapFree=1459628/1655852
[pid=27784] ppid=27781 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/27784/stat : 27784 (java) S 27781 27784 22091 0 -1 4202496 16940 0 1 0 179958 45 0 0 20 0 19 0 28317265 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 140735714963824 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27784/statm: 2406260 83924 2277 9 0 2396937 0
[pid=27784/tid=27786] ppid=27781 vsize=9625040 CPUtime=1793.19 cores=0,2,4,6
/proc/27784/task/27786/stat : 27786 (java) R 27781 27784 22091 0 -1 4202560 2559 0 1 0 179289 30 0 0 20 0 19 0 28317266 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670524833440 139670465027088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27787] ppid=27781 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/27784/task/27787/stat : 27787 (java) S 27781 27784 22091 0 -1 4202560 467 0 0 0 13 3 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670463573032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27788] ppid=27781 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27784/task/27788/stat : 27788 (java) S 27781 27784 22091 0 -1 4202560 85 0 0 0 9 2 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670462520232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27789] ppid=27781 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27784/task/27789/stat : 27789 (java) S 27781 27784 22091 0 -1 4202560 33 0 0 0 7 2 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670461467432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27790] ppid=27781 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/27784/task/27790/stat : 27790 (java) S 27781 27784 22091 0 -1 4202560 245 0 0 0 12 2 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670460414632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27784/tid=27791] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27791/stat : 27791 (java) S 27781 27784 22091 0 -1 4202560 126 0 0 0 11 2 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670459361832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27792] ppid=27781 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27784/task/27792/stat : 27792 (java) S 27781 27784 22091 0 -1 4202560 172 0 0 0 9 2 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670362732968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27793] ppid=27781 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27784/task/27793/stat : 27793 (java) S 27781 27784 22091 0 -1 4202560 346 0 0 0 10 3 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670361680168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27794] ppid=27781 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27784/task/27794/stat : 27794 (java) S 27781 27784 22091 0 -1 4202560 133 0 0 0 12 3 0 0 20 0 19 0 28317268 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670360627368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27795] ppid=27781 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/27784/task/27795/stat : 27795 (java) S 27781 27784 22091 0 -1 4202560 72 0 0 0 0 1 0 0 20 0 19 0 28317269 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670348430312 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27796] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27796/stat : 27796 (java) S 27781 27784 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317269 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670347376376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27797] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27797/stat : 27797 (java) S 27781 27784 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317270 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670346323464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27798] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27798/stat : 27798 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670345271952 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27799] ppid=27781 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27784/task/27799/stat : 27799 (java) S 27781 27784 22091 0 -1 4202560 3017 0 0 0 41 0 0 0 20 0 19 0 28317272 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670344219064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27784/tid=27800] ppid=27781 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/27784/task/27800/stat : 27800 (java) S 27781 27784 22091 0 -1 4202560 8323 0 0 0 52 2 0 0 20 0 19 0 28317272 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670343166264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27801] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27801/stat : 27801 (java) S 27781 27784 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317272 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670342113656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27784/tid=27802] ppid=27781 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/27784/task/27802/stat : 27802 (java) S 27781 27784 22091 0 -1 4202560 104 0 0 0 21 27 0 0 20 0 19 0 28317272 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670341061064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27784/tid=27803] ppid=27781 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27784/task/27803/stat : 27803 (java) S 27781 27784 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317283 9856040960 83924 33554432000 1073741824 1073778376 140735714972688 139670340007592 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27784 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27784 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=48111
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=932858
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.24
CPU time (s): 1800.03
CPU user time (s): 1799.58
CPU system time (s): 0.45
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.932858
maximum resident set size= 351072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16987
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38651
involuntary context switches= 5050

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4243 second user time and 11.7112 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 17:11:57
IDJOB=4105589
IDBENCH=2918
IDSOLVER=2546
FILE ID=node136/4105589-1466262717
RUNJOBID= node136-1466259138-27361
PBS_JOBID= 19918192
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105589-1466262717/watcher-4105589-1466262717 -o /tmp/evaluation-result-4105589-1466262717/solver-4105589-1466262717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466259138-27361 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105589-1466262717.opb

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

MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e
RANDOM SEED=433063592

node136.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.67
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		: 2667.278
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29957872 kB
Buffers:           28880 kB
Cached:           114720 kB
SwapCached:        47324 kB
Active:           403476 kB
Inactive:         147280 kB
Active(anon):     362152 kB
Inactive(anon):    47248 kB
Active(file):      41324 kB
Inactive(file):   100032 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054628 kB
Dirty:               860 kB
Writeback:            16 kB
AnonPages:       2020000 kB
Mapped:            16916 kB
Shmem:                 0 kB
Slab:             570032 kB
SReclaimable:      14196 kB
SUnreclaim:       555836 kB
KernelStack:        1760 kB
PageTables:         8300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2466032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    544768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node136 at 2016-06-18 17:41:56