Trace number 4105573

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)145 1800.02 1798.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4105573-1466262336.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.11/0.17	c ... done. Wall clock time 0.057s.
0.11/0.17	c declared #vars     198
0.11/0.17	c #constraints  16
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.11/0.17	c 16 constraints processed.
0.11/0.17	c objective function length is 128 literals
0.85/0.64	c cleaning 2498 clauses out of 5006 with flag 10414/5006
1.25/0.82	c SATISFIABLE
1.25/0.82	c OPTIMIZING...
1.25/0.82	c Got one! Elapsed wall clock time (in seconds):0.715
1.25/0.82	o 385
1.40/0.92	c Got one! Elapsed wall clock time (in seconds):0.81
1.40/0.92	o 384
1.40/0.96	c Got one! Elapsed wall clock time (in seconds):0.85
1.40/0.96	o 352
1.60/1.00	c Got one! Elapsed wall clock time (in seconds):0.892
1.60/1.00	o 350
1.60/1.04	c Got one! Elapsed wall clock time (in seconds):0.927
1.60/1.04	o 348
1.60/1.07	c Got one! Elapsed wall clock time (in seconds):0.961
1.60/1.07	o 316
1.60/1.08	c Got one! Elapsed wall clock time (in seconds):0.975
1.60/1.08	o 312
1.60/1.10	c Got one! Elapsed wall clock time (in seconds):0.992
1.60/1.10	o 274
1.83/1.21	c Got one! Elapsed wall clock time (in seconds):1.1
1.83/1.21	o 273
1.83/1.26	c Got one! Elapsed wall clock time (in seconds):1.155
1.83/1.26	o 271
2.13/1.44	c cleaning 5900 clauses out of 11799 with flag 4702/14297
2.53/1.87	c cleaning 5948 clauses out of 11900 with flag 17638/20298
3.25/2.50	c cleaning 6474 clauses out of 12952 with flag 32965/27298
3.97/3.28	c cleaning 7226 clauses out of 14477 with flag 50405/35297
4.97/4.27	c cleaning 8115 clauses out of 16251 with flag 69824/44297
6.17/5.48	c cleaning 9052 clauses out of 18137 with flag 91892/54298
6.87/6.11	c Got one! Elapsed wall clock time (in seconds):6.001
6.87/6.11	o 270
7.08/6.33	c Got one! Elapsed wall clock time (in seconds):6.223
7.08/6.33	o 268
7.08/6.36	c Got one! Elapsed wall clock time (in seconds):6.252
7.08/6.36	o 266
7.08/6.38	c Got one! Elapsed wall clock time (in seconds):6.269
7.08/6.38	o 265
7.18/6.47	c Got one! Elapsed wall clock time (in seconds):6.361
7.18/6.47	o 263
7.29/6.52	c Got one! Elapsed wall clock time (in seconds):6.413
7.29/6.52	o 262
7.29/6.57	c Got one! Elapsed wall clock time (in seconds):6.464
7.29/6.57	o 255
7.68/6.96	c cleaning 11096 clauses out of 22204 with flag 6213/67417
8.38/7.60	c cleaning 8545 clauses out of 17108 with flag 18949/73417
9.08/8.32	c cleaning 7773 clauses out of 15562 with flag 33683/80416
9.88/9.14	c cleaning 7885 clauses out of 15790 with flag 50860/88417
10.79/10.07	c cleaning 8448 clauses out of 16907 with flag 70515/97419
11.98/11.27	c cleaning 9223 clauses out of 18456 with flag 92165/107416
13.28/12.54	c cleaning 10112 clauses out of 20233 with flag 116254/118416
14.68/13.94	c cleaning 11051 clauses out of 22127 with flag 142916/130422
16.29/15.55	c cleaning 12036 clauses out of 24076 with flag 171878/143422
18.18/17.47	c cleaning 13014 clauses out of 26034 with flag 203051/157416
19.18/18.50	c Got one! Elapsed wall clock time (in seconds):18.387
19.18/18.50	o 254
19.68/18.98	c cleaning 13517 clauses out of 27045 with flag 11044/171441
20.18/19.48	c cleaning 9752 clauses out of 19520 with flag 24740/177433
20.78/20.07	c cleaning 8375 clauses out of 16771 with flag 40365/184436
21.48/20.73	c cleaning 8190 clauses out of 16398 with flag 58070/192438
22.29/21.56	c cleaning 8593 clauses out of 17205 with flag 77829/201435
23.09/22.40	c cleaning 9297 clauses out of 18609 with flag 100259/211432
23.19/22.49	c Got one! Elapsed wall clock time (in seconds):22.382
23.19/22.49	o 252
23.29/22.59	c Got one! Elapsed wall clock time (in seconds):22.484
23.29/22.59	o 250
23.63/22.89	c cleaning 7763 clauses out of 15536 with flag 6849/217656
24.23/23.44	c cleaning 6882 clauses out of 13772 with flag 20430/223655
24.93/24.12	c cleaning 6939 clauses out of 13891 with flag 36082/230656
25.43/24.64	c Got one! Elapsed wall clock time (in seconds):24.534
25.43/24.64	o 248
25.93/25.14	c cleaning 8918 clauses out of 17841 with flag 10521/241545
26.03/25.29	c Got one! Elapsed wall clock time (in seconds):25.184
26.03/25.29	o 247
26.33/25.57	c cleaning 6960 clauses out of 13933 with flag 6720/246555
26.83/26.09	c cleaning 6468 clauses out of 12974 with flag 20698/252556
27.43/26.61	c Got one! Elapsed wall clock time (in seconds):26.499
27.43/26.61	o 245
27.82/27.00	c Got one! Elapsed wall clock time (in seconds):26.892
27.82/27.00	o 242
27.92/27.16	c Got one! Elapsed wall clock time (in seconds):27.048
27.92/27.16	o 235
28.02/27.28	c cleaning 9675 clauses out of 19352 with flag 2120/265402
28.52/27.74	c cleaning 7831 clauses out of 15677 with flag 16158/271402
28.52/27.78	c Got one! Elapsed wall clock time (in seconds):27.674
28.52/27.78	o 234
28.92/28.13	c cleaning 6728 clauses out of 13472 with flag 11202/277028
28.92/28.14	c Got one! Elapsed wall clock time (in seconds):28.032
28.92/28.14	o 232
29.43/28.61	c cleaning 5934 clauses out of 11884 with flag 12217/282168
29.92/29.14	c cleaning 5966 clauses out of 11950 with flag 25688/288168
30.53/29.76	c cleaning 6491 clauses out of 12986 with flag 41016/295170
31.32/30.55	c cleaning 7243 clauses out of 14492 with flag 58907/303167
32.32/31.50	c cleaning 8125 clauses out of 16249 with flag 78884/312167
33.42/32.60	c cleaning 9062 clauses out of 18124 with flag 100581/322167
34.74/33.95	c cleaning 10029 clauses out of 20062 with flag 125431/333167
36.25/35.46	c cleaning 11011 clauses out of 22034 with flag 151715/345168
37.95/37.18	c cleaning 12005 clauses out of 24022 with flag 180347/358167
39.95/39.13	c cleaning 13008 clauses out of 26018 with flag 211556/372168
42.05/41.27	c cleaning 14000 clauses out of 28012 with flag 244307/387170
44.45/43.61	c cleaning 15002 clauses out of 30009 with flag 280236/403167
47.05/46.24	c cleaning 16002 clauses out of 32008 with flag 318058/420168
49.84/49.08	c cleaning 16993 clauses out of 34005 with flag 357916/438167
52.84/52.01	c cleaning 18003 clauses out of 36012 with flag 401085/457167
56.04/55.26	c cleaning 19000 clauses out of 38010 with flag 446725/477168
59.74/58.92	c cleaning 19998 clauses out of 40008 with flag 494390/498166
63.74/62.99	c cleaning 21005 clauses out of 42013 with flag 542806/520169
67.74/66.96	c cleaning 21999 clauses out of 44006 with flag 595674/543167
69.64/68.85	c Got one! Elapsed wall clock time (in seconds):68.745
69.64/68.85	o 231
70.64/69.89	c cleaning 19817 clauses out of 39648 with flag 11075/560808
71.44/70.68	c cleaning 12909 clauses out of 25831 with flag 24403/566808
72.24/71.43	c cleaning 9953 clauses out of 19929 with flag 39968/573815
73.04/72.27	c cleaning 8973 clauses out of 17969 with flag 58014/581808
74.04/73.21	c cleaning 8991 clauses out of 17996 with flag 78604/590808
75.04/74.26	c cleaning 9498 clauses out of 19007 with flag 101187/600810
76.34/75.56	c cleaning 10251 clauses out of 20507 with flag 126067/611808
77.84/77.02	c cleaning 11123 clauses out of 22256 with flag 153329/623808
79.33/78.59	c cleaning 12059 clauses out of 24140 with flag 182866/636815
79.94/79.11	c Got one! Elapsed wall clock time (in seconds):79.004
79.94/79.11	o 229
80.34/79.57	c cleaning 11202 clauses out of 22412 with flag 11701/647146
80.83/80.03	c cleaning 8594 clauses out of 17210 with flag 25639/653146
81.34/80.57	c cleaning 7804 clauses out of 15617 with flag 41829/660147
81.83/81.03	c Got one! Elapsed wall clock time (in seconds):80.923
81.83/81.03	o 228
82.24/81.42	c cleaning 9677 clauses out of 19384 with flag 11737/671718
82.34/81.59	c Got one! Elapsed wall clock time (in seconds):81.48
82.34/81.59	o 227
82.64/81.85	c cleaning 7645 clauses out of 15296 with flag 7354/677307
83.14/82.34	c cleaning 6819 clauses out of 13650 with flag 22372/683306
83.74/82.97	c cleaning 6905 clauses out of 13835 with flag 38333/690310
84.34/83.53	c Got one! Elapsed wall clock time (in seconds):83.423
84.34/83.53	o 226
84.34/83.58	c Got one! Elapsed wall clock time (in seconds):83.474
84.34/83.58	o 224
84.94/84.19	c cleaning 9853 clauses out of 19708 with flag 11621/703088
85.54/84.78	c cleaning 7918 clauses out of 15856 with flag 26332/709089
86.24/85.42	c cleaning 7458 clauses out of 14942 with flag 41389/716093
86.94/86.15	c cleaning 7736 clauses out of 15482 with flag 58944/724091
87.74/87.00	c cleaning 8359 clauses out of 16744 with flag 78704/733089
88.74/87.99	c cleaning 9187 clauses out of 18385 with flag 100641/743089
89.94/89.18	c cleaning 10105 clauses out of 20218 with flag 125325/754109
91.33/90.54	c cleaning 11040 clauses out of 22093 with flag 151978/766089
92.83/92.05	c cleaning 12025 clauses out of 24053 with flag 181020/779089
94.63/93.84	c cleaning 13017 clauses out of 26033 with flag 213631/793094
96.54/95.76	c cleaning 14004 clauses out of 28013 with flag 246559/808091
98.63/97.88	c cleaning 14997 clauses out of 30007 with flag 282704/824089
101.33/100.59	c cleaning 15997 clauses out of 32009 with flag 321472/841088
104.03/103.29	c cleaning 17002 clauses out of 34016 with flag 360836/859092
107.33/106.51	c cleaning 17993 clauses out of 36013 with flag 401652/878091
110.62/109.85	c cleaning 19002 clauses out of 38018 with flag 445141/898089
114.32/113.55	c cleaning 20004 clauses out of 40018 with flag 493330/919091
118.22/117.46	c cleaning 21002 clauses out of 42013 with flag 542950/941090
123.03/122.28	c cleaning 22002 clauses out of 44010 with flag 594424/964089
126.53/125.75	c Got one! Elapsed wall clock time (in seconds):125.642
126.53/125.75	o 222
127.72/126.96	c cleaning 22641 clauses out of 45291 with flag 11325/987372
128.62/127.80	c cleaning 14316 clauses out of 28649 with flag 25163/993371
129.32/128.58	c cleaning 10658 clauses out of 21338 with flag 41282/1000376
130.12/129.36	c cleaning 9321 clauses out of 18674 with flag 59128/1008370
131.02/130.22	c cleaning 9167 clauses out of 18356 with flag 79163/1017373
131.92/131.19	c cleaning 9588 clauses out of 19190 with flag 101111/1027374
133.12/132.36	c cleaning 10298 clauses out of 20597 with flag 125000/1038369
134.62/133.87	c cleaning 11149 clauses out of 22300 with flag 150971/1050370
136.32/135.57	c cleaning 12068 clauses out of 24153 with flag 178754/1063372
138.21/137.40	c cleaning 13039 clauses out of 26084 with flag 209990/1077371
140.31/139.50	c cleaning 14008 clauses out of 28043 with flag 242694/1092369
141.51/140.80	c Got one! Elapsed wall clock time (in seconds):140.69
141.51/140.80	o 221
142.21/141.44	c cleaning 14755 clauses out of 29510 with flag 10588/1107844
142.82/142.03	c cleaning 10366 clauses out of 20757 with flag 23303/1113846
143.41/142.63	c cleaning 8684 clauses out of 17389 with flag 38311/1120844
144.11/143.39	c cleaning 8338 clauses out of 16705 with flag 55449/1128844
144.92/144.15	c cleaning 8680 clauses out of 17367 with flag 74605/1137844
145.92/145.11	c cleaning 9343 clauses out of 18698 with flag 96097/1147855
147.02/146.21	c cleaning 10168 clauses out of 20343 with flag 119914/1158843
148.33/147.57	c cleaning 11088 clauses out of 22175 with flag 146558/1170843
149.82/149.08	c cleaning 12045 clauses out of 24091 with flag 175461/1183847
151.62/150.83	c cleaning 13017 clauses out of 26043 with flag 205879/1197844
153.72/152.99	c cleaning 14008 clauses out of 28025 with flag 238434/1212843
156.22/155.42	c cleaning 15010 clauses out of 30019 with flag 273127/1228845
158.61/157.88	c cleaning 15995 clauses out of 32007 with flag 310372/1245843
161.31/160.55	c cleaning 17004 clauses out of 34012 with flag 349008/1263843
164.41/163.69	c cleaning 18003 clauses out of 36008 with flag 390219/1282843
167.81/167.09	c cleaning 18992 clauses out of 38007 with flag 432723/1302845
171.71/170.93	c cleaning 20011 clauses out of 40021 with flag 477607/1323851
175.61/174.82	c cleaning 21001 clauses out of 42002 with flag 525612/1345843
179.71/178.96	c cleaning 21992 clauses out of 44003 with flag 575490/1368845
184.51/183.77	c cleaning 23003 clauses out of 46012 with flag 627719/1392846
189.70/188.92	c cleaning 24002 clauses out of 48008 with flag 682870/1417845
195.00/194.25	c cleaning 25003 clauses out of 50007 with flag 740185/1443846
201.11/200.39	c cleaning 25993 clauses out of 52001 with flag 797623/1470843
207.50/206.70	c cleaning 27001 clauses out of 54011 with flag 858207/1498846
214.50/213.70	c cleaning 27994 clauses out of 56008 with flag 920708/1527844
221.82/221.07	c cleaning 28999 clauses out of 58013 with flag 986419/1557843
229.92/229.15	c cleaning 30009 clauses out of 60024 with flag 1051840/1588853
237.72/236.97	c cleaning 31002 clauses out of 62005 with flag 1119716/1620843
246.03/245.27	c cleaning 31994 clauses out of 64004 with flag 1191626/1653844
254.23/253.50	c cleaning 33001 clauses out of 66010 with flag 1266033/1687844
262.43/261.69	c cleaning 34003 clauses out of 68012 with flag 1342156/1722847
266.83/266.09	c Got one! Elapsed wall clock time (in seconds):265.982
266.83/266.09	o 220
267.94/267.15	c cleaning 30251 clauses out of 60511 with flag 11056/1749349
268.04/267.22	c Got one! Elapsed wall clock time (in seconds):267.108
268.04/267.22	o 219
268.75/267.93	c cleaning 17998 clauses out of 36010 with flag 11134/1755099
268.75/267.95	c Got one! Elapsed wall clock time (in seconds):267.845
268.75/267.95	o 218
269.35/268.52	c cleaning 11608 clauses out of 23237 with flag 10670/1760324
269.75/268.96	c Got one! Elapsed wall clock time (in seconds):268.854
269.75/268.96	o 217
270.35/269.51	c cleaning 11086 clauses out of 22196 with flag 11076/1770891
270.84/270.07	c cleaning 8547 clauses out of 17109 with flag 24298/1776890
271.35/270.59	c Got one! Elapsed wall clock time (in seconds):270.481
271.35/270.59	o 216
271.65/270.81	c Got one! Elapsed wall clock time (in seconds):270.706
271.65/270.81	o 215
271.95/271.16	c cleaning 10130 clauses out of 20268 with flag 6853/1788596
272.55/271.73	c cleaning 8062 clauses out of 16138 with flag 19874/1794596
272.75/271.93	c Got one! Elapsed wall clock time (in seconds):271.819
272.75/271.93	o 214
272.84/272.04	c Got one! Elapsed wall clock time (in seconds):271.929
272.84/272.04	o 212
273.04/272.24	c cleaning 7193 clauses out of 14392 with flag 4319/1800912
273.55/272.76	c cleaning 6594 clauses out of 13198 with flag 17231/1806911
274.15/273.38	c cleaning 6793 clauses out of 13603 with flag 32017/1813910
274.95/274.11	c cleaning 7394 clauses out of 14809 with flag 49089/1821909
275.75/275.00	c cleaning 8205 clauses out of 16417 with flag 69060/1830911
276.84/276.00	c cleaning 9103 clauses out of 18210 with flag 92569/1840909
277.94/277.18	c cleaning 10047 clauses out of 20110 with flag 117283/1851912
279.34/278.54	c cleaning 11028 clauses out of 22060 with flag 144729/1863909
281.04/280.20	c cleaning 12010 clauses out of 24032 with flag 172506/1876909
283.24/282.47	c cleaning 13009 clauses out of 26022 with flag 203396/1890909
285.24/284.49	c cleaning 14006 clauses out of 28013 with flag 238017/1905909
287.56/286.77	c cleaning 15001 clauses out of 30008 with flag 278290/1921910
290.06/289.23	c cleaning 15999 clauses out of 32009 with flag 321853/1938912
292.76/291.91	c cleaning 17001 clauses out of 34007 with flag 364965/1956909
295.66/294.81	c cleaning 18002 clauses out of 36008 with flag 409458/1975911
298.65/297.84	c cleaning 19002 clauses out of 38005 with flag 454937/1995910
301.95/301.13	c cleaning 20001 clauses out of 40005 with flag 502518/2016912
306.25/305.49	c cleaning 20988 clauses out of 42002 with flag 552215/2038910
310.65/309.81	c cleaning 22002 clauses out of 44017 with flag 604466/2061913
315.35/314.54	c cleaning 23003 clauses out of 46011 with flag 660138/2085909
319.95/319.18	c cleaning 23997 clauses out of 48008 with flag 718540/2110909
325.04/324.24	c cleaning 24997 clauses out of 50011 with flag 778960/2136909
330.44/329.68	c cleaning 25995 clauses out of 52018 with flag 841113/2163913
336.14/335.37	c cleaning 27002 clauses out of 54021 with flag 905471/2191911
342.04/341.29	c cleaning 28005 clauses out of 56026 with flag 969929/2220918
345.93/345.13	c Got one! Elapsed wall clock time (in seconds):345.027
345.93/345.13	o 211
347.13/346.32	c cleaning 26778 clauses out of 53568 with flag 11869/2246465
348.03/347.21	c cleaning 16387 clauses out of 32789 with flag 26067/2252464
348.93/348.15	c cleaning 11688 clauses out of 23402 with flag 41952/2259464
349.43/348.63	c Got one! Elapsed wall clock time (in seconds):348.525
349.43/348.63	o 209
349.54/348.75	c cleaning 8767 clauses out of 17560 with flag 2116/2265310
350.03/349.26	c cleaning 7388 clauses out of 14787 with flag 16331/2271304
350.53/349.74	c Got one! Elapsed wall clock time (in seconds):349.635
350.53/349.74	o 195
351.13/350.39	c cleaning 9247 clauses out of 18502 with flag 12444/2282407
351.74/350.99	c cleaning 7626 clauses out of 15257 with flag 27544/2288409
352.43/351.65	c cleaning 7305 clauses out of 14629 with flag 43703/2295407
353.13/352.36	c cleaning 7655 clauses out of 15327 with flag 61658/2303410
354.04/353.26	c cleaning 8328 clauses out of 16672 with flag 81608/2312410
355.04/354.26	c cleaning 9166 clauses out of 18341 with flag 103735/2322407
356.24/355.41	c cleaning 10089 clauses out of 20178 with flag 129734/2333410
357.53/356.74	c cleaning 11045 clauses out of 22090 with flag 156888/2345411
359.03/358.28	c cleaning 12021 clauses out of 24041 with flag 186725/2358407
359.23/358.46	c Got one! Elapsed wall clock time (in seconds):358.349
359.23/358.46	o 180
359.63/358.83	c cleaning 8500 clauses out of 17021 with flag 6513/2363408
360.23/359.43	c cleaning 7254 clauses out of 14523 with flag 19441/2369410
360.93/360.10	c cleaning 7129 clauses out of 14268 with flag 34928/2376409
361.64/360.86	c cleaning 7568 clauses out of 15141 with flag 52781/2384411
362.52/361.71	c cleaning 8277 clauses out of 16574 with flag 72208/2393412
363.61/362.80	c cleaning 9146 clauses out of 18294 with flag 93603/2403409
364.72/363.98	c cleaning 10073 clauses out of 20152 with flag 117770/2414413
366.22/365.41	c cleaning 11036 clauses out of 22075 with flag 144268/2426409
367.82/367.01	c cleaning 12015 clauses out of 24040 with flag 173366/2439410
368.42/367.65	c Got one! Elapsed wall clock time (in seconds):367.546
368.42/367.65	o 179
369.01/368.28	c cleaning 11890 clauses out of 23782 with flag 11515/2451167
369.61/368.89	c cleaning 8933 clauses out of 17886 with flag 24600/2457161
370.31/369.55	c cleaning 7963 clauses out of 15954 with flag 39732/2464162
371.11/370.30	c cleaning 7988 clauses out of 15991 with flag 57175/2472162
372.01/371.20	c cleaning 8498 clauses out of 17010 with flag 77188/2481169
372.91/372.15	c cleaning 9252 clauses out of 18505 with flag 100006/2491162
374.01/373.25	c cleaning 10122 clauses out of 20252 with flag 124938/2502161
374.12/373.33	c Got one! Elapsed wall clock time (in seconds):373.223
374.12/373.33	o 178
374.42/373.68	c cleaning 7688 clauses out of 15394 with flag 9229/2507425
374.52/373.76	c Got one! Elapsed wall clock time (in seconds):373.652
374.52/373.76	o 176
374.82/374.09	c cleaning 6407 clauses out of 12835 with flag 9514/2512554
375.32/374.56	c cleaning 6206 clauses out of 12427 with flag 23073/2518553
375.92/375.12	c cleaning 6608 clauses out of 13222 with flag 39055/2525554
376.62/375.80	c cleaning 7301 clauses out of 14612 with flag 56925/2533552
377.42/376.61	c cleaning 8156 clauses out of 16313 with flag 77422/2542554
378.42/377.60	c cleaning 9073 clauses out of 18156 with flag 99863/2552553
379.52/378.73	c cleaning 10038 clauses out of 20082 with flag 125899/2563552
380.82/380.00	c cleaning 11025 clauses out of 22049 with flag 152628/2575557
382.42/381.61	c cleaning 12004 clauses out of 24022 with flag 181664/2588555
384.12/383.34	c cleaning 13008 clauses out of 26015 with flag 212777/2602552
385.82/385.10	c cleaning 13996 clauses out of 28007 with flag 247264/2617552
387.93/387.20	c cleaning 14997 clauses out of 30011 with flag 284719/2633552
388.43/387.65	c Got one! Elapsed wall clock time (in seconds):387.541
388.43/387.65	o 174
388.55/387.78	c cleaning 10256 clauses out of 20519 with flag 2100/2639057
389.15/388.32	c cleaning 8124 clauses out of 16259 with flag 16365/2645053
389.75/388.91	c cleaning 7560 clauses out of 15133 with flag 32693/2652051
390.45/389.63	c cleaning 7779 clauses out of 15570 with flag 50451/2660048
390.45/389.63	c Got one! Elapsed wall clock time (in seconds):389.522
390.45/389.63	o 173
390.87/390.02	c cleaning 6424 clauses out of 12857 with flag 12940/2665114
391.27/390.46	c cleaning 6206 clauses out of 12434 with flag 27092/2671115
391.77/390.98	c cleaning 6609 clauses out of 13227 with flag 43515/2678114
392.07/391.26	c Got one! Elapsed wall clock time (in seconds):391.148
392.07/391.26	o 171
392.29/391.43	c cleaning 6278 clauses out of 12565 with flag 4530/2684061
392.69/391.90	c cleaning 6126 clauses out of 12280 with flag 18031/2690054
393.19/392.39	c cleaning 6574 clauses out of 13153 with flag 33866/2697053
393.79/392.95	c cleaning 7287 clauses out of 14579 with flag 52349/2705053
394.49/393.61	c cleaning 8142 clauses out of 16292 with flag 72824/2714053
395.28/394.42	c cleaning 9078 clauses out of 18156 with flag 95682/2724059
396.28/395.41	c cleaning 10031 clauses out of 20073 with flag 120936/2735054
396.58/395.72	c Got one! Elapsed wall clock time (in seconds):395.612
396.58/395.72	o 170
396.68/395.81	c cleaning 7599 clauses out of 15215 with flag 2134/2740227
397.08/396.23	c cleaning 6794 clauses out of 13608 with flag 15555/2746219
397.58/396.71	c cleaning 6902 clauses out of 13813 with flag 30879/2753218
398.09/397.27	c cleaning 7450 clauses out of 14913 with flag 48678/2761220
398.88/398.00	c cleaning 8225 clauses out of 16460 with flag 68628/2770217
399.68/398.84	c cleaning 9116 clauses out of 18237 with flag 90812/2780219
400.68/399.87	c cleaning 10060 clauses out of 20121 with flag 115023/2791219
401.88/401.07	c cleaning 11027 clauses out of 22062 with flag 141898/2803220
403.18/402.37	c cleaning 12013 clauses out of 24033 with flag 171125/2816218
404.69/403.84	c cleaning 13008 clauses out of 26023 with flag 203012/2830221
406.29/405.45	c cleaning 14005 clauses out of 28012 with flag 237714/2845218
407.29/406.47	c Got one! Elapsed wall clock time (in seconds):406.367
407.29/406.47	o 169
407.99/407.11	c cleaning 14580 clauses out of 29180 with flag 12106/2860391
408.58/407.74	c cleaning 10293 clauses out of 20600 with flag 26248/2866391
409.18/408.38	c cleaning 8644 clauses out of 17300 with flag 42563/2873384
409.88/409.08	c cleaning 8324 clauses out of 16661 with flag 61359/2881389
410.68/409.88	c cleaning 8663 clauses out of 17333 with flag 82234/2890385
411.68/410.80	c cleaning 9329 clauses out of 18669 with flag 105471/2900384
412.68/411.88	c cleaning 10168 clauses out of 20341 with flag 130789/2911385
413.88/413.09	c cleaning 11083 clauses out of 22173 with flag 158277/2923385
415.28/414.48	c cleaning 12042 clauses out of 24091 with flag 188350/2936386
416.88/416.00	c cleaning 13018 clauses out of 26049 with flag 220844/2950386
418.58/417.77	c cleaning 14010 clauses out of 28032 with flag 254320/2965387
420.58/419.75	c cleaning 15011 clauses out of 30028 with flag 289303/2981393
422.88/422.07	c cleaning 16002 clauses out of 32009 with flag 328869/2998385
425.59/424.74	c cleaning 17001 clauses out of 34006 with flag 368308/3016384
428.58/427.71	c cleaning 18002 clauses out of 36005 with flag 410249/3035384
431.61/430.80	c cleaning 18999 clauses out of 38003 with flag 456104/3055384
434.81/433.90	c cleaning 19991 clauses out of 40004 with flag 505505/3076384
436.91/436.06	c Got one! Elapsed wall clock time (in seconds):435.951
436.91/436.06	o 168
437.71/436.88	c cleaning 20131 clauses out of 40273 with flag 12033/3096644
438.51/437.62	c cleaning 13063 clauses out of 26146 with flag 25725/3102648
439.21/438.37	c cleaning 10030 clauses out of 20081 with flag 41158/3109646
440.01/439.13	c cleaning 9019 clauses out of 18051 with flag 58876/3117646
440.81/439.97	c cleaning 9003 clauses out of 18031 with flag 79591/3126645
441.80/440.90	c cleaning 9511 clauses out of 19030 with flag 102209/3136647
442.80/441.97	c cleaning 10259 clauses out of 20517 with flag 127274/3147645
444.00/443.17	c cleaning 11115 clauses out of 22258 with flag 154049/3159645
445.50/444.66	c cleaning 12068 clauses out of 24144 with flag 183143/3172646
445.80/444.92	c Got one! Elapsed wall clock time (in seconds):444.809
445.80/444.92	o 167
446.10/445.22	c cleaning 8994 clauses out of 18004 with flag 6673/3178574
446.60/445.75	c cleaning 7498 clauses out of 15012 with flag 20152/3184576
447.20/446.32	c cleaning 7254 clauses out of 14512 with flag 36107/3191574
447.80/446.95	c cleaning 7619 clauses out of 15258 with flag 54573/3199574
448.61/447.72	c cleaning 8318 clauses out of 16639 with flag 75010/3208574
449.50/448.66	c cleaning 9161 clauses out of 18322 with flag 97242/3218575
450.60/449.75	c cleaning 10079 clauses out of 20163 with flag 121881/3229577
451.80/450.96	c cleaning 11044 clauses out of 22089 with flag 149578/3241582
453.20/452.35	c cleaning 12022 clauses out of 24043 with flag 180260/3254580
454.21/453.39	c Got one! Elapsed wall clock time (in seconds):453.286
454.21/453.39	o 165
454.90/454.02	c cleaning 13736 clauses out of 27488 with flag 12802/3270047
455.00/454.19	c Got one! Elapsed wall clock time (in seconds):454.083
455.00/454.19	o 163
455.31/454.48	c cleaning 9530 clauses out of 19066 with flag 7049/3275361
455.90/455.00	c cleaning 7762 clauses out of 15537 with flag 21867/3281362
456.00/455.18	c Got one! Elapsed wall clock time (in seconds):455.075
456.00/455.18	o 162
456.31/455.44	c cleaning 6734 clauses out of 13484 with flag 6862/3287071
456.70/455.90	c cleaning 6369 clauses out of 12753 with flag 20802/3293074
457.30/456.42	c cleaning 6685 clauses out of 13382 with flag 36907/3300072
457.90/457.07	c cleaning 7347 clauses out of 14698 with flag 55356/3308073
458.70/457.87	c cleaning 8173 clauses out of 16349 with flag 75936/3317071
459.61/458.78	c cleaning 9087 clauses out of 18179 with flag 99146/3327074
460.71/459.82	c cleaning 10039 clauses out of 20091 with flag 125150/3338073
461.60/460.72	c Got one! Elapsed wall clock time (in seconds):460.614
461.60/460.72	o 161
462.20/461.31	c cleaning 12158 clauses out of 24332 with flag 12641/3352353
462.70/461.88	c cleaning 9077 clauses out of 18171 with flag 26841/3358350
463.30/462.46	c cleaning 8038 clauses out of 16094 with flag 42791/3365350
464.01/463.15	c cleaning 8023 clauses out of 16058 with flag 60890/3373352
464.11/463.26	c Got one! Elapsed wall clock time (in seconds):463.153
464.11/463.26	o 159
464.41/463.58	c cleaning 6795 clauses out of 13595 with flag 9638/3378912
464.91/464.03	c cleaning 6391 clauses out of 12801 with flag 22806/3384913
465.51/464.61	c cleaning 6704 clauses out of 13411 with flag 38145/3391914
466.11/465.28	c cleaning 7344 clauses out of 14710 with flag 55425/3399917
467.04/466.12	c cleaning 8178 clauses out of 16362 with flag 75175/3408913
467.94/467.05	c cleaning 9083 clauses out of 18183 with flag 96952/3418912
469.04/468.14	c cleaning 10045 clauses out of 20100 with flag 121094/3429912
470.24/469.39	c cleaning 11027 clauses out of 22056 with flag 146709/3441913
471.74/470.90	c cleaning 12007 clauses out of 24030 with flag 174413/3454914
473.64/472.70	c cleaning 13007 clauses out of 26022 with flag 204080/3468913
475.44/474.56	c cleaning 14008 clauses out of 28018 with flag 236517/3483916
477.64/476.73	c cleaning 14999 clauses out of 30007 with flag 271760/3499913
479.94/479.10	c cleaning 16001 clauses out of 32008 with flag 308753/3516913
482.54/481.64	c cleaning 17002 clauses out of 34008 with flag 347770/3534914
485.54/484.60	c cleaning 18001 clauses out of 36010 with flag 388839/3553918
488.84/487.97	c cleaning 18989 clauses out of 38005 with flag 432705/3573914
492.44/491.58	c cleaning 20001 clauses out of 40014 with flag 478159/3594912
496.44/495.58	c cleaning 20995 clauses out of 42013 with flag 524719/3616912
500.74/499.84	c cleaning 22007 clauses out of 44018 with flag 574900/3639912
505.64/504.74	c cleaning 23005 clauses out of 46011 with flag 627054/3663912
510.54/509.68	c cleaning 24000 clauses out of 48010 with flag 681428/3688916
516.04/515.11	c cleaning 24991 clauses out of 50006 with flag 737524/3714912
521.83/520.96	c cleaning 26001 clauses out of 52015 with flag 796540/3741912
524.54/523.67	c Got one! Elapsed wall clock time (in seconds):523.564
524.54/523.67	o 158
525.64/524.77	c cleaning 23247 clauses out of 46505 with flag 11610/3762403
526.60/525.64	c cleaning 14621 clauses out of 29253 with flag 25462/3768398
527.30/526.36	c cleaning 10805 clauses out of 21636 with flag 41378/3775402
527.60/526.65	c Got one! Elapsed wall clock time (in seconds):526.539
527.60/526.65	o 156
527.80/526.84	c cleaning 8202 clauses out of 16413 with flag 4384/3780984
528.30/527.33	c cleaning 7096 clauses out of 14210 with flag 18686/3786983
528.90/527.91	c cleaning 7045 clauses out of 14114 with flag 34696/3793983
528.90/528.00	c Got one! Elapsed wall clock time (in seconds):527.893
528.90/528.00	o 154
529.31/528.32	c cleaning 6295 clauses out of 12601 with flag 8957/3799515
529.71/528.78	c cleaning 6139 clauses out of 12308 with flag 22182/3805517
530.21/529.29	c cleaning 6574 clauses out of 13166 with flag 37547/3812514
530.71/529.74	c Got one! Elapsed wall clock time (in seconds):529.631
530.71/529.74	o 153
531.11/530.16	c cleaning 8644 clauses out of 17304 with flag 11522/3823226
531.51/530.53	c Got one! Elapsed wall clock time (in seconds):530.423
531.51/530.53	o 151
532.01/531.00	c cleaning 9354 clauses out of 18714 with flag 11368/3833280
532.51/531.53	c cleaning 7677 clauses out of 15361 with flag 25292/3839281
533.11/532.11	c cleaning 7339 clauses out of 14689 with flag 41124/3846286
533.71/532.77	c cleaning 7666 clauses out of 15344 with flag 58665/3854280
534.51/533.53	c cleaning 8340 clauses out of 16682 with flag 79383/3863284
535.41/534.42	c cleaning 9167 clauses out of 18340 with flag 102628/3873282
535.81/534.82	c Got one! Elapsed wall clock time (in seconds):534.708
535.81/534.82	o 150
535.93/534.93	c cleaning 7542 clauses out of 15091 with flag 2111/3879200
536.43/535.43	c cleaning 6763 clauses out of 13547 with flag 15787/3885198
536.93/535.99	c cleaning 6884 clauses out of 13786 with flag 31363/3892200
537.63/536.65	c cleaning 7446 clauses out of 14901 with flag 49267/3900199
538.13/537.18	c Got one! Elapsed wall clock time (in seconds):537.068
538.13/537.18	o 148
538.73/537.72	c cleaning 9471 clauses out of 18941 with flag 11297/3911685
539.23/538.26	c cleaning 7733 clauses out of 15473 with flag 24524/3917688
539.73/538.74	c cleaning 7354 clauses out of 14737 with flag 40190/3924685
540.33/539.33	c cleaning 7684 clauses out of 15383 with flag 58235/3932685
540.73/539.79	c Got one! Elapsed wall clock time (in seconds):539.678
540.73/539.79	o 147
541.24/540.29	c cleaning 9493 clauses out of 18999 with flag 11286/3943985
541.83/540.81	c cleaning 7747 clauses out of 15507 with flag 25799/3949986
542.34/541.34	c cleaning 7378 clauses out of 14766 with flag 42478/3956992
543.03/542.05	c cleaning 7674 clauses out of 15383 with flag 61109/3964987
543.83/542.88	c cleaning 8354 clauses out of 16711 with flag 80884/3973989
544.83/543.82	c cleaning 9173 clauses out of 18357 with flag 103286/3983989
545.93/544.94	c cleaning 10088 clauses out of 20180 with flag 128238/3994985
546.13/545.12	c Got one! Elapsed wall clock time (in seconds):545.009
546.13/545.12	o 145
546.43/545.40	c cleaning 7787 clauses out of 15596 with flag 6698/4000489
546.83/545.87	c cleaning 6900 clauses out of 13808 with flag 20385/4006488
547.43/546.44	c cleaning 6950 clauses out of 13911 with flag 36253/4013491
548.13/547.13	c cleaning 7476 clauses out of 14957 with flag 54337/4021487
548.94/547.97	c cleaning 8227 clauses out of 16480 with flag 73698/4030486
549.94/548.96	c cleaning 9122 clauses out of 18253 with flag 95035/4040486
551.14/550.19	c cleaning 10056 clauses out of 20131 with flag 119956/4051486
552.53/551.58	c cleaning 11037 clauses out of 22079 with flag 147043/4063490
554.03/553.06	c cleaning 12002 clauses out of 24039 with flag 176601/4076487
555.76/554.74	c cleaning 13008 clauses out of 26038 with flag 208810/4090488
557.77/556.74	c cleaning 14012 clauses out of 28031 with flag 241459/4105489
560.06/559.03	c cleaning 15000 clauses out of 30016 with flag 276374/4121486
562.46/561.46	c cleaning 16008 clauses out of 32017 with flag 313456/4138487
565.06/564.06	c cleaning 17001 clauses out of 34011 with flag 351868/4156489
568.16/567.16	c cleaning 18007 clauses out of 36014 with flag 392507/4175493
571.66/570.61	c cleaning 18998 clauses out of 38000 with flag 434980/4195486
575.57/574.59	c cleaning 20004 clauses out of 40008 with flag 479952/4216492
579.78/578.77	c cleaning 20998 clauses out of 41999 with flag 527007/4238487
584.47/583.41	c cleaning 21999 clauses out of 44000 with flag 575022/4261486
589.17/588.12	c cleaning 23000 clauses out of 46005 with flag 625437/4285490
593.97/592.96	c cleaning 23999 clauses out of 48001 with flag 679299/4310486
599.67/598.68	c cleaning 24995 clauses out of 50004 with flag 734955/4336488
605.57/604.57	c cleaning 25999 clauses out of 52009 with flag 794363/4363488
612.17/611.16	c cleaning 26997 clauses out of 54010 with flag 853977/4391488
619.14/618.03	c cleaning 28002 clauses out of 56020 with flag 916770/4420495
626.64/625.53	c cleaning 29002 clauses out of 58009 with flag 982493/4450486
635.03/633.92	c cleaning 30002 clauses out of 60012 with flag 1048074/4481491
643.43/642.35	c cleaning 31001 clauses out of 62005 with flag 1116421/4513486
652.63/651.58	c cleaning 31997 clauses out of 64004 with flag 1187812/4546486
661.53/660.50	c cleaning 33002 clauses out of 66011 with flag 1259760/4580490
671.93/670.83	c cleaning 33997 clauses out of 68007 with flag 1336239/4615488
682.53/681.41	c cleaning 35001 clauses out of 70010 with flag 1414272/4651488
693.82/692.78	c cleaning 36003 clauses out of 72018 with flag 1493070/4688497
705.82/704.75	c cleaning 37006 clauses out of 74011 with flag 1573455/4726493
719.22/718.00	c cleaning 37993 clauses out of 75998 with flag 1657160/4765486
732.73/731.56	c cleaning 38998 clauses out of 78009 with flag 1742943/4805490
748.52/747.33	c cleaning 40001 clauses out of 80011 with flag 1831072/4846490
765.51/764.36	c cleaning 41002 clauses out of 82006 with flag 1919849/4888486
782.11/780.98	c cleaning 42000 clauses out of 84005 with flag 2013649/4931487
799.92/798.77	c cleaning 43004 clauses out of 86008 with flag 2104607/4975490
817.30/816.10	c cleaning 44000 clauses out of 88001 with flag 2199874/5020487
835.83/834.54	c cleaning 45000 clauses out of 90001 with flag 2297617/5066487
854.62/853.30	c cleaning 46001 clauses out of 92001 with flag 2398948/5113487
874.23/872.97	c cleaning 47002 clauses out of 94003 with flag 2499396/5161490
894.42/893.11	c cleaning 47995 clauses out of 95999 with flag 2602989/5210488
917.12/915.85	c cleaning 48996 clauses out of 98004 with flag 2712643/5260488
939.92/938.60	c cleaning 49999 clauses out of 100009 with flag 2820478/5311489
960.97/959.55	c cleaning 50998 clauses out of 102007 with flag 2930632/5363486
983.87/982.49	c cleaning 52002 clauses out of 104010 with flag 3045877/5416487
1009.06/1007.61	c cleaning 53002 clauses out of 106020 with flag 3162973/5470499
1036.05/1034.65	c cleaning 54005 clauses out of 108010 with flag 3283438/5525491
1064.95/1063.52	c cleaning 55001 clauses out of 110010 with flag 3409967/5581496
1092.77/1091.30	c cleaning 56000 clauses out of 112001 with flag 3534063/5638488
1123.97/1122.50	c cleaning 56991 clauses out of 113999 with flag 3662790/5696486
1154.56/1153.03	c cleaning 58002 clauses out of 116011 with flag 3790892/5755489
1191.36/1189.86	c cleaning 58992 clauses out of 118006 with flag 3918885/5815486
1228.45/1226.96	c cleaning 60002 clauses out of 120019 with flag 4049872/5876491
1261.76/1260.12	c cleaning 61008 clauses out of 122017 with flag 4181696/5938491
1289.25/1287.66	c cleaning 62000 clauses out of 124008 with flag 4312762/6001490
1313.75/1312.19	c cleaning 63006 clauses out of 126012 with flag 4448374/6065494
1341.05/1339.46	c cleaning 63996 clauses out of 127998 with flag 4587282/6130486
1368.79/1367.03	c cleaning 65002 clauses out of 130005 with flag 4730514/6196489
1397.19/1395.48	c cleaning 65996 clauses out of 132001 with flag 4872558/6263487
1429.18/1427.42	c cleaning 66997 clauses out of 134005 with flag 5027567/6331487
1461.28/1459.58	c cleaning 68001 clauses out of 136007 with flag 5183199/6400486
1495.73/1493.89	c cleaning 68994 clauses out of 138006 with flag 5333103/6470486
1529.23/1527.40	c cleaning 70000 clauses out of 140016 with flag 5483858/6541490
1564.23/1562.39	c cleaning 71002 clauses out of 142016 with flag 5639979/6613490
1604.12/1602.18	c cleaning 72000 clauses out of 144011 with flag 5795238/6686487
1648.00/1646.04	c cleaning 72994 clauses out of 146014 with flag 5953970/6760490
1690.88/1688.91	c cleaning 74002 clauses out of 148017 with flag 6114199/6835487
1735.65/1733.61	c cleaning 74998 clauses out of 150015 with flag 6278389/6911487
1784.23/1782.23	c cleaning 76003 clauses out of 152017 with flag 6445974/6988487
1800.02/1798.00	c starts		: 1177
1800.02/1798.00	c conflicts		: 7026056
1800.02/1798.00	c decisions		: 7944612
1800.02/1798.00	c propagations		: 121371824
1800.02/1798.00	c inspects		: 36410862770
1800.02/1798.00	c shortcuts		: 0
1800.02/1798.00	c learnt literals	: 0
1800.02/1798.00	c learnt binary clauses	: 0
1800.02/1798.00	c learnt ternary clauses	: 0
1800.02/1798.00	c learnt constraints	: 7026056
1800.02/1798.00	c ignored constraints	: 0
1800.02/1798.00	c root simplifications	: 0
1800.02/1798.00	c removed literals (reason simplification)	: 0
1800.02/1798.00	c reason swapping (by a shorter reason)	: 0
1800.02/1798.00	c Calls to reduceDB	: 404
1800.02/1798.00	c Number of update (reduction) of LBD	: 826380
1800.02/1798.00	c Imported unit clauses	: 0
1800.02/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.00	c number of learned constraints concerned by reduction	: 0
1800.02/1798.00	c number of learning phase by resolution	: 0
1800.02/1798.00	c number of learning phase by cutting planes	: 0
1800.02/1798.00	c speed (assignments/second)	: 67510.03262815143
1800.02/1798.00	c non guided choices	2284
1800.02/1798.03	c learnt constraints type 
1800.02/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113584
1800.02/1798.03	s SATISFIABLE
1800.02/1798.03	c Found 71 solution(s)
1800.02/1798.03	v x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 -x132 x133 x134 x135 -x136 x137 -x138 -x139 x140 x141 x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 x158 -x159 x160 x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 x172 x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 x183 x184 x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 x195 x196 -x197 -x198 
1800.02/1798.03	c objective function=145
1800.02/1798.03	c Total wall clock time (in seconds): 1797.925

Verifier Data 

OK	145

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-4105573-1466262336/watcher-4105573-1466262336 -o /tmp/evaluation-result-4105573-1466262336/solver-4105573-1466262336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466258740-12609 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105573-1466262336.opb 

pid=13095
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.17 2.12 2.15 3/194 13098
/proc/meminfo: memFree=31189884/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 28282802 98570240 977 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 24065 977 743 9 0 16771 0
[pid=13098/tid=13099] ppid=13095 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 28282802 98570240 977 33554432000 1073741824 1073778376 140733628935840 140369461550632 213866333568 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.17 2.12 2.15 3/194 13098
/proc/meminfo: memFree=31189884/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 4476 0 1 0 10 1 0 0 20 0 18 0 28282802 9787879424 5598 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2389619 5599 2137 9 0 2380296 0
[pid=13098/tid=13099] ppid=13095 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2432 0 1 0 7 0 0 0 20 0 18 0 28282802 9787879424 5599 33554432000 1073741824 1073778376 140733628935840 140369461554080 213869716749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200326 s]
/proc/loadavg: 2.17 2.12 2.15 3/194 13098
/proc/meminfo: memFree=31189884/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 4959 0 1 0 28 1 0 0 20 0 19 0 28282802 9856040960 6451 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 6451 2237 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2461 0 1 0 17 0 0 0 20 0 19 0 28282802 9856040960 6451 33554432000 1073741824 1073778376 140733628935840 140369461555256 140369401686642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300298 s]
/proc/loadavg: 2.17 2.12 2.15 3/194 13098
/proc/meminfo: memFree=31189884/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 6892 0 1 0 51 1 0 0 20 0 19 0 28282802 9856040960 7586 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 7586 2245 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2462 0 1 0 27 0 0 0 20 0 19 0 28282802 9856040960 7586 33554432000 1073741824 1073778376 140733628935840 140369461555256 140369401721905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700179 s]
/proc/loadavg: 2.17 2.12 2.15 3/194 13098
/proc/meminfo: memFree=31189884/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=1.06 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 11499 0 1 0 104 2 0 0 20 0 19 0 28282802 9856040960 11071 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 11071 2252 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2463 0 1 0 66 1 0 0 20 0 19 0 28282802 9856040960 11071 33554432000 1073741824 1073778376 140733628935840 140369461546688 140369401754901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.17 2.12 2.15 3/213 13117
/proc/meminfo: memFree=31145540/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 12559 0 1 0 222 2 0 0 20 0 19 0 28282802 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 13143 2260 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2467 0 1 0 145 1 0 0 20 0 19 0 28282802 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369461546672 140369401724912 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6754 0 0 0 55 0 0 0 20 0 19 0 28282807 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/13098/task/13114/stat : 13114 (java) S 13095 13098 6358 0 -1 4202560 2067 0 0 0 18 0 0 0 20 0 19 0 28282807 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369279879224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13115] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13115/stat : 13115 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369278827128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13116] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13116/stat : 13116 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369277774536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 13143 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.17 2.12 2.15 3/213 13117
/proc/meminfo: memFree=31136728/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 12666 0 1 0 385 2 0 0 20 0 19 0 28282802 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 15196 2260 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2472 0 1 0 304 1 0 0 20 0 19 0 28282802 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369461555448 140369401748417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6754 0 0 0 55 0 0 0 20 0 19 0 28282807 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13114/stat : 13114 (java) S 13095 13098 6358 0 -1 4202560 2169 0 0 0 21 0 0 0 20 0 19 0 28282807 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369279879224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13115] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13115/stat : 13115 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369278827128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13116] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13116/stat : 13116 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369277774536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 15196 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.16 2.12 2.15 3/213 13117
/proc/meminfo: memFree=31122324/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=7.08 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 12673 0 1 0 705 3 0 0 20 0 19 0 28282802 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 17603 2261 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2478 0 1 0 623 1 0 0 20 0 19 0 28282802 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369461547312 140369401696501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28282803 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6754 0 0 0 55 0 0 0 20 0 19 0 28282807 9856040960 17603 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6

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

[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.10 2.13 2.14 3/213 13160
/proc/meminfo: memFree=30517536/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=1724.26 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 15174 0 1 0 172352 74 0 0 20 0 19 0 28282802 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 127802 2277 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=1716.9 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2551 0 1 0 171658 32 0 0 20 0 19 0 28282802 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369461546672 140369401754933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 174 0 0 0 15 5 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 259 0 0 0 20 6 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 87 0 0 0 14 3 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 212 0 0 0 13 6 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 92 0 0 0 16 3 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 192 0 0 0 16 5 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 211 0 0 0 16 5 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 227 0 0 0 15 6 0 0 20 0 19 0 28282803 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 81 0 0 0 2 0 0 0 20 0 19 0 28282804 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6768 0 0 0 63 0 0 0 20 0 19 0 28282807 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13098/task/13114/stat : 13114 (java) S 13095 13098 6358 0 -1 4202560 2963 0 0 0 32 0 0 0 20 0 19 0 28282807 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369279879224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13115] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13115/stat : 13115 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369278827128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13116] ppid=13095 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13098/task/13116/stat : 13116 (java) S 13095 13098 6358 0 -1 4202560 100 0 0 0 21 22 0 0 20 0 19 0 28282807 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369277774536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 127802 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.26
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 2.14 3/213 13161
/proc/meminfo: memFree=30497904/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=1784.33 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 15202 0 1 0 178356 77 0 0 20 0 19 0 28282802 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 132202 2277 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=1776.67 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2552 0 1 0 177634 33 0 0 20 0 19 0 28282802 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369461546672 140369401755019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 178 0 0 0 17 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 262 0 0 0 21 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 91 0 0 0 16 3 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 214 0 0 0 15 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 94 0 0 0 17 4 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 193 0 0 0 17 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 215 0 0 0 18 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 228 0 0 0 17 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6768 0 0 0 63 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13098/task/13114/stat : 13114 (java) S 13095 13098 6358 0 -1 4202560 2963 0 0 0 32 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369279879224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13115] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13115/stat : 13115 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369278827128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13116] ppid=13095 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/13098/task/13116/stat : 13116 (java) S 13095 13098 6358 0 -1 4202560 104 0 0 0 22 23 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369277774536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.12 2.13 2.13 2/188 13194
/proc/meminfo: memFree=30696536/32872528 swapFree=681964/737152
[pid=13098] ppid=13095 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/13098/stat : 13098 (java) S 13095 13098 6358 0 -1 4202496 15202 0 1 0 179925 77 0 0 20 0 19 0 28282802 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140733628926976 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13098/statm: 2406260 132202 2277 9 0 2396937 0
[pid=13098/tid=13099] ppid=13095 vsize=9625040 CPUtime=1792.32 cores=0,2,4,6
/proc/13098/task/13099/stat : 13099 (java) R 13095 13098 6358 0 -1 4202560 2552 0 1 0 179199 33 0 0 20 0 19 0 28282802 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369461546672 140369401792220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13101] ppid=13095 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13098/task/13101/stat : 13101 (java) S 13095 13098 6358 0 -1 4202560 178 0 0 0 17 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369400285992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13102] ppid=13095 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/13098/task/13102/stat : 13102 (java) S 13095 13098 6358 0 -1 4202560 262 0 0 0 21 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369399233192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13103] ppid=13095 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/13098/task/13103/stat : 13103 (java) S 13095 13098 6358 0 -1 4202560 91 0 0 0 16 3 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369398180904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13104] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13104/stat : 13104 (java) S 13095 13098 6358 0 -1 4202560 214 0 0 0 15 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369301552040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13105] ppid=13095 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13098/task/13105/stat : 13105 (java) S 13095 13098 6358 0 -1 4202560 94 0 0 0 17 4 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369300498728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13106] ppid=13095 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13098/task/13106/stat : 13106 (java) S 13095 13098 6358 0 -1 4202560 193 0 0 0 17 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369299445928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13107] ppid=13095 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/13098/task/13107/stat : 13107 (java) S 13095 13098 6358 0 -1 4202560 215 0 0 0 18 5 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369298393640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13108] ppid=13095 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/13098/task/13108/stat : 13108 (java) S 13095 13098 6358 0 -1 4202560 228 0 0 0 17 6 0 0 20 0 19 0 28282803 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369297340840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13109] ppid=13095 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13098/task/13109/stat : 13109 (java) S 13095 13098 6358 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369285143272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13110] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13110/stat : 13110 (java) S 13095 13098 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369284089336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13111] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13111/stat : 13111 (java) S 13095 13098 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28282804 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369283036936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13112] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13112/stat : 13112 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369281985424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13098/tid=13113] ppid=13095 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13098/task/13113/stat : 13113 (java) S 13095 13098 6358 0 -1 4202560 6768 0 0 0 63 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369280932024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13098/tid=13114] ppid=13095 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13098/task/13114/stat : 13114 (java) S 13095 13098 6358 0 -1 4202560 2963 0 0 0 32 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369279879224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13115] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13115/stat : 13115 (java) S 13095 13098 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369278827128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13098/tid=13116] ppid=13095 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13098/task/13116/stat : 13116 (java) S 13095 13098 6358 0 -1 4202560 104 0 0 0 23 23 0 0 20 0 19 0 28282807 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369277774536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13098/tid=13117] ppid=13095 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13098/task/13117/stat : 13117 (java) S 13095 13098 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28282819 9856040960 132202 33554432000 1073741824 1073778376 140733628935840 140369276720552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 13098 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 13098 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=780151
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=99832
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.04
CPU time (s): 1800.02
CPU user time (s): 1799.25
CPU system time (s): 0.77
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 1.09983
maximum resident set size= 529640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15252
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38611
involuntary context switches= 29081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3911 second user time and 11.4353 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 17:05:36
IDJOB=4105573
IDBENCH=2904
IDSOLVER=2546
FILE ID=node112/4105573-1466262336
RUNJOBID= node112-1466258740-12609
PBS_JOBID= 19918204
Free space on /tmp= 71712 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_8_70_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105573-1466262336/watcher-4105573-1466262336 -o /tmp/evaluation-result-4105573-1466262336/solver-4105573-1466262336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466258740-12609 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105573-1466262336.opb

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=1251301776

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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		: 2666.734
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	: 5321.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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		: 2666.734
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		: 2666.734
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31190248 kB
Buffers:           54428 kB
Cached:           121744 kB
SwapCached:         2028 kB
Active:            85764 kB
Inactive:         117596 kB
Active(anon):      27464 kB
Inactive(anon):     2096 kB
Active(file):      58300 kB
Inactive(file):   115500 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:              1800 kB
Writeback:             0 kB
AnonPages:        769664 kB
Mapped:            15124 kB
Shmem:                 0 kB
Slab:             601988 kB
SReclaimable:      45216 kB
SUnreclaim:       556772 kB
KernelStack:        1568 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 71712 MiB
End job on node112 at 2016-06-18 17:35:34