Trace number 3710798

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT8 1648.93 1639.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
MD5SUMe965a77006f54aa5fb414d88d571084c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.018996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables99
Total number of constraints50
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 99
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 99
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
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.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710798-1338152866.opb
0.10/0.11	c reading problem ... 
0.10/0.14	c ... done. Wall clock time 0.027s.
0.10/0.14	c declared #vars     99
0.10/0.14	c #constraints  50
0.10/0.14	c constraints type 
0.10/0.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.10/0.14	c 50 constraints processed.
0.10/0.14	c SATISFIABLE
0.10/0.14	c OPTIMIZING...
0.10/0.14	c Got one! Elapsed wall clock time (in seconds):0.032
0.10/0.14	o 13
0.52/0.37	c cleaning 2494 clauses out of 5000 with flag 5000/5000
0.77/0.49	c cleaning 4251 clauses out of 8506 with flag 11000/11000
1.13/0.60	c cleaning 5624 clauses out of 11255 with flag 18000/18000
1.24/0.74	c cleaning 6808 clauses out of 13632 with flag 26001/26001
1.46/0.91	c cleaning 7905 clauses out of 15823 with flag 35000/35000
1.57/1.01	c Got one! Elapsed wall clock time (in seconds):0.898
1.57/1.01	o 12
1.67/1.11	c cleaning 9446 clauses out of 18896 with flag 5000/45978
1.76/1.23	c cleaning 7714 clauses out of 15450 with flag 11000/51978
1.88/1.36	c cleaning 7351 clauses out of 14736 with flag 18000/58978
1.98/1.49	c cleaning 7687 clauses out of 15385 with flag 26000/66978
2.18/1.67	c cleaning 8345 clauses out of 16698 with flag 35000/75978
2.38/1.86	c cleaning 9170 clauses out of 18354 with flag 45001/85979
2.58/2.05	c cleaning 10080 clauses out of 20183 with flag 56000/96978
2.82/2.27	c cleaning 11038 clauses out of 22105 with flag 68002/108980
3.13/2.54	c cleaning 12029 clauses out of 24070 with flag 81005/121983
3.45/2.82	c cleaning 13014 clauses out of 26036 with flag 95000/135978
3.75/3.13	c cleaning 14006 clauses out of 28024 with flag 110002/150980
4.05/3.48	c cleaning 14999 clauses out of 30016 with flag 126000/166978
4.46/3.87	c cleaning 15999 clauses out of 32019 with flag 143002/183980
4.88/4.29	c cleaning 16997 clauses out of 34018 with flag 161000/201978
5.29/4.69	c cleaning 17999 clauses out of 36021 with flag 180000/220978
5.80/5.13	c cleaning 19002 clauses out of 38022 with flag 200000/240978
6.31/5.64	c cleaning 20006 clauses out of 40022 with flag 221002/261980
6.91/6.20	c cleaning 20997 clauses out of 42014 with flag 243000/283978
7.41/6.78	c cleaning 22001 clauses out of 44017 with flag 266000/306978
8.02/7.39	c cleaning 23002 clauses out of 46019 with flag 290003/330981
8.72/8.00	c cleaning 24006 clauses out of 48021 with flag 315007/355985
9.32/8.68	c cleaning 24991 clauses out of 50008 with flag 341000/381978
10.14/9.46	c cleaning 26008 clauses out of 52019 with flag 368002/408980
10.84/10.18	c cleaning 26999 clauses out of 54009 with flag 396000/436978
11.76/11.01	c cleaning 27989 clauses out of 56010 with flag 425000/465978
12.56/11.80	c cleaning 28996 clauses out of 58022 with flag 455001/495979
13.47/12.72	c cleaning 30000 clauses out of 60025 with flag 486000/526978
13.57/12.81	c Got one! Elapsed wall clock time (in seconds):12.698
13.57/12.81	o 11
13.67/12.90	c cleaning 17599 clauses out of 35210 with flag 2002/532163
13.79/13.04	c cleaning 11796 clauses out of 23609 with flag 8000/538161
13.90/13.17	c cleaning 9394 clauses out of 18813 with flag 15000/545161
14.10/13.32	c cleaning 8695 clauses out of 17419 with flag 23000/553161
14.21/13.48	c cleaning 8847 clauses out of 17725 with flag 32001/562162
14.43/13.66	c cleaning 9426 clauses out of 18877 with flag 42000/572161
14.63/13.86	c cleaning 10215 clauses out of 20452 with flag 53001/583162
14.94/14.10	c cleaning 11107 clauses out of 22236 with flag 65000/595161
15.15/14.36	c cleaning 12054 clauses out of 24130 with flag 78001/608162
15.46/14.63	c cleaning 13024 clauses out of 26075 with flag 92000/622161
15.77/14.94	c cleaning 14018 clauses out of 28051 with flag 107000/637161
16.07/15.27	c cleaning 15005 clauses out of 30033 with flag 123000/653161
16.49/15.65	c cleaning 15999 clauses out of 32029 with flag 140001/670162
16.89/16.05	c cleaning 17003 clauses out of 34029 with flag 158000/688161
17.41/16.50	c cleaning 18000 clauses out of 36027 with flag 177001/707162
17.81/16.96	c cleaning 19006 clauses out of 38026 with flag 197000/727161
18.33/17.46	c cleaning 20001 clauses out of 40021 with flag 218001/748162
18.84/17.92	c cleaning 20987 clauses out of 42021 with flag 240002/770163
19.34/18.45	c cleaning 22011 clauses out of 44034 with flag 263002/793163
19.95/19.08	c cleaning 23000 clauses out of 46021 with flag 287000/817161
20.57/19.69	c cleaning 23995 clauses out of 48021 with flag 312000/842161
21.27/20.36	c cleaning 24998 clauses out of 50027 with flag 338001/868162
22.10/21.11	c cleaning 26012 clauses out of 52028 with flag 365000/895161
22.80/21.87	c cleaning 26997 clauses out of 54018 with flag 393002/923163
23.62/22.63	c cleaning 28004 clauses out of 56019 with flag 422000/952161
24.43/23.42	c cleaning 28993 clauses out of 58015 with flag 452000/982161
25.35/24.32	c cleaning 29992 clauses out of 60024 with flag 483002/1013163
26.26/25.24	c cleaning 31008 clauses out of 62031 with flag 515001/1045162
27.27/26.22	c cleaning 32008 clauses out of 64025 with flag 548003/1078164
28.29/27.28	c cleaning 32988 clauses out of 66015 with flag 582001/1112162
29.30/28.27	c cleaning 33989 clauses out of 68030 with flag 617004/1147165
30.43/29.39	c cleaning 35005 clauses out of 70038 with flag 653001/1183162
31.65/30.59	c cleaning 36002 clauses out of 72032 with flag 690000/1220161
32.97/31.81	c cleaning 37000 clauses out of 74031 with flag 728001/1258162
34.08/33.00	c cleaning 37998 clauses out of 76030 with flag 767000/1297161
35.49/34.36	c cleaning 39005 clauses out of 78033 with flag 807001/1337162
36.89/35.77	c cleaning 39995 clauses out of 80027 with flag 848000/1378161
38.29/37.19	c cleaning 41006 clauses out of 82032 with flag 890000/1420161
39.92/38.73	c cleaning 41998 clauses out of 84026 with flag 933000/1463161
41.52/40.36	c cleaning 42998 clauses out of 86028 with flag 977000/1507161
43.04/41.86	c cleaning 44004 clauses out of 88032 with flag 1022002/1552163
44.54/43.32	c cleaning 44997 clauses out of 90027 with flag 1068001/1598162
46.14/44.93	c cleaning 46001 clauses out of 92029 with flag 1115000/1645161
47.85/46.69	c cleaning 47007 clauses out of 94032 with flag 1163004/1693165
47.96/46.79	c Got one! Elapsed wall clock time (in seconds):46.679
47.96/46.79	o 10
48.16/46.96	c cleaning 26295 clauses out of 52602 with flag 3000/1698742
48.38/47.13	c cleaning 16147 clauses out of 32307 with flag 9000/1704742
48.49/47.27	c cleaning 11569 clauses out of 23160 with flag 16000/1711742
48.72/47.43	c cleaning 9782 clauses out of 19591 with flag 24000/1719742
48.82/47.60	c cleaning 9395 clauses out of 18813 with flag 33004/1728746
49.03/47.78	c cleaning 9694 clauses out of 19418 with flag 43004/1738746
49.24/47.97	c cleaning 10339 clauses out of 20720 with flag 54000/1749742
49.60/48.23	c cleaning 11175 clauses out of 22381 with flag 66000/1761742
49.81/48.49	c cleaning 12081 clauses out of 24206 with flag 79000/1774742
50.10/48.77	c cleaning 13041 clauses out of 26125 with flag 93000/1788742
50.41/49.07	c cleaning 14029 clauses out of 28086 with flag 108002/1803744
50.71/49.40	c cleaning 15023 clauses out of 30056 with flag 124001/1819743
51.12/49.76	c cleaning 16000 clauses out of 32033 with flag 141001/1836743
51.52/50.13	c cleaning 17007 clauses out of 34038 with flag 159006/1854748
51.93/50.54	c cleaning 18004 clauses out of 36028 with flag 178003/1873745
52.42/51.03	c cleaning 18997 clauses out of 38024 with flag 198003/1893745
52.93/51.51	c cleaning 19998 clauses out of 40024 with flag 219000/1914742
53.45/52.00	c cleaning 20995 clauses out of 42028 with flag 241002/1936744
53.85/52.50	c cleaning 21996 clauses out of 44031 with flag 264000/1959742
54.56/53.11	c cleaning 23002 clauses out of 46036 with flag 288001/1983743
55.27/53.83	c cleaning 24003 clauses out of 48033 with flag 313000/2008742
55.88/54.49	c cleaning 25001 clauses out of 50031 with flag 339001/2034743
56.69/55.20	c cleaning 25996 clauses out of 52030 with flag 366001/2061743
57.39/55.95	c cleaning 26992 clauses out of 54033 with flag 394000/2089742
58.21/56.77	c cleaning 28016 clauses out of 56045 with flag 423004/2118746
59.11/57.65	c cleaning 28998 clauses out of 58025 with flag 453000/2148742
59.91/58.49	c cleaning 29990 clauses out of 60027 with flag 484000/2179742
60.93/59.42	c cleaning 31002 clauses out of 62037 with flag 516000/2211742
61.84/60.37	c cleaning 32012 clauses out of 64035 with flag 549000/2244742
62.86/61.34	c cleaning 33001 clauses out of 66023 with flag 583000/2278742
63.86/62.37	c cleaning 33995 clauses out of 68022 with flag 618000/2313742
65.07/63.52	c cleaning 35000 clauses out of 70027 with flag 654000/2349742
66.17/64.68	c cleaning 35996 clauses out of 72028 with flag 691001/2386743
67.29/65.76	c cleaning 36997 clauses out of 74032 with flag 729001/2424743
68.63/67.04	c cleaning 38002 clauses out of 76035 with flag 768001/2463743
69.84/68.21	c cleaning 39005 clauses out of 78032 with flag 808000/2503742
71.14/69.50	c cleaning 39985 clauses out of 80028 with flag 849001/2544743
72.44/70.89	c cleaning 41014 clauses out of 82043 with flag 891001/2586743
73.98/72.36	c cleaning 42005 clauses out of 84034 with flag 934006/2629748
75.49/73.84	c cleaning 43007 clauses out of 86023 with flag 978000/2673742
77.23/75.55	c cleaning 43996 clauses out of 88016 with flag 1023000/2718742
78.85/77.15	c cleaning 44992 clauses out of 90020 with flag 1069000/2764742
80.35/78.64	c cleaning 45999 clauses out of 92029 with flag 1116001/2811743
82.15/80.45	c cleaning 47001 clauses out of 94030 with flag 1164001/2859743
83.86/82.15	c cleaning 47994 clauses out of 96028 with flag 1213000/2908742
85.67/83.92	c cleaning 49005 clauses out of 98035 with flag 1263001/2958743
87.79/86.00	c cleaning 49994 clauses out of 100029 with flag 1314000/3009742
89.93/88.10	c cleaning 51007 clauses out of 102037 with flag 1366002/3061744
91.96/90.12	c cleaning 51998 clauses out of 104028 with flag 1419000/3114742
94.06/92.23	c cleaning 53001 clauses out of 106031 with flag 1473001/3168743
96.16/94.34	c cleaning 54001 clauses out of 108029 with flag 1528000/3223742
98.37/96.56	c cleaning 55008 clauses out of 110034 with flag 1584006/3279748
100.78/99.00	c cleaning 55992 clauses out of 112020 with flag 1641000/3336742
103.29/101.45	c cleaning 57006 clauses out of 114032 with flag 1699004/3394746
105.70/103.87	c cleaning 57996 clauses out of 116022 with flag 1758000/3453742
108.30/106.45	c cleaning 58999 clauses out of 118027 with flag 1818001/3513743
111.02/109.19	c cleaning 60003 clauses out of 120028 with flag 1879001/3574743
113.94/112.04	c cleaning 60995 clauses out of 122024 with flag 1941000/3636742
116.64/114.70	c cleaning 61997 clauses out of 124029 with flag 2004000/3699742
119.45/117.56	c cleaning 62996 clauses out of 126032 with flag 2068000/3763742
122.46/120.55	c cleaning 64005 clauses out of 128036 with flag 2133000/3828742
125.28/123.35	c cleaning 64996 clauses out of 130032 with flag 2199001/3894743
128.31/126.32	c cleaning 66003 clauses out of 132035 with flag 2266000/3961742
131.44/129.40	c cleaning 66997 clauses out of 134032 with flag 2334000/4029742
134.85/132.83	c cleaning 68000 clauses out of 136035 with flag 2403000/4098742
137.96/135.98	c cleaning 69005 clauses out of 138035 with flag 2473000/4168742
141.99/139.91	c cleaning 69995 clauses out of 140030 with flag 2544000/4239742
145.42/143.34	c cleaning 71005 clauses out of 142036 with flag 2616001/4311743
148.93/146.83	c cleaning 72002 clauses out of 144031 with flag 2689001/4384743
152.25/150.18	c cleaning 72995 clauses out of 146030 with flag 2763002/4458744
156.67/154.55	c cleaning 74014 clauses out of 148034 with flag 2838001/4533743
160.69/158.52	c cleaning 74993 clauses out of 150019 with flag 2914000/4609742
164.61/162.46	c cleaning 76005 clauses out of 152026 with flag 2991000/4686742
168.52/166.33	c cleaning 76987 clauses out of 154022 with flag 3069001/4764743
172.44/170.27	c cleaning 78008 clauses out of 156034 with flag 3148000/4843742
176.46/174.29	c cleaning 79002 clauses out of 158028 with flag 3228002/4923744
180.37/178.14	c cleaning 80006 clauses out of 160028 with flag 3309004/5004746
184.68/182.41	c cleaning 80992 clauses out of 162018 with flag 3391000/5086742
189.01/186.75	c cleaning 82008 clauses out of 164030 with flag 3474004/5169746
194.14/191.89	c cleaning 83000 clauses out of 166020 with flag 3558002/5253744
198.65/196.34	c cleaning 83995 clauses out of 168018 with flag 3643000/5338742
203.77/201.46	c cleaning 84999 clauses out of 170026 with flag 3729003/5424745
208.79/206.41	c cleaning 86004 clauses out of 172024 with flag 3816000/5511742
213.41/211.01	c cleaning 86992 clauses out of 174020 with flag 3904000/5599742
218.34/215.95	c cleaning 88003 clauses out of 176028 with flag 3993000/5688742
223.37/220.90	c cleaning 88999 clauses out of 178026 with flag 4083001/5778743
228.08/225.64	c cleaning 89986 clauses out of 180027 with flag 4174001/5869743
232.89/230.43	c cleaning 91003 clauses out of 182040 with flag 4266000/5961742
238.10/235.69	c cleaning 92004 clauses out of 184037 with flag 4359000/6054742
243.50/241.03	c cleaning 93003 clauses out of 186034 with flag 4453001/6148743
248.54/246.05	c cleaning 93999 clauses out of 188030 with flag 4548000/6243742
254.87/252.38	c cleaning 94994 clauses out of 190032 with flag 4644001/6339743
261.09/258.58	c cleaning 96001 clauses out of 192037 with flag 4741000/6436742
266.82/264.25	c cleaning 97001 clauses out of 194036 with flag 4839000/6534742
272.64/270.03	c cleaning 98002 clauses out of 196036 with flag 4938001/6633743
278.97/276.36	c cleaning 99010 clauses out of 198035 with flag 5038002/6733744
286.63/283.96	c cleaning 100001 clauses out of 200023 with flag 5139000/6834742
293.66/290.94	c cleaning 101000 clauses out of 202022 with flag 5241000/6936742
300.78/298.04	c cleaning 102000 clauses out of 204022 with flag 5344000/7039742
307.30/304.55	c cleaning 103007 clauses out of 206024 with flag 5448002/7143744
313.91/311.12	c cleaning 104000 clauses out of 208015 with flag 5553000/7248742
320.93/318.13	c cleaning 104992 clauses out of 210015 with flag 5659000/7354742
327.94/325.16	c cleaning 105994 clauses out of 212023 with flag 5766000/7461742
335.56/332.71	c cleaning 106996 clauses out of 214029 with flag 5874000/7569742
342.69/339.83	c cleaning 108000 clauses out of 216034 with flag 5983001/7678743
350.52/347.66	c cleaning 109001 clauses out of 218033 with flag 6093000/7788742
358.24/355.32	c cleaning 110009 clauses out of 220032 with flag 6204000/7899742
366.97/364.09	c cleaning 110992 clauses out of 222023 with flag 6316000/8011742
374.99/372.01	c cleaning 111991 clauses out of 224031 with flag 6429000/8124742
382.62/379.66	c cleaning 113013 clauses out of 226040 with flag 6543000/8238742
391.35/388.37	c cleaning 114000 clauses out of 228027 with flag 6658000/8353742
399.87/396.84	c cleaning 115000 clauses out of 230030 with flag 6774003/8469745
407.29/404.21	c cleaning 116005 clauses out of 232029 with flag 6891002/8586744
416.00/412.94	c cleaning 116996 clauses out of 234023 with flag 7009001/8704743
425.34/422.27	c cleaning 118001 clauses out of 236028 with flag 7128002/8823744
434.79/431.66	c cleaning 118995 clauses out of 238025 with flag 7248000/8943742
443.22/440.03	c cleaning 119997 clauses out of 240033 with flag 7369003/9064745
453.32/450.10	c cleaning 121001 clauses out of 242033 with flag 7491000/9186742
462.25/459.09	c cleaning 122000 clauses out of 244033 with flag 7614001/9309743
471.37/468.10	c cleaning 123004 clauses out of 246038 with flag 7738006/9433748
481.70/478.42	c cleaning 124003 clauses out of 248030 with flag 7863002/9558744
490.31/487.01	c cleaning 124996 clauses out of 250026 with flag 7989001/9684743
499.13/495.83	c cleaning 126001 clauses out of 252029 with flag 8116000/9811742
508.86/505.54	c cleaning 126998 clauses out of 254028 with flag 8244000/9939742
517.99/514.61	c cleaning 127995 clauses out of 256031 with flag 8373001/10068743
530.30/526.98	c cleaning 128999 clauses out of 258035 with flag 8503000/10198742
542.60/539.27	c cleaning 130007 clauses out of 260040 with flag 8634004/10329746
554.13/550.74	c cleaning 130994 clauses out of 262029 with flag 8766000/10461742
564.95/561.51	c cleaning 131992 clauses out of 264035 with flag 8899000/10594742
576.36/572.94	c cleaning 133012 clauses out of 266043 with flag 9033000/10728742
586.49/583.04	c cleaning 134005 clauses out of 268031 with flag 9168000/10863742
597.70/594.20	c cleaning 134994 clauses out of 270026 with flag 9304000/10999742
608.13/604.68	c cleaning 136003 clauses out of 272033 with flag 9441001/11136743
619.36/615.83	c cleaning 137000 clauses out of 274030 with flag 9579001/11274743
630.61/627.02	c cleaning 137993 clauses out of 276029 with flag 9718000/11413742
642.84/639.26	c cleaning 139009 clauses out of 278038 with flag 9858002/11553744
655.07/651.48	c cleaning 139999 clauses out of 280030 with flag 9999003/11694745
667.30/663.67	c cleaning 140992 clauses out of 282029 with flag 10141001/11836743
680.23/676.59	c cleaning 142009 clauses out of 284037 with flag 10284001/11979743
692.55/688.87	c cleaning 142994 clauses out of 286027 with flag 10428000/12123742
703.67/699.96	c cleaning 143996 clauses out of 288033 with flag 10573000/12268742
714.18/710.43	c Got one! Elapsed wall clock time (in seconds):710.32
714.18/710.43	o 9
717.29/713.50	c cleaning 145670 clauses out of 291365 with flag 5004/12416070
718.32/714.50	c cleaning 75842 clauses out of 151693 with flag 11002/12422068
718.76/714.98	c cleaning 41418 clauses out of 82849 with flag 18000/12429066
719.18/715.30	c cleaning 24705 clauses out of 49431 with flag 26000/12437066
719.38/715.54	c cleaning 16842 clauses out of 33727 with flag 35001/12446067
719.59/715.76	c cleaning 13433 clauses out of 26886 with flag 45002/12456068
719.81/715.99	c cleaning 12209 clauses out of 24451 with flag 56000/12467066
720.11/716.23	c cleaning 12091 clauses out of 24242 with flag 68000/12479066
720.42/716.50	c cleaning 12560 clauses out of 25152 with flag 81001/12492067
720.76/716.80	c cleaning 13281 clauses out of 26592 with flag 95001/12506067
721.07/717.12	c cleaning 14146 clauses out of 28310 with flag 110000/12521066
721.38/717.48	c cleaning 15063 clauses out of 30165 with flag 126001/12537067
721.80/717.84	c cleaning 16035 clauses out of 32104 with flag 143003/12554069
722.22/718.23	c cleaning 17021 clauses out of 34066 with flag 161000/12572066
722.63/718.64	c cleaning 18006 clauses out of 36046 with flag 180001/12591067
723.16/719.11	c cleaning 19016 clauses out of 38039 with flag 200000/12611066
723.67/719.61	c cleaning 19996 clauses out of 40023 with flag 221000/12632066
724.18/720.12	c cleaning 21000 clauses out of 42027 with flag 243000/12654066
724.71/720.67	c cleaning 21991 clauses out of 44028 with flag 266001/12677067
725.31/721.22	c cleaning 23006 clauses out of 46037 with flag 290001/12701067
725.92/721.80	c cleaning 23989 clauses out of 48030 with flag 315000/12726066
726.54/722.45	c cleaning 25006 clauses out of 50042 with flag 341001/12752067
727.29/723.12	c cleaning 25997 clauses out of 52036 with flag 368001/12779067
728.02/723.82	c cleaning 26993 clauses out of 54038 with flag 396000/12807066
728.75/724.54	c cleaning 28002 clauses out of 56045 with flag 425000/12836066
729.47/725.27	c cleaning 29003 clauses out of 58047 with flag 455004/12866070
730.39/726.14	c cleaning 30011 clauses out of 60041 with flag 486001/12897067
731.31/727.07	c cleaning 30993 clauses out of 62029 with flag 518000/12929066
732.31/728.06	c cleaning 32004 clauses out of 64038 with flag 551002/12962068
733.43/729.14	c cleaning 32995 clauses out of 66033 with flag 585001/12996067
734.45/730.17	c cleaning 34012 clauses out of 68039 with flag 620002/13031068
735.49/731.19	c cleaning 34991 clauses out of 70026 with flag 656001/13067067
736.61/732.29	c cleaning 36009 clauses out of 72040 with flag 693006/13104072
737.74/733.37	c cleaning 36994 clauses out of 74025 with flag 731000/13142066
738.84/734.49	c cleaning 37992 clauses out of 76032 with flag 770001/13181067
739.95/735.55	c cleaning 38993 clauses out of 78039 with flag 810000/13221066
741.06/736.67	c cleaning 40000 clauses out of 80046 with flag 851000/13262066
742.27/737.86	c cleaning 41003 clauses out of 82046 with flag 893000/13304066
743.58/739.15	c cleaning 42004 clauses out of 84044 with flag 936001/13347067
744.99/740.52	c cleaning 43002 clauses out of 86039 with flag 980000/13391066
746.29/741.88	c cleaning 44003 clauses out of 88038 with flag 1025001/13436067
748.01/743.57	c cleaning 44998 clauses out of 90035 with flag 1071001/13482067
749.51/745.10	c cleaning 45999 clauses out of 92036 with flag 1118000/13529066
751.33/746.81	c cleaning 47009 clauses out of 94037 with flag 1166000/13577066
752.84/748.38	c cleaning 47992 clauses out of 96028 with flag 1215000/13626066
754.65/750.11	c cleaning 49008 clauses out of 98037 with flag 1265001/13676067
756.35/751.89	c cleaning 50008 clauses out of 100028 with flag 1316000/13727066
758.17/753.68	c cleaning 51002 clauses out of 102020 with flag 1368000/13779066
760.10/755.57	c cleaning 52005 clauses out of 104021 with flag 1421003/13832069
762.00/757.40	c cleaning 52997 clauses out of 106013 with flag 1475000/13886066
763.92/759.34	c cleaning 53998 clauses out of 108016 with flag 1530000/13941066
765.93/761.30	c cleaning 54998 clauses out of 110018 with flag 1586000/13997066
767.86/763.26	c cleaning 56007 clauses out of 112020 with flag 1643000/14054066
770.09/765.42	c cleaning 56990 clauses out of 114013 with flag 1701000/14112066
772.20/767.58	c cleaning 57987 clauses out of 116023 with flag 1760000/14171066
774.51/769.90	c cleaning 59004 clauses out of 118036 with flag 1820000/14231066
776.71/772.07	c cleaning 59995 clauses out of 120034 with flag 1881002/14292068
779.13/774.43	c cleaning 61006 clauses out of 122040 with flag 1943003/14354069
781.53/776.87	c cleaning 62008 clauses out of 124031 with flag 2006000/14417066
784.14/779.42	c cleaning 63005 clauses out of 126023 with flag 2070000/14481066
786.66/781.95	c cleaning 63996 clauses out of 128018 with flag 2135000/14546066
789.18/784.49	c cleaning 65000 clauses out of 130022 with flag 2201000/14612066
792.02/787.22	c cleaning 65993 clauses out of 132023 with flag 2268001/14679067
794.92/790.14	c cleaning 67008 clauses out of 134029 with flag 2336000/14747066
797.95/793.17	c cleaning 67998 clauses out of 136023 with flag 2405002/14816068
800.76/795.92	c cleaning 69004 clauses out of 138023 with flag 2475000/14886066
803.79/798.92	c cleaning 69994 clauses out of 140019 with flag 2546000/14957066
806.59/801.78	c cleaning 70999 clauses out of 142026 with flag 2618001/15029067
809.80/804.97	c cleaning 71999 clauses out of 144026 with flag 2691000/15102066
814.11/809.21	c cleaning 73008 clauses out of 146029 with flag 2765002/15176068
818.04/813.18	c cleaning 73997 clauses out of 148019 with flag 2840000/15251066
821.85/816.92	c cleaning 75001 clauses out of 150023 with flag 2916001/15327067
825.57/820.60	c cleaning 75992 clauses out of 152022 with flag 2993001/15404067
829.48/824.51	c cleaning 76992 clauses out of 154030 with flag 3071001/15482067
833.40/828.44	c cleaning 77997 clauses out of 156037 with flag 3150000/15561066
837.61/832.69	c cleaning 79010 clauses out of 158041 with flag 3230001/15641067
842.03/837.01	c cleaning 80003 clauses out of 160031 with flag 3311001/15722067
846.26/841.28	c cleaning 80999 clauses out of 162029 with flag 3393002/15804068
850.08/845.09	c cleaning 82000 clauses out of 164029 with flag 3476001/15887067
854.48/849.44	c cleaning 83002 clauses out of 166028 with flag 3560000/15971066
858.51/853.48	c cleaning 83999 clauses out of 168027 with flag 3645001/16056067
862.51/857.40	c cleaning 84991 clauses out of 170028 with flag 3731001/16142067
867.33/862.24	c cleaning 86005 clauses out of 172037 with flag 3818001/16229067
871.74/866.62	c cleaning 86999 clauses out of 174031 with flag 3906000/16317066
877.75/872.63	c cleaning 87998 clauses out of 176032 with flag 3995000/16406066
883.07/877.90	c cleaning 88993 clauses out of 178035 with flag 4085001/16496067
888.08/882.99	c cleaning 90001 clauses out of 180043 with flag 4176002/16587068
893.40/888.21	c cleaning 91009 clauses out of 182044 with flag 4268004/16679070
898.12/892.95	c cleaning 92008 clauses out of 184033 with flag 4361002/16772068
904.03/898.81	c cleaning 92999 clauses out of 186024 with flag 4455001/16866067
909.85/904.64	c cleaning 93998 clauses out of 188024 with flag 4550000/16961066
915.18/909.97	c cleaning 94995 clauses out of 190026 with flag 4646000/17057066
920.20/914.90	c cleaning 95999 clauses out of 192031 with flag 4743000/17154066
925.30/920.09	c cleaning 96996 clauses out of 194033 with flag 4841001/17252067
930.43/925.17	c cleaning 97993 clauses out of 196036 with flag 4940000/17351066
936.23/930.98	c cleaning 99007 clauses out of 198044 with flag 5040001/17451067
941.95/936.69	c cleaning 99998 clauses out of 200037 with flag 5141001/17552067
947.65/942.30	c cleaning 101004 clauses out of 202041 with flag 5243003/17654069
953.09/947.70	c cleaning 102001 clauses out of 204034 with flag 5346000/17757066
958.92/953.60	c cleaning 103004 clauses out of 206033 with flag 5450000/17861066
965.12/959.76	c cleaning 104005 clauses out of 208029 with flag 5555000/17966066
967.73/962.34	c Got one! Elapsed wall clock time (in seconds):962.229
967.73/962.34	o 8
968.83/963.50	c cleaning 84800 clauses out of 169623 with flag 5000/18031665
969.45/964.02	c cleaning 45407 clauses out of 90827 with flag 11004/18037669
969.75/964.32	c cleaning 26195 clauses out of 52416 with flag 18000/18044665
969.96/964.55	c cleaning 17100 clauses out of 34221 with flag 26000/18052665
970.17/964.74	c cleaning 13051 clauses out of 26123 with flag 35002/18061667
970.37/964.95	c cleaning 11518 clauses out of 23071 with flag 45001/18071666
970.61/965.18	c cleaning 11263 clauses out of 22552 with flag 56000/18082665
970.91/965.40	c cleaning 11619 clauses out of 23290 with flag 68001/18094666
971.13/965.66	c cleaning 12323 clauses out of 24670 with flag 81000/18107665
971.46/965.96	c cleaning 13157 clauses out of 26348 with flag 95001/18121666
971.77/966.26	c cleaning 14077 clauses out of 28190 with flag 110000/18136665
972.09/966.59	c cleaning 15035 clauses out of 30114 with flag 126001/18152666
972.52/966.95	c cleaning 16022 clauses out of 32081 with flag 143003/18169668
972.92/967.34	c cleaning 17019 clauses out of 34059 with flag 161003/18187668
973.35/967.76	c cleaning 17999 clauses out of 36038 with flag 180001/18206666
973.88/968.21	c cleaning 19004 clauses out of 38038 with flag 200000/18226665
974.30/968.68	c cleaning 20005 clauses out of 40036 with flag 221002/18247667
974.92/969.20	c cleaning 20995 clauses out of 42029 with flag 243000/18269665
975.44/969.75	c cleaning 21998 clauses out of 44034 with flag 266000/18292665
976.06/970.32	c cleaning 22994 clauses out of 46037 with flag 290001/18316666
976.68/970.97	c cleaning 24004 clauses out of 48042 with flag 315000/18341665
977.30/971.56	c cleaning 24996 clauses out of 50039 with flag 341001/18367666
977.91/972.17	c cleaning 26006 clauses out of 52043 with flag 368001/18394666
978.63/972.87	c cleaning 26999 clauses out of 54040 with flag 396004/18422669
979.34/973.57	c cleaning 28011 clauses out of 56037 with flag 425000/18451665
980.24/974.47	c cleaning 29006 clauses out of 58028 with flag 455002/18481667
981.05/975.28	c cleaning 30001 clauses out of 60021 with flag 486001/18512666
982.07/976.27	c cleaning 30999 clauses out of 62022 with flag 518003/18544668
983.09/977.24	c cleaning 31993 clauses out of 64020 with flag 551000/18577665
984.02/978.14	c cleaning 33004 clauses out of 66027 with flag 585000/18611665
985.14/979.20	c cleaning 33998 clauses out of 68024 with flag 620001/18646666
986.15/980.21	c cleaning 34997 clauses out of 70028 with flag 656003/18682668
987.25/981.30	c cleaning 36004 clauses out of 72029 with flag 693001/18719666
988.28/982.34	c cleaning 36993 clauses out of 74024 with flag 731000/18757665
989.41/983.46	c cleaning 38003 clauses out of 76031 with flag 770000/18796665
990.62/984.64	c cleaning 38992 clauses out of 78028 with flag 810000/18836665
991.84/985.85	c cleaning 40004 clauses out of 80036 with flag 851000/18877665
993.15/987.16	c cleaning 41006 clauses out of 82033 with flag 893001/18919666
994.37/988.33	c cleaning 41993 clauses out of 84026 with flag 936000/18962665
995.59/989.58	c cleaning 42991 clauses out of 86034 with flag 980001/19006666
996.90/990.86	c cleaning 44008 clauses out of 88042 with flag 1025000/19051665
998.32/992.23	c cleaning 44996 clauses out of 90035 with flag 1071001/19097666
999.73/993.67	c cleaning 46006 clauses out of 92038 with flag 1118000/19144665
1001.43/995.38	c cleaning 47009 clauses out of 94033 with flag 1166001/19192666
1003.25/997.12	c cleaning 47999 clauses out of 96023 with flag 1215000/19241665
1004.98/998.81	c cleaning 48998 clauses out of 98024 with flag 1265000/19291665
1006.70/1000.58	c cleaning 49997 clauses out of 100027 with flag 1316001/19342666
1008.41/1002.20	c cleaning 50998 clauses out of 102029 with flag 1368000/19394665
1010.22/1004.08	c cleaning 52002 clauses out of 104033 with flag 1421002/19447667
1012.06/1005.88	c cleaning 52990 clauses out of 106029 with flag 1475000/19501665
1013.97/1007.72	c cleaning 54010 clauses out of 108041 with flag 1530002/19556667
1016.11/1009.83	c cleaning 55005 clauses out of 110029 with flag 1586000/19612665
1018.24/1011.97	c cleaning 55997 clauses out of 112026 with flag 1643002/19669667
1020.35/1014.01	c cleaning 56989 clauses out of 114028 with flag 1701001/19727666
1022.46/1016.14	c cleaning 58006 clauses out of 116038 with flag 1760000/19786665
1024.67/1018.36	c cleaning 59013 clauses out of 118033 with flag 1820001/19846666
1026.88/1020.55	c cleaning 60002 clauses out of 120021 with flag 1881002/19907667
1029.00/1022.67	c cleaning 60999 clauses out of 122019 with flag 1943002/19969667
1031.71/1025.31	c cleaning 61985 clauses out of 124018 with flag 2006000/20032665
1034.34/1027.98	c cleaning 63000 clauses out of 126035 with flag 2070002/20096667
1037.16/1030.75	c cleaning 63997 clauses out of 128034 with flag 2135001/20161666
1040.27/1033.81	c cleaning 64997 clauses out of 130036 with flag 2201000/20227665
1043.28/1036.85	c cleaning 66002 clauses out of 132043 with flag 2268004/20294669
1046.31/1039.86	c cleaning 67009 clauses out of 134038 with flag 2336001/20362666
1049.54/1043.02	c cleaning 67991 clauses out of 136029 with flag 2405001/20431666
1052.66/1046.16	c cleaning 69003 clauses out of 138037 with flag 2475000/20501665
1055.57/1049.00	c cleaning 70007 clauses out of 140035 with flag 2546001/20572666
1058.49/1051.94	c cleaning 71007 clauses out of 142027 with flag 2618000/20644665
1062.10/1055.56	c cleaning 71995 clauses out of 144020 with flag 2691000/20717665
1066.32/1059.79	c cleaning 72996 clauses out of 146025 with flag 2765000/20791665
1069.85/1063.28	c cleaning 74009 clauses out of 148031 with flag 2840002/20866667
1073.68/1067.04	c cleaning 74992 clauses out of 150021 with flag 2916001/20942666
1077.28/1070.67	c cleaning 76010 clauses out of 152029 with flag 2993001/21019666
1081.00/1074.39	c cleaning 76993 clauses out of 154019 with flag 3071001/21097666
1084.80/1078.12	c cleaning 78006 clauses out of 156025 with flag 3150000/21176665
1088.32/1081.60	c cleaning 79007 clauses out of 158021 with flag 3230002/21256667
1091.83/1085.18	c cleaning 79997 clauses out of 160012 with flag 3311000/21337665
1095.15/1088.41	c cleaning 80990 clauses out of 162015 with flag 3393000/21419665
1099.56/1092.87	c cleaning 82001 clauses out of 164026 with flag 3476001/21502666
1104.30/1097.51	c cleaning 83006 clauses out of 166024 with flag 3560000/21586665
1108.52/1101.73	c cleaning 83989 clauses out of 168018 with flag 3645000/21671665
1112.63/1105.85	c cleaning 85001 clauses out of 170032 with flag 3731003/21757668
1117.15/1110.33	c cleaning 85998 clauses out of 172029 with flag 3818001/21844666
1121.96/1115.16	c cleaning 87008 clauses out of 174033 with flag 3906003/21932668
1126.57/1119.71	c cleaning 88006 clauses out of 176023 with flag 3995001/22021666
1130.88/1124.04	c cleaning 89000 clauses out of 178016 with flag 4085000/22111665
1135.68/1128.82	c cleaning 89997 clauses out of 180017 with flag 4176001/22202666
1140.00/1133.19	c cleaning 90998 clauses out of 182020 with flag 4268001/22294666
1144.10/1137.25	c cleaning 92006 clauses out of 184022 with flag 4361001/22387666
1149.14/1142.26	c cleaning 92993 clauses out of 186017 with flag 4455002/22481667
1153.97/1147.04	c cleaning 94001 clauses out of 188022 with flag 4550000/22576665
1158.97/1152.06	c cleaning 95010 clauses out of 190024 with flag 4646003/22672668
1166.10/1159.14	c cleaning 95987 clauses out of 192011 with flag 4743000/22769665
1173.02/1166.08	c cleaning 96996 clauses out of 194025 with flag 4841001/22867666
1180.32/1173.32	c cleaning 97996 clauses out of 196028 with flag 4940000/22966665
1187.03/1180.05	c cleaning 98996 clauses out of 198033 with flag 5040001/23066666
1194.05/1187.04	c cleaning 100007 clauses out of 200037 with flag 5141001/23167666
1201.18/1194.12	c cleaning 101000 clauses out of 202032 with flag 5243003/23269668
1208.31/1201.22	c cleaning 102008 clauses out of 204029 with flag 5346000/23372665
1214.43/1207.37	c cleaning 102997 clauses out of 206021 with flag 5450000/23476665
1222.24/1215.15	c cleaning 103999 clauses out of 208025 with flag 5555001/23581666
1229.46/1222.37	c cleaning 105000 clauses out of 210026 with flag 5661001/23687666
1236.68/1229.57	c cleaning 106004 clauses out of 212025 with flag 5768000/23794665
1244.00/1236.89	c cleaning 107004 clauses out of 214021 with flag 5876000/23902665
1252.02/1244.88	c cleaning 107999 clauses out of 216019 with flag 5985002/24011667
1258.85/1251.69	c cleaning 108989 clauses out of 218018 with flag 6095000/24121665
1266.38/1259.18	c cleaning 110007 clauses out of 220029 with flag 6206000/24232665
1275.12/1267.81	c cleaning 110991 clauses out of 222022 with flag 6318000/24344665
1282.25/1274.93	c cleaning 111998 clauses out of 224032 with flag 6431001/24457666
1291.47/1284.14	c cleaning 113008 clauses out of 226033 with flag 6545000/24571665
1300.01/1292.65	c cleaning 113999 clauses out of 228026 with flag 6660001/24686666
1308.23/1300.89	c cleaning 115004 clauses out of 230026 with flag 6776000/24802665
1316.85/1309.41	c cleaning 115997 clauses out of 232023 with flag 6893001/24919666
1325.40/1317.90	c cleaning 117006 clauses out of 234029 with flag 7011004/25037669
1334.33/1326.82	c cleaning 117986 clauses out of 236019 with flag 7130000/25156665
1344.34/1336.83	c cleaning 119008 clauses out of 238034 with flag 7250001/25276666
1352.94/1345.45	c cleaning 120006 clauses out of 240027 with flag 7371002/25397667
1360.57/1353.04	c cleaning 120988 clauses out of 242020 with flag 7493001/25519666
1367.67/1360.18	c cleaning 122000 clauses out of 244032 with flag 7616001/25642666
1377.30/1369.72	c cleaning 123002 clauses out of 246031 with flag 7740000/25766665
1386.81/1379.24	c cleaning 124005 clauses out of 248031 with flag 7865002/25891667
1396.34/1388.76	c cleaning 124996 clauses out of 250027 with flag 7991003/26017668
1405.84/1398.25	c cleaning 126008 clauses out of 252032 with flag 8118004/26144669
1415.44/1407.80	c cleaning 126994 clauses out of 254020 with flag 8246000/26272665
1425.36/1417.73	c cleaning 127994 clauses out of 256028 with flag 8375002/26401667
1433.47/1425.83	c cleaning 129004 clauses out of 258032 with flag 8505000/26531665
1443.99/1436.36	c cleaning 130002 clauses out of 260028 with flag 8636000/26662665
1453.94/1446.27	c cleaning 130999 clauses out of 262027 with flag 8768001/26794666
1463.54/1455.84	c cleaning 132004 clauses out of 264027 with flag 8901000/26927665
1473.18/1465.46	c cleaning 132991 clauses out of 266023 with flag 9035000/27061665
1482.79/1475.00	c cleaning 133997 clauses out of 268032 with flag 9170000/27196665
1492.29/1484.58	c cleaning 135013 clauses out of 270035 with flag 9306000/27332665
1504.71/1496.96	c cleaning 135998 clauses out of 272022 with flag 9443000/27469665
1514.24/1506.45	c cleaning 137009 clauses out of 274025 with flag 9581001/27607666
1525.97/1518.16	c cleaning 137997 clauses out of 276015 with flag 9720000/27746665
1540.57/1532.80	c cleaning 139001 clauses out of 278020 with flag 9860002/27886667
1555.00/1547.18	c cleaning 139992 clauses out of 280017 with flag 10001000/28027665
1568.52/1560.62	c cleaning 141011 clauses out of 282025 with flag 10143000/28169665
1583.84/1575.96	c cleaning 142004 clauses out of 284014 with flag 10286000/28312665
1597.78/1589.82	c cleaning 143000 clauses out of 286010 with flag 10430000/28456665
1612.18/1603.56	c cleaning 144003 clauses out of 288010 with flag 10575000/28601665
1629.32/1620.63	c cleaning 144993 clauses out of 290007 with flag 10721000/28747665
1643.60/1634.88	c cleaning 70084 clauses out of 140182 with flag 10868001/28894666
1648.44/1639.67	c starts		: 383
1648.44/1639.67	c conflicts		: 28975008
1648.44/1639.67	c decisions		: 55358512
1648.44/1639.67	c propagations		: 358992254
1648.44/1639.67	c inspects		: 19862890998
1648.44/1639.67	c shortcuts		: 0
1648.44/1639.67	c learnt literals	: 19
1648.44/1639.67	c learnt binary clauses	: 121
1648.44/1639.67	c learnt ternary clauses	: 473
1648.44/1639.67	c learnt constraints	: 28974988
1648.44/1639.67	c ignored constraints	: 0
1648.44/1639.67	c root simplifications	: 401
1648.44/1639.67	c removed literals (reason simplification)	: 8139663
1648.44/1639.67	c reason swapping (by a shorter reason)	: 0
1648.44/1639.67	c Calls to reduceDB	: 461
1648.44/1639.67	c number of reductions to clauses (during analyze)	: 0
1648.44/1639.67	c number of learned constraints concerned by reduction	: 0
1648.44/1639.67	c number of learning phase by resolution	: 0
1648.44/1639.67	c number of learning phase by cutting planes	: 0
1648.44/1639.67	c speed (assignments/second)	: 218960.46671912074
1648.44/1639.67	c non guided choices	167
1648.44/1639.67	c learnt constraints type 
1648.44/1639.67	c constraints type 
1648.44/1639.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
1648.44/1639.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
1648.44/1639.67	c 50 constraints processed.
1648.44/1639.67	s OPTIMUM FOUND
1648.44/1639.67	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 
1648.44/1639.67	c objective function=8
1648.44/1639.67	c Total wall clock time (in seconds): 1639.561

Verifier Data

OK	8

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.09 2.05 2/194 5899
/proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/5899/stat : 5899 (java) R 5897 5899 32120 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 281412043 9547776 183 33554432000 1073741824 1073778376 140736364229232 140736364211960 270707581879 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2323 186 143 9 0 71 0

[startup+0.036423 s]
/proc/loadavg: 1.96 2.09 2.05 2/194 5899
/proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 3074 0 1 0 2 0 0 0 20 0 13 0 281412043 9446973440 3259 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2306390 3259 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100204 s]
/proc/loadavg: 1.96 2.09 2.05 2/194 5899
/proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 4432 0 1 0 9 1 0 0 20 0 18 0 281412043 9787842560 5633 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2389610 5633 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300166 s]
/proc/loadavg: 1.96 2.09 2.05 2/194 5899
/proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 6928 0 1 0 50 2 0 0 20 0 19 0 281412043 9856004096 7488 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 7488 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700274 s]
/proc/loadavg: 1.96 2.09 2.05 2/194 5899
/proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15582 0 1 0 120 4 0 0 20 0 19 0 281412043 9856004096 14702 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 14702 2270 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9625004

[startup+1.50088 s]
/proc/loadavg: 1.96 2.09 2.05 3/213 5918
/proc/meminfo: memFree=28427716/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=2.08 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15601 0 1 0 204 4 0 0 20 0 19 0 281412043 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 15738 2271 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) S 5897 5899 32120 0 -1 4202560 2571 0 1 0 137 2 0 0 20 0 19 0 281412044 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592198459816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) R 5897 5899 32120 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592022619632 140592200655458 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625004

[startup+3.10065 s]
/proc/loadavg: 1.96 2.09 2.05 3/213 5918
/proc/meminfo: memFree=28425668/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=3.75 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15636 0 1 0 371 4 0 0 20 0 19 0 281412043 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 15766 2271 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=2.9 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 2578 0 1 0 288 2 0 0 20 0 19 0 281412044 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592198459656 140592138807854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 34 0 0 0 12 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9625004

[startup+6.30064 s]
/proc/loadavg: 2.05 2.10 2.05 3/213 5918
/proc/meminfo: memFree=28425116/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=7.01 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15662 0 1 0 696 5 0 0 20 0 19 0 281412043 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 15772 2271 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=5.97 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 2587 0 1 0 595 2 0 0 20 0 19 0 281412044 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592198459696 140592138633011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 35 0 0 0 22 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 25 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1647.12
Current children cumulated vsize (KiB) 9625004

[startup+1639.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 5991
/proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=1647.94 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164749 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 34393 2276 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.28 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162201 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457960 140592138639369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1647.94
Current children cumulated vsize (KiB) 9625004

[startup+1639.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 5991
/proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=1648.34 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164789 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 34393 2276 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.68 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162241 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457840 140592138564508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.34
Current children cumulated vsize (KiB) 9625004

[startup+1639.6 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 5991
/proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864
[pid=5899] ppid=5897 vsize=9625004 CPUtime=1648.44 cores=0,2,4,6
/proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164799 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5899/statm: 2406251 34393 2276 9 0 2396937 0
[pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.78 cores=0,2,4,6
/proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162251 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457840 140592138789036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6
/proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.44
Current children cumulated vsize (KiB) 9625004

Child status: 30
Real time (s): 1639.68
CPU time (s): 1648.93
CPU user time (s): 1648.09
CPU system time (s): 0.841872
CPU usage (%): 100.565
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1648.09
system time used= 0.841872
maximum resident set size= 139756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22055
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47536
involuntary context switches= 30833

runsolver used 7.35888 second user time and 17.3314 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-27 23:07:46
IDJOB=3710798
IDBENCH=2843
IDSOLVER=2289
FILE ID=node125/3710798-1338152866
RUNJOBID= node125-1338125514-32136
PBS_JOBID= 14624515
Free space on /tmp= 71260 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710798-1338152866/watcher-3710798-1338152866 -o /tmp/evaluation-result-3710798-1338152866/solver-3710798-1338152866 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710798-1338152866.opb

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

MD5SUM BENCH= e965a77006f54aa5fb414d88d571084c
RANDOM SEED=1988942056

node125.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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.74
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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28480912 kB
Buffers:          455852 kB
Cached:          2435636 kB
SwapCached:         2304 kB
Active:          2047804 kB
Inactive:        1500648 kB
Active(anon):     648316 kB
Inactive(anon):     9556 kB
Active(file):    1399488 kB
Inactive(file):  1491092 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102616 kB
Dirty:              1184 kB
Writeback:             0 kB
AnonPages:        672312 kB
Mapped:            22552 kB
Shmem:               104 kB
Slab:             705024 kB
SReclaimable:     147608 kB
SUnreclaim:       557416 kB
KernelStack:        1688 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     886404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    626688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71256 MiB
End job on node125 at 2012-05-27 23:35:06